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.
"Rule of thumb: A defect that costs $1 to fix on the programmer's desktop costs $100 to fix once it is incorporated into a complete program and many thousands of dollars if it is identified only after the software has been deployed in the field."
Building a Better Bug Trap, The Economist, June 2003
Driver Testing for Windows Developer Preview
The WDK for Windows Developer Preview 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 to make testing and debugging drivers more convenient and effective than before.
Code Analysis Tools for Windows Developer Preview
The WDK for Windows Developer Preview is integrated with Microsoft Visual Studio 11 Ultimate Developer Preview. The code analysis and verification tools can now be easily configured and launched from the Visual Studio development environment so that you can find and fix problems in your driver source early in the development cycle.
Testing Tools in the WDK Debugging Tools for Windows Driver Verifier | PREfast Static Driver Verifier Device Simulation Framework |
