ドライバーの検証用ツール
Windows Driver Kit (WDK) には、開発プロセス中にドライバー コードのエラーを検出して修正するのに役立つように設計された、包括性の高いツールがいくつか含まれています。 これらのツールの多くは、開発プロセスのかなり初期に使用でき、非常に重要な役割を果たし、時間と労力を大幅に節約します。
これらの検証ツールは WDK ドキュメントに記載されており、各ツールが異なる方法で異なるタイプのドライバーエラーを検出するため、使用を推奨します。 これらのツールは、手動による確認よりもはるかに効率的です。 これらのツールは、標準的なドライバー テストでは通常見つからないエラーを検出でき、経験豊富なドライバー開発者と Windows ドライバー インターフェイス設計者の専門知識を具体化しています。
最良の結果を得るためには、ドライバーで実行可能なすべてのツールを使用してください。 これらのツールのいずれかを省略すると、ドライバーの重大なバグを見逃す可能性があります。
重要
Windows ハードウェア互換性プログラムには、クライアントおよびサーバー オペレーティング システム上の静的ツール ロゴ (STL) テスト用の CodeQL が必要です。 引き続き、古い製品の SDV と CA のサポートを維持します。 パートナーは、静的ツール ロゴ テストの CodeQL 要件を確認することを強くお勧めします。 CodeQL の使用方法の詳細については、「 CodeQL と静的ツール ロゴ テストを参照してください。
このセクションでは、最初にコード検証ツールの特性について簡単に説明し、次に WDK および Windows または Microsoft から入手できるツールの調査について説明します。
このセクションには、次が含まれます。
その他のツール
(他のソースから) 他のコードまたはドライバー検証ツールにアクセスできる場合は、WDK のツールに加えて、それらを使用することを推奨します。 Driver Verifier や Kernel Address Sanitizer などのツールは、Windows ドライバーに関する特定の知識があるため必ず使用してくださいすべてのツールでさまざまな方法でコードを調べるので、さまざまな種類の問題を見つけて修正できます。