通过和未通过验证

规则的 SDV 验证有三个基本结果：

• 驱动程序 通过 验证。

• 驱动程序 未通过 验证。

• 结果 不确定。

在基于这些结果得出任何结论之前，应了解每个结果，并了解它们所需的许多资格。 不应将任何结果判断为对驱动程序的最终或完整评估。

验证结果

当在驱动程序的代码中浏览所有相关执行路径后，SDV 验证引擎无法证明驱动程序违反了选择进行验证的规则时，驱动程序会通过 SDV 验证。

当 SDV 验证引擎证明驱动程序至少一次违反规则时，驱动程序 无法通过 验证。 此冲突称为 缺陷。 如果驱动程序多次违反规则，SDV 会报告 多个缺陷。

如果验证在完成之前终止，是因为超时 (超时结果) 或内存不足 (空格结果) ，或者当 SDV 无法 (不确定结果) 得出通过或失败的结论时，验证是不确定的。 此外，SDV 可能遇到阻止其完成任务的内部工具错误。 (有关结果的详细信息，请参阅 解释静态驱动程序验证程序结果。)

例如，当规则不适用于驱动程序时，如果驱动程序不使用规则验证的设备驱动程序接口，SDV 将报告该规则 不适用。