Windows Server 2012 硬件认证计划要求所有适用的驱动程序提交都提供驱动程序验证日志 (DVL)。为你的驱动程序创建 DVL 之前，必须运行静态驱动程序验证程序 (SDV)。DVL 包含来自代码分析和静态驱动程序验证程序日志文件的结果摘要。日志文件不包含源代码信息。
若要获得最佳结果，请在运行静态驱动程序验证程序之前，运行代码分析工具。
.gif "Hh454829.wedge(zh-cn,VS.85).gif")
为静态驱动程序验证程序创建日志文件的步骤
- 在 Microsoft Visual Studio Ultimate 2012 中，选择驱动程序项目文件，然后右键单击以打开项目属性。选择 Windows 8 Release 作为“配置”，而 x64 作为“平台”。
- 如果已运行代码分析工具，则按照运行静态驱动程序验证程序的说明执行这些操作。有关使用 SDV 的详细信息，请参阅使用静态驱动程序验证程序查找驱动程序中的缺陷
- 如果 SDV 在驱动程序中找到缺陷，则在“结果”窗格中单击该缺陷以查看导致违反规则的代码路径的跟踪。 修复在驱动程序中找到的缺陷并再次运行 SDV。
静态驱动程序验证程序将结果写入项目的 SDV 子目录（例如，\myDriverProject\SDV）中的文件 SDV.DVL.xml。
备注
有关静态驱动程序验证程序以及驱动程序验证日志的最新信息，请参阅 WDK 发行说明。此发行说明位于 Windows 驱动程序工具包 (WDK) 下载页面上。
要点 DVL 文件中的超时、空间不足以及其他非成功的结果对于认证提交都是可接受的。这不会导致 HCK 中的静态工具测试失败。对于 HCK 2.0，静态工具测试仅需要具有 DVL 文件以显示代码分析和 SDV 已经运行，而不需要通过所有规则。
你也可以从 Visual Studio 命令提示符窗口运行静态驱动程序验证程序。通过运行以下批处理文件之一来设置环境。
"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64
-或者-
"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64
运行静态驱动程序验证程序。
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/clean"
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/check:default.sdv"