软件调试笔记21

常见测试手段：

虽然各种测试都有优势跟侧重点，但即使用了所有的手段，也不能保证会发现所有的问题，比如测试的时候运行环境和条件不足以将错误触发并暴露出来。所以WINDOWS系统提供了验证机制来满足这个需求。

WINDOWS验证机制简介：

从编译和构建角度，WINDOWS的系统映像文件有CHECKED和FREE版本，差别是CHECKED版本包含断言。但断言只是检查软件自身的，与WINDOWS的验证机制不一样。验证机制主要目标是检查被测试软件，或者说是为了被测试软件提供一个验证器Verifier。

验证器分为驱动程序验证器和应用程序验证器，将重点介绍应用程序验证器。

应用程序验证器：

应用程序验证器分两部分：实现在NTDLL中的一系列函数，和应用程序验证器的工具包。用来发现软件与系统的兼容性，内存分配，内核对象使用和API调用等情况。

设计原理是通过挂接应用程序的IAT表来截取应用程序对编程接口API的调用，然后验证它是否符合WINDOWS SDK所定义的设计规范。

组成：

应用验证器由3个部分组成：