Windows Driver Testing Methods

1.PREfast for Drivers ( included in WDK):
Help you find out memory leak problem, wrong pool tags and other problems by analysis of your source codes.

2.Verifier (included in Windows OS):
Check initialization errors, IRP stack errors, and memory leak. Check your driver at run time.

3.Static Driver Verifier:
Check the execution path of your driver, erroneous branch conditions, and other errors like calling IoCompleteRequest twice. Works for C code only.

4.WinDBG (Windows Debug Tool):
A kernel debugger provided by Microsoft.