SDV 検証エンジン は、検証への入力として次のファイルを受け取ります。 すべての検証には、ドライバー ソース ファイルとオペレーティング システム モデル ファイルのみが必要です。
ドライバー プロジェクト ファイルとソース コード。 プロジェクト ファイルが配置されているディレクトリで SDV を実行します。
オペレーティング システム モデル ファイル。 SDV は、検証用に選択した規則に基づいてオペレーティング システム モデル ファイルを選択してアセンブルします。
処理されたライブラリ ファイル。 ライブラリ ファイルは、ドライバーがシステム以外のライブラリに依存している場合にのみ必要です。 詳細と手順については、「静的ドライバー検証ツールでのライブラリ処理」を参照してください。
ルール リスト ファイル。 静的ドライバー検証ツール コマンド (MSBuild) を参照してください。
静的ドライバー検証ツール のオプション ファイル。 SDV では、すべての SDV 検証に適用される設定を含むグローバル オプション ファイルが作成されます。 ドライバーのローカル オプション ファイルを作成するには、グローバル オプション ファイルをコピーします。 その後、グローバル オプション ファイルのコピーを編集して、ドライバーのローカル オプション ファイルを作成できます。
SDV 検証の結果を評価するときは、入力ファイルを調べて、検証で使用されたすべての入力ファイルの精度と完全性を確認することが非常に重要です。
このセクションでは、次のファイルについて詳しく説明します。