ドライバーパッケージプロジェクトの KMDF 検証ツールプロパティ

[アーティクル]
03/18/2024

リモートコンピューター上のKMDF検証機 (またはフレーム検証機)のプロパティを設定します。これらの設定は、KMDFドライバーをビルドしてテストコンピューターに展開するときに使用できます。 KMDFドライバーの詳細については、カーネル・モードドライバーフレームワークを参照。

フレームワークベリファイアの詳細については、フレームワークのベリファイアとWDF検証機コントロールアプリケーションの使用を参照。

ドライバーパッケージプロジェクトの KMDF 検証ツールプロパティの設定

ドライバーパッケージのプロパティページを開きます。ソリューションエクスプローラーでドライバーパッケージプロジェクトを長押し (または右クリック) し、[プロパティ] を選びます。
ドライバーパッケージのプロパティページで、[構成プロパティ]、[ドライバーのインストール]、[KMDF 検証ツール] の順に選びます。
[Enable KMDF Verifier]\(KMDF 検証ツールを有効にする\) オプション、[KMDF verifier is always on]\(KMDF 検証ツールは常にオン\) の順に選びます。このオプションを選択すると、KMDFドライバーのフレームワーク検証オプションを構成できます。

オプション	説明
Enable KMDF Verifier (KMDF 検証ツールを有効にする)	テストコンピューターで KMDF検証機を有効にします。選択できるオプションは、[KMDF verifier is always on] (KMDF 検証ツールは常にオン) または [KMDF verifier is off] (KMDF 検証ツールはオフ) です。 KMDF検証機が有効になっていない場合、KMDFバージョンが 1.9 以降であれば、ドライバー検証機の一部として基本フレームワーク検証が有効になります。
KMDF Service Names (KMDF サービス名)	監視する KMDFドライバーのサービス名を指定します。
IRQL checks (IRQL チェック)	IRQLチェックと重大なメモリリークチェックを有効にします。
Forward Compatible Checks (上位互換性チェック)	現在のドライバーバージョンより後に作成されたチェックを有効にします。
Forward Progress Handler Testing (進捗ハンドラーテスト)	ドライバーの進行状況の処理をテストするためのオプションを指定します。割り当てエラーなしドライバーの進行状況の処理をテストするためのエラーはシミュレートされません。すべての割り当てが失敗するドライバーの順方向処理処理に依存して、順方向進行キュー宛てのすべての I/O リクエストが失敗したように見えます。ランダムに割り当てを失敗する順方向進行キュー宛ての I/O リクエストをランダムに失敗します。
Track KMDF Object Handles (KMDF オブジェクトハンドルを追跡する)	追跡するオブジェクトハンドルタイプのリストを指定します。
Enable KMDF Loader Messages (KMDF ローダーメッセージを有効にする)	デバッガーを介してKMDFローダーメッセージを有効にします。これを有効にするには、ターゲットコンピュータを再起動する必要があります。 Windows Vista 以降、オペレーティングシステムはデフォルトで DbgPrintアウトプットを抑制するため、抑制がオーバーライドされるまで WDFローダー診断メッセージは使用できなくなります。 KMDF検証機はこれを管理できるため、これらのシステムのカーネルデバッガーで KMDFローダー診断を利用できるようになります。
詳細ログ	詳細ログを有効にします。
Memory Pages for Logs (ログのメモリページ)	カーネルイベントトレースログに割り当てる非ページプールのページ数 (1 ～ 10) を指定します。オプションは、[Runtime Choice]\(ランタイムが選択\) または [1-10] です。ランタイムチョイスの場合、ページ数はKMDFランタイムによって異なります。 KMDF1.9 以降、詳細ログによる検証が有効になっている場合、ランタイムはより多くのページを使用します。
Fail Memory Allocations (メモリ割り当ての失敗)	KMDF検証機がすべてのメモリ割り当てを失敗し始めるまでに許可されるメモリ割り当ての成功回数を指定します。