USB client driver verifier

This topic describes the USB client driver verifier feature of the USB 3.0 driver stack that enables the client driver to test certain failure cases.

What is the USB client driver verifier
How to enable the USB client driver verifier
Configuration settings for the USB client driver verifier

What is the USB client driver verifier

The USB client driver verifier is a feature of the USB 3.0 driver stack, included in Windows 8. When the verifier is enabled, the USB driver stack fails or modifies certain operations performed by a client driver. Those failures simulate error conditions that might be otherwise difficult to find and can lead to undesirable results later. The simulated failures give you the opportunity to make sure that your driver is able to deal with failures gracefully. The client can deal with errors through error handling code or exercise a different code path.

For example, a client driver supports I/O operations through static streams of a bulk endpoint. By using the verifier, you can make sure that driver's streams logic works regardless of the number of streams supported by various host controllers. To simulate that scenario, you can use the UsbVerifierStaticStreamCountOverride setting (discussed later). Each time the driver calls USBD_QueryUsbCapability to determine the maximum number of static streams that the host controller supports, the routine returns a different value.

Important The USB client driver verifier only tests your driver against various xHCI controllers. It simulates some of the inherent 2.0 controller behaviors such as lack of chained MDL support. However, we recommend that you must test your client drivers with the USB 2.0 controllers and not use this tool as a replacement for the same.

The Windows Hardware Certification Kit includes an automated test that runs the simulated test cases. For more information, see USB (USBDEX) Verifier Test.

How to enable the USB client driver verifier

In order to use the USB client driver verifier, enable it on your target computer on which running Windows 8. The target computer must have an xHCI controller to which the USB device is connected.

The USB client driver verifier is automatically enabled when you enable the Driver Verifier for the client driver. Alternatively, you can enable the verifier by setting this registry entry.

Note Enabling The Windows Driver Foundation (WDF) Verifier control application (WdfVerifier.exe) does not enable the USB client driver verifier automatically.

HKEY_LOCAL_MACHINE
   SYSTEM
      CurrentControlSet
         services
            <Client Driver>
               Parameters
                  UsbVerifierEnabled (DWORD)

The UsbVerifierEnabled registry entry takes a DWORD value. When UsbVerifierEnabled is 1, the USB client driver verifier is enabled; 0 disables it. If the Driver Verifier is enabled for the client driver and UsbVerifierEnabled is 0, the USB client driver verifier is disabled.

Configuration settings for the USB client driver verifier

When the verifier is enabled, the USB driver stack keeps track of URBs that the client driver allocates by calling USBD_xxxUrbAllocate routines (see USB Routines). If the client driver leaks any URB, the USB driver stack uses that information to cause a bugcheck through the Driver Verifier. In that case, use the !usbanalyze -v command to determine the cause of the leak.

Additionally and optionally, you can configure the USB client driver verifier to modify or fail specific routines and specify how often the routine must fail. To configure the verifier, set the registry entries as shown here:

HKEY_LOCAL_MACHINE
   SYSTEM
      CurrentControlSet
         services
            <Client driver>
               Parameters
                  <USB client driver verifier setting> (DWORD)

The <USB client driver verifier setting> registry entry takes a DWORD value.

If you add, modify, or remove any setting, you must re-enumerate the device with the system to apply the setting.

This table shows the possible values for <USB client driver verifier setting>. The settings apply to the client driver specified under the services key.

