驗證程式

SDV 會進行 驗證，也就是測試，以判斷驅動程式的實際行為是否符合定義適當行為的規則。

當您提交命令來驗證驅動程式時，SDV 會執行三步驟程式，在此程式期間會決定所需的檔案、準備檔案，以及驗證驅動程式。

本主題描述驗證程式的每個步驟中會發生什麼情況。

建置

在 建置 步驟期間，SDV 會使用 MSBuild 編譯、連結及建置驅動程式。

掃描

在 掃描 步驟期間，SDV 會掃描驅動程式的程式碼中是否有函式角色類型宣告、組合驅動程式進入點的清單，並在儲存驅動程式來源檔案的目錄中建立 Sdv-map.h 檔案，該檔案儲存驅動程式 的來源 檔案 (稱為驅動程式的來源 目錄) 。

檢查

在 檢查 步驟期間，SDV 會使用您為驗證選取的規則來準備並驗證驅動程式。 如需您可以選取之規則的詳細資訊，請參閱 靜態驅動程式驗證器規則。

SDV 的開頭是判斷選取的規則是否需要作業系統模型的其他元件。 如果這樣做，SDV 會將其他作業系統模型檔案複製到驅動程式的來原始目錄中。

接下來，驅動程式檔案、程式庫檔案、規則程式碼 (RuleName.slic) 檔案，以及作業系統模型檔案會連結至單一可執行檔以進行驗證。

SDV 驗證引擎接著會一次驗證一個規則，直到驗證所有選取的規則為止。

在此步驟中，SDV 會針對 在 DriverPath\sdv\check 目錄中驗證的每個規則建立子目錄。

評論

雖然 SDV 會執行驗證程式中的步驟，但會將狀態訊息寫入命令列，以及報告每個步驟中發生的錯誤訊息。 如需狀態訊息的相關資訊，請參閱 命令列輸出。 如需錯誤訊息的相關資訊，請參閱 靜態驅動程式驗證程式錯誤訊息。 如需啟用診斷以協助您和 Microsoft 針對 SDV 問題進行疑難排解的資訊，請參閱 靜態驅動程式驗證器診斷。