创建驱动程序验证日志

Windows Server 2012 硬件认证计划要求所有适用的驱动程序提交都提供驱动程序验证日志 (DVL)。DVL 包含来自代码分析和静态驱动程序验证程序日志文件的结果摘要。DVL 不包含任何源信息。 为你的驱动程序创建 DVL 之前,必须运行代码分析工具和静态驱动程序验证程序。

Hh454828.wedge(zh-cn,VS.85).gif创建驱动程序验证日志的步骤

  1. 运行代码分析工具之前,确保你可以使用 Windows 8 的 Windows 驱动程序工具包 (WDK) 来构建和链接你的驱动程序。
  2. 对于驱动程序解决方案,确保选择 Windows 8 作为“解决方案配置”,选择 x64 作为“解决方案平台”。
  3. 为驱动程序运行代码分析工具。解决并修复发现的任何缺陷。请参阅为代码分析工具创建日志文件如何为驱动程序运行代码分析。有关代码分析的详细信息,请参阅使用代码分析分析 C/C++ 代码质量
  4. 运行静态驱动程序验证程序。 有关创建日志文件的信息,请参阅为静态驱动程序验证程序创建日志文件使用静态驱动程序验证程序发现驱动程序中的缺陷
  5. 创建驱动程序验证日志。从“驱动程序”菜单中,单击“创建驱动程序验证日志...”****。
  6. 验证是否检测到代码分析日志和静态驱动程序验证程序日志文件。 单击“创建”。

驱动程序验证日志的文件扩展名为 .DVL.XML。该日志是在项目文件夹(例如 \myDriverProject\myDriverName.DVL.XML)中创建的。

注意  当你准备使用 Windows 硬件认证工具包 (HCK) 测试驱动程序时,你需要将驱动程序验证日志复制到测试计算机上的 %systemdrive%\DVL 目录中。 复制新的驱动程序验证日志之前,务必删除测试计算机上该目录的内容。

 

备注

有关代码分析工具、静态驱动程序验证程序以及驱动程序验证日志的最新信息,请参阅 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> /target:dvl /p:Configuration="Win8 Release" /P:Platform=x64

相关主题

为静态驱动程序验证程序创建日志文件

为代码分析工具创建日志文件

硬件认证计划

使用代码分析工具分析驱动程序质量

如何运行驱动程序代码分析

使用静态驱动程序验证程序查找驱动程序中的缺陷