Static Driver Verifier (SDV) は、ソース コードをシンボル的に実行することにより、デバイス ドライバのコード パスを探索するコンパイル時ツールです。SDV は、Windows Driver Model (WDM) に基づいた Microsoft Windows デバイス ドライバのユニット テスト ツールです。 SDV は、ドライバを厳しい環境に置き、WDM 使用ルールの違反を探すことによって、すべてのコード パスを体系的にテストします。シンボルでの実行は、オペレーティング システムの状態またはドライバの初期状態について、わずかしか仮定を行いません。したがって、従来のテストでは実施が難しい状況をテストできます。 SDV 内にパッケージされているルールのセットは、デバイス ドライバが WDM API をどのように使用すべきかを定義します。テストされるルールは、下記のカテゴリなどです。 IRP | 入出力要求パケットを使用する関数 | IRQL | 割込み要求レベルを使用する関数 | PnP | プラグ アンド プレイの関数 | PM | 電源の管理 | WMI | Windows Management Instrumentation を使用する関数 | Sync | スピン ロック、セマフォ、タイマ、ミューテックスなど、アクセス制御の方法と関連する同期化 | その他 | 他のカテゴリのいずれも、完全には当てはまらない関数 |
SDV は、Windows Driver Kit (WDK) で提供されます。 SDV 全般 静的解析ツール - WinHEC 2007 ドライバ開発用の静的ツール - WHDC ラボ SDV の背景
| 