USB client driver verifier setting	Choose one of these possible values:	Use to simulate...
UsbVerifierFailRegistration Fails the client driver's calls to these routines: WdfUsbTargetDeviceCreateWithParameters USBD_CreateHandle	0: Setting is disabled. 1: The call always fails. N: The call fails with a probability of 1/N, where N is a hex value between 1 to 0x7FF. For example, if N is 10. The call fails once every 10 calls.	Client driver registration failure. One of the initialization tasks of a client driver is to register itself with the underlying driver stack. The registration is required in several subsequent calls. For example, the client driver calls USBD_CreateHandle for registration. Let's say the driver assumes that the routine always returns STATUS_SUCCESS, and does not implement code to handle failure. If the routine returns an error NTSTATUS code, the driver can inadvertently ignore the error and proceed with the subsequent calls by using an invalid USBD handle. The setting allows you to fail the call so that can you can test the failure code path. Expected client driver behavior when registration fails: The driver is not expected continue to function as normal. The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.
UsbVerifierFailChainedMdlSupport Fails the client driver's calls to these routines when the caller passes GUID_USB_CAPABILITY_CHAINED_MDLS in the CapabilityType parameter. USBD_QueryUsbCapability WdfUsbTargetDeviceQueryUsbCapability	0: Setting is disabled. 1: The call always fails. N: The call fails with a probability of 1/N, where N is a hex value between 1 to 0x7FF. For example, if N is 10. The call fails once every 10 calls.	Communication with a host controller that does not support chained MDLs. In order for the client driver to send chained MDLs (see MDL), the USB driver stack and the host controller must support them. This setting allows you to test the code that is executed when the client driver sends chained MDL requests to the device that is connected to a host controller that does not support them. The call fails regardless of whether the host controller supports chained MDLs. For more information about chained MDLs support in the USB driver stack, see How to Send Chained MDLs. Expected client driver behavior when the host controller does not support chained MDLs: The driver is expected continue to perform I/O transfers without using chained MDLs. By doing so, you will also make sure that your driver works with USB 2.0 host controllers because those controllers do not support chained MDLs. The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.
UsbVerifierFailStaticStreamsSupport Fails the client driver's calls to these routines when the caller passes GUID_USB_CAPABILITY_STATIC_STREAMS in the CapabilityType parameter. USBD_QueryUsbCapability WdfUsbTargetDeviceQueryUsbCapability	0: Setting is disabled. 1: The call always fails. N: The call fails with a probability of 1/N, where N is a hex value between 1 to 0x7FF. For example, if N is 10. The call will fail once every 10 calls.	Communication with a host controller that does not support static streams. In order for a client driver to send I/O transfers through static streams of a bulk endpoint, the host controller must support streams. If the device is connected to a host controller that does not support streams, and the driver attempts to perform stream I/O transfers, those transfers will fail. This setting allows you to test the code in case of such a failure. Expected client driver behavior when the host controller does not support static streams: If the client driver wants to work with an xHCI controller that does not support streams, your device must be able to work without using stream-enabled bulk endpoints. The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.
UsbVerifierStaticStreamCountOverride Changes the value received in the OutputBuffer parameter when the client calls to these routines with GUID_USB_CAPABILITY_STATIC_STREAMS. USBD_QueryUsbCapability WdfUsbTargetDeviceQueryUsbCapability The OutputBuffer value indicates the maximum number of static streams that the host controller supports.	0: Setting is disabled. 1: The verifier chooses the OutputBuffer value randomly. This value is useful for stress testing because the OutputBuffer value is not repeated and the call is tested with more variations. N: Specifies the OutputBuffer value. When the flag is enabled with N value, N must be less than the maximum number of streams that the USB driver stack supports. Therefore, before setting this flag, you must have retrieved the actual value through a successful call. If N is greater than the maximum number of streams, the setting is ignored.	Communication with various host controllers, each supporting a different value of maximum number of streams. By using this setting, you can make sure that driver's streams logic works regardless of the number of streams supported by various host controllers. The number of streams that you can use for I/O transfer will be limited by the number of streams that the host controller supports. For information about how to support static streams in your client driver, see How to Open and Close Static Streams in a USB Bulk Endpoint. Expected client driver behavior when the host controller supports fewer streams than the endpoint: The client driver can choose to perform data transfers with fewer numbers of streams. The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.
UsbVerifierFailEnableStaticStreams Fails the client driver's open static-streams request (URB_FUNCTION_OPEN_STATIC_STREAMS).	0: Setting is disabled. 1: The request always fails. N: The request fails with a probability of 1/N, where N is a hex value between 1 to 0x7FF. For example, if N is 10. The request fails once every 10 calls. Note The open static-streams request fails if the previous call to USBD_QueryUsbCapability or WdfUsbTargetDeviceQueryUsbCapability failed.	Communication with a host controller that supports static streams but the request fails due to other reasons. For instance, your device is connected to a host controller that supports streams. The client driver sends an open streams request with a number (of streams to open) that exceeds the maximum number of streams supported by the host controller. The USB driver stack will fail such a request. By using this setting, you can test the error handling code for open streams request failure. Expected client driver behavior when an open-streams request fails: The driver is not expected continue to function as normal. The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.

USB client driver verifier setting

Choose one of these possible values:

Use to simulate...

UsbVerifierFailRegistration

Fails the client driver's calls to these routines:

0: Setting is disabled.
1: The call always fails.
N: The call fails with a probability of 1/N, where N is a hex value between 1 to 0x7FF. For example, if N is 10. The call fails once every 10 calls.

Client driver registration failure.

One of the initialization tasks of a client driver is to register itself with the underlying driver stack. The registration is required in several subsequent calls.

