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

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

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

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

  1. ドライバーパッケージのプロパティ ページを開きます。 ソリューション エクスプローラーでドライバー パッケージ プロジェクトを長押し (または右クリック) し、[プロパティ] を選びます。
  2. ドライバー パッケージのプロパティ ページで、[構成プロパティ][ドライバーのインストール][KMDF 検証ツール] の順に選びます。
  3. [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検証機がすべてのメモリ割り当てを失敗し始めるまでに許可されるメモリ割り当ての成功回数を指定します。