通過和失敗驗證

規則的 SDV 驗證有三個基本結果：

• 驅動程式 通過 驗證。

• 驅動程式 會失敗 驗證。

• 結果不 一致。

在根據這些結果繪製任何結論之前，您應該先瞭解每個結果，並留意其需要的許多資格。 您不應該判斷任何結果成為驅動程式的最終或完整評估。

驗證結果

在探索驅動程式程式碼中所有相關的執行路徑之後，SDV 驗證引擎無法證明驅動程式違反已選取進行驗證的規則時，SDV驗證引擎會通過SDV 驗證。

當 SDV 驗證引擎證明驅動程式至少違反規則一次時，驅動程式 會失敗 驗證。 違規稱為 瑕疵。 如果驅動程式多次違反規則，SDV 會回報 多個瑕疵。

如果驗證因逾時 (逾時結果) 或記憶體不足 (Spaceout結果) 而終止，或 SDV 無法達到通過或失敗結論 (不確定結果) ，則驗證不一致。 此外，SDV 可能會遇到內部工具錯誤，以防止它完成其工作。 (如需結果的詳細資訊，請參閱 解譯靜態驅動程式驗證器結果。)

例如，當規則不適用於驅動程式時，如果驅動程式未使用規則驗證的裝置驅動程式介面，SDV 會報告規則不適用。