WDFTester with debug on/off

[AO]

Hi, I'm trying to resolve a driver issue with remote kernel debugging. A
bugcheck occurs as a result of fault injection (FI) by WDFTester. The
platform is Windows 7. The bugcheck does not appear if debug mode has been
enabled (bcdedit /debug on) before running WDFTester, though. The method,
WdfRequestForwardToIoQueue in my case, that causes the bugcheck is never FI
in
debug mode for some reason. Isn't that strange? Anyone knows why? Is there
something I can do so this method is FI in debug mode as well? The output
from "wdfTesterScript.wsf" with debug off/on follows:

Debug OFF

...getting DDI call Info for todosu
1) WdfDeviceWdmGetDeviceObject (1)
2) WdfDeviceGetDriver (1)
3) WdfDeviceInitSetPnpPowerEventCallbacks (1)
4) WdfDeviceCreate (1)
5) WdfDeviceCreateDeviceInterface (1)
6) WdfDeviceSetPnpCapabilities (1)
7) WdfDriverCreate (1)
8) WdfDriverOpenParametersRegistryKey (1)
9) WdfIoQueueCreate (2)
10) WdfIoQueueGetDevice (6)
11) WdfIoQueueRetrieveNextRequest (1)
12) WdfMemoryCreate (3)
13) WdfMemoryGetBuffer (7)
14) WdfObjectGetTypedContextWorker (35)
15) WdfRegistryClose (1)
16) WdfRegistryQueryULong (2)
17) WdfRequestCreate (1)
18) WdfRequestSend (1)
19) WdfRequestSetCompletionRoutine (1)
20) WdfRequestComplete (4)
21) WdfRequestForwardToIoQueue (1)
22) WdfRequestGetIoQueue (1)
23) WdfRequestWdmGetIrp (5)
24) WdfUsbTargetDeviceCreate (1)
25) WdfUsbTargetDeviceGetDeviceDescriptor (1)
26) WdfUsbTargetDeviceRetrieveConfigDescriptor (2)
27) WdfUsbTargetDeviceQueryString (4)
28) WdfUsbTargetDeviceGetNumInterfaces (1)
29) WdfUsbTargetDeviceSelectConfig (1)
30) WdfUsbTargetPipeIsInEndpoint (2)
31) WdfUsbTargetPipeIsOutEndpoint (2)
32) WdfUsbTargetPipeWriteSynchronously (4)
33) WdfUsbTargetPipeReadSynchronously (3)
34) WdfUsbTargetPipeFormatRequestForRead (1)
35) WdfUsbInterfaceGetConfiguredPipe (3)

...getting list of DDIs to be failed for todosu
1) WdfDeviceCreate (1)
2) WdfDeviceCreateDeviceInterface (1)
3) WdfDriverCreate (1)
4) WdfDriverOpenParametersRegistryKey (1)
5) WdfIoQueueCreate (2)
6) WdfIoQueueRetrieveNextRequest (1)
7) WdfMemoryCreate (3)
8) WdfRegistryQueryULong (2)
9) WdfRequestCreate (1)
10) WdfRequestForwardToIoQueue (1)
11) WdfUsbTargetDeviceCreate (1)
12) WdfUsbTargetDeviceRetrieveConfigDescriptor (2)
13) WdfUsbTargetDeviceQueryString (4)
14) WdfUsbTargetDeviceSelectConfig (1)
15) WdfUsbTargetPipeWriteSynchronously (4)
16) WdfUsbTargetPipeReadSynchronously (3)
17) WdfUsbTargetPipeFormatRequestForRead (1)
Object List size: 17

Debug ON

...getting DDI call Info for todosu
1) WdfDeviceWdmGetDeviceObject (1)
2) WdfDeviceGetDriver (1)
3) WdfDeviceInitSetPnpPowerEventCallbacks (1)
4) WdfDeviceCreate (1)
5) WdfDeviceCreateDeviceInterface (1)
6) WdfDeviceSetPnpCapabilities (1)
7) WdfDriverCreate (1)
8) WdfDriverOpenParametersRegistryKey (1)
9) WdfIoQueueCreate (2)
10) WdfIoQueueRetrieveNextRequest (1)
11) WdfMemoryCreate (3)
12) WdfMemoryGetBuffer (7)
13) WdfObjectGetTypedContextWorker (29)
14) WdfRegistryClose (1)
15) WdfRegistryQueryULong (2)
16) WdfRequestCreate (1)
17) WdfRequestSend (1)
18) WdfRequestSetCompletionRoutine (1)
19) WdfUsbTargetDeviceCreate (1)
20) WdfUsbTargetDeviceGetDeviceDescriptor (1)
21) WdfUsbTargetDeviceRetrieveConfigDescriptor (2)
22) WdfUsbTargetDeviceQueryString (4)
23) WdfUsbTargetDeviceGetNumInterfaces (1)
24) WdfUsbTargetDeviceSelectConfig (1)
25) WdfUsbTargetPipeIsInEndpoint (2)
26) WdfUsbTargetPipeIsOutEndpoint (2)
27) WdfUsbTargetPipeWriteSynchronously (4)
28) WdfUsbTargetPipeReadSynchronously (3)
29) WdfUsbTargetPipeFormatRequestForRead (1)
30) WdfUsbInterfaceGetConfiguredPipe (3)

...getting list of DDIs to be failed for todosu
1) WdfDeviceCreate (1)
2) WdfDeviceCreateDeviceInterface (1)
3) WdfDriverCreate (1)
4) WdfDriverOpenParametersRegistryKey (1)
5) WdfIoQueueCreate (2)
6) WdfIoQueueRetrieveNextRequest (1)
7) WdfMemoryCreate (3)
8) WdfRegistryQueryULong (2)
9) WdfRequestCreate (1)
10) WdfUsbTargetDeviceCreate (1)
11) WdfUsbTargetDeviceRetrieveConfigDescriptor (2)
12) WdfUsbTargetDeviceQueryString (4)
13) WdfUsbTargetDeviceSelectConfig (1)
14) WdfUsbTargetPipeWriteSynchronously (4)
15) WdfUsbTargetPipeReadSynchronously (3)
16) WdfUsbTargetPipeFormatRequestForRead (1)
Object List size: 16