About Driver Verification and Testing Tools
The Windows Driver Kit (WDK) includes a broad set of compile-time code verification tools that supplement the runtime Driver Verifier that is built into the Windows operating system. You can use the code verification tools to instrument your code during development to ensure a more reliable, more serviceable driver. The WDK also includes a broad set of testing, tracing, simulation and debugging tools that make it easier for you to find problems early in the development cycle.
Ensure Driver Quality for Windows 8
The WDK for Windows 8 provides a sophisticated driver test framework and a set of device fundamental tests that you can use to automatically build, deploy, and test and verify your driver on remote test systems. It also contains the tools and integration with Visual Studio 2012 to make testing and debugging drivers more convenient and effective than before.
Ensure Driver Quality for Windows
Testing Tools in the WDK
This WHDC page highlights the critically important tools from Microsoft for testing drivers throughout the development cycle, and it gives you tips from Windows developers on how to use these tools.
Debugging Tools for Windows
This set of extensible tools for debugging device drivers includes WinDbg for source-level debugging.
Driver Verifier is one of the most important tools for detecting errors in kernel-mode driver tests. It traps many conditions that might otherwise go unnoticed during regular operation.
WDF Verifier Control Application provides features that supplement Driver Verifier for KMDF and UMDF drivers.
Code Analysis for Drivers
Code Analysis for Drivers analyzes code on a function-by-function basis and checks for common logic and usage errors. It detects certain classes of errors that the typical compiler cannot easily find.
Static Driver Verifier
SDV is a compile-time tool that explores code paths in a device driver by symbolically executing the source code. It applies knowledge about system internals to verify Windows Driver Foundation (WDF) and Window Driver Model (WDM) drivers.