有关排查静态驱动程序验证程序问题的建议

在驱动程序源代码上运行静态驱动程序验证程序 (SDV) 时，如果 SDV 报告超时、GiveUp 或 Spaceout，请尝试执行以下操作：

• 以下建议需要更改 SDV 配置设置。 您可以直接在静态驱动程序验证程序中的配置选项卡上的“资源”下设置配置设置，也可以在静态驱动程序验证程序选项文件 (Sdv-defaults.xml) 中设置配置设置。 默认选项文件与驱动程序型号有关，可以在 \tools\sdv\data\model\ 目录中找到，其中型号为 WDM、WDF、NDIS 或 Storport。
  1. 如果计算机使用多核处理器，请将验证过程中使用的线程数减少到 1。 在配置选项卡的资源组中，从下拉列表中选择 1。 在 SDV 默认设置文件中，将 SDV_SlamConfig_NumberOfTheads 的值改为 1。
  2. 如果 SDV 报告超时，请增加超时限制。 该值限制了 SDV 用于验证规则的时间。 默认值为 50 分钟（3000 秒）。 在配置选项卡的资源组中，可以通过更改最长时间（分钟）来调整设置。 在选项文件中，可以更改 SDV_SlamConfig_Timeout 的值。 最小值为 10（秒），最大值为 86400（秒）。 例如，您可能希望将 SDV_SlamConfig_Timeout 的值加倍到 6000。
• 如果这些建议都无法解决问题，可以尝试一并使用。

注 这些技术增加了运行的实际持续时间，但也使 SDV 更容易完成工作并获得有用的结果（通过或缺陷）。