For example, the client driver calls USBD_CreateHandle for registration. Let's say the driver assumes that the routine always returns STATUS_SUCCESS, and does not implement code to handle failure. If the routine returns an error NTSTATUS code, the driver can inadvertently ignore the error and proceed with the subsequent calls by using an invalid USBD handle.

The setting allows you to fail the call so that can you can test the failure code path.

Expected client driver behavior when registration fails:

The driver is not expected continue to function as normal.
The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.

UsbVerifierFailChainedMdlSupport

Fails the client driver's calls to these routines when the caller passes GUID_USB_CAPABILITY_CHAINED_MDLS in the CapabilityType parameter.

0: Setting is disabled.
1: The call always fails.
N: The call fails with a probability of 1/N, where N is a hex value between 1 to 0x7FF. For example, if N is 10. The call fails once every 10 calls.

Communication with a host controller that does not support chained MDLs.

In order for the client driver to send chained MDLs (see MDL), the USB driver stack and the host controller must support them.

This setting allows you to test the code that is executed when the client driver sends chained MDL requests to the device that is connected to a host controller that does not support them. The call fails regardless of whether the host controller supports chained MDLs.

For more information about chained MDLs support in the USB driver stack, see How to Send Chained MDLs.

Expected client driver behavior when the host controller does not support chained MDLs:

The driver is expected continue to perform I/O transfers without using chained MDLs. By doing so, you will also make sure that your driver works with USB 2.0 host controllers because those controllers do not support chained MDLs.
The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.

UsbVerifierFailStaticStreamsSupport

Fails the client driver's calls to these routines when the caller passes GUID_USB_CAPABILITY_STATIC_STREAMS in the CapabilityType parameter.

0: Setting is disabled.
1: The call always fails.
N: The call fails with a probability of 1/N, where N is a hex value between 1 to 0x7FF. For example, if N is 10. The call will fail once every 10 calls.

Communication with a host controller that does not support static streams.

In order for a client driver to send I/O transfers through static streams of a bulk endpoint, the host controller must support streams.

If the device is connected to a host controller that does not support streams, and the driver attempts to perform stream I/O transfers, those transfers will fail. This setting allows you to test the code in case of such a failure.

Expected client driver behavior when the host controller does not support static streams:

If the client driver wants to work with an xHCI controller that does not support streams, your device must be able to work without using stream-enabled bulk endpoints.
The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.

UsbVerifierStaticStreamCountOverride

Changes the value received in the OutputBuffer parameter when the client calls to these routines with GUID_USB_CAPABILITY_STATIC_STREAMS.

The OutputBuffer value indicates the maximum number of static streams that the host controller supports.

0: Setting is disabled.
1: The verifier chooses the OutputBuffer value randomly. This value is useful for stress testing because the OutputBuffer value is not repeated and the call is tested with more variations.
N: Specifies the OutputBuffer value.
When the flag is enabled with N value, N must be less than the maximum number of streams that the USB driver stack supports. Therefore, before setting this flag, you must have retrieved the actual value through a successful call.

If N is greater than the maximum number of streams, the setting is ignored.

Communication with various host controllers, each supporting a different value of maximum number of streams.

By using this setting, you can make sure that driver's streams logic works regardless of the number of streams supported by various host controllers.

The number of streams that you can use for I/O transfer will be limited by the number of streams that the host controller supports.

For information about how to support static streams in your client driver, see How to Open and Close Static Streams in a USB Bulk Endpoint.

Expected client driver behavior when the host controller supports fewer streams than the endpoint:

The client driver can choose to perform data transfers with fewer numbers of streams.
The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.

UsbVerifierFailEnableStaticStreams

Fails the client driver's open static-streams request (URB_FUNCTION_OPEN_STATIC_STREAMS).

0: Setting is disabled.
1: The request always fails.
N: The request fails with a probability of 1/N, where N is a hex value between 1 to 0x7FF. For example, if N is 10. The request fails once every 10 calls.

Note The open static-streams request fails if the previous call to USBD_QueryUsbCapability or WdfUsbTargetDeviceQueryUsbCapability failed.

Communication with a host controller that supports static streams but the request fails due to other reasons.

For instance, your device is connected to a host controller that supports streams. The client driver sends an open streams request with a number (of streams to open) that exceeds the maximum number of streams supported by the host controller. The USB driver stack will fail such a request.

By using this setting, you can test the error handling code for open streams request failure.

Expected client driver behavior when an open-streams request fails:

The driver is not expected continue to function as normal.
The driver must not cause a system crash or become unresponsive by choosing to ignore this failure.

USB client driver verifier

What is the USB client driver verifier

How to enable the USB client driver verifier

Configuration settings for the USB client driver verifier

Related topics