通過驗證與未通過驗證

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

• 驅動程式 通過驗證。

• 驅動程式 驗證失敗。

• 結果 不確定。

在根據這些結果得出任何結論之前，您應該先瞭解每個結果，並瞭解其所需的許多資格。 您不應該判斷任何結果為司機的最終或完整評估。

驗證結果

驅動程式 通過 SDV 驗證，是因為在探索驅動程式代碼中的所有相關執行路徑後，SDV 驗證引擎 無法證明該驅動程式違反了所選規則。

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

如果驗證因逾時（逾時 結果）或記憶體短缺（Spaceout 結果），或 SDV 無法達到通過或失敗的結論（不確定 結果）而終止，則驗證 無決定性。 此外，SDV 可能遇到內部工具錯誤，導致無法完成其工作。 （如需結果的詳細資訊，請參閱 解譯靜態驅動程序驗證器結果。

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