的非法函数调用或操作。它可以模拟一些条件，如低内存、I/O验证、记忆池跟踪、IRQL检查、死锁检测、DMA检测、IRP记录等。检查器通过迫使驱动程序以最少的资源运行使其凸显不太容易发生的潜在缺陷。驱动程式检查器（Verifier.exe）在Windows 2000中作为一个命令行实用工具引入。Windows XP起则有了一个便于使用的图形用户界面，称为驱动程序验证程序管理器（Driver Verifier Manager）。每个新版本Windows都会引入一些新的、更加严格检查，用以测试和验证驱动程序是