Driver development tools: New in the Windows Driver Kit (WDK) for Windows 8.1
The Windows Driver Kit (WDK) 8.1 includes the following changes to driver development tools and technologies.
Driver Verifier has new options in Windows 8.1.
The NDIS/WIFI verification option applies a set of NDIS and wireless LAN rules that check for the proper interaction between an NDIS miniport driver and the operating system kernel.
The Systematic low resources simulation option injects resource failures in kernel mode drivers.
The Kernel synchronization delay fuzzing option randomizes thread schedules to help detect concurrency bugs in the driver.
- The VM switch verification option monitors filter drivers (extensible switch extensions) that run inside the Hyper-V Extensible Switch.
For more information, see Driver Verifier.
The WDK 8.1 includes test suites for graphics, wireless LAN, mobile broadband (CDMA and GSM), and WiFi Direct devices. The are the same tests that are used in the Windows Hardware Certification Program. You can run these test suites using Visual Studio, or you can run command scripts that copy and run the test suites on test computers. For more information, see Testing a Driver and How to run the HCK Test Suites in WDK 8.1.
The DDI Compliance Rules define requirements for the proper interaction between a driver and the kernel interface of the operating system. The DDI Compliance Rules now include the new NDIS/WIFI verification rule set. You can test NDIS/WIFI verification rules using Driver Verifier.
The WDK 8.1 contains changes to the build environment.
The ProjectUpgradeTool takes Visual Studio project (*.vcxproj) and solution files (*.sln) that were created with the Windows Driver Kit (WDK) 8and upgrades them to work with the WDK 8.1 and Microsoft Visual Studio 2013.
Build date: 12/17/2013