| 0x01001000 | 検証ツールのフラグ: 0x%1!08x! |
Verifier Flags: 0x%1!08x! |
| 0x01001001 | 検証ツールの揮発性フラグ: 0x%1!08x! |
Verifier Volatile Flags: 0x%1!08x! |
| 0x01001002 | 標準のフラグ: |
Standard Flags: |
| 0x01001003 | その他のフラグ: |
Additional Flags: |
| 0x01001004 | 内部フラグ: |
Internal Flags: |
| 0x01001005 | ブート モード: |
Boot Mode: |
| 0x01001006 | 規則: |
Rules: |
| 0x01001007 | 拡張機能: |
Extensions: |
| 0x01001008 | 検証されているドライバー: |
Verified Drivers: |
| 0x01001009 | 除外されたドライバー: |
Excluded Drivers: |
| 0x0100100A | 詳細オプション: |
Advanced Options: |
| 0x0100100B | ランダム化された低リソース シミュレーションのパラメーター: |
Randomized Low Resources Simulation Parameters: |
| 0x0100100C | 検証ツールの統計情報の概要 |
Verifier Statistics Summary |
| 0x0100100D | ドライバーの検証一覧 |
Driver Verification List |
| 0x0100100E | MODULE: %1 (load: %2!d! / unload: %3!d!) |
MODULE: %1 (load: %2!d! / unload: %3!d!) |
| 0x0100100F | プール割り当ての統計情報: ( 非ページ / ページ ) |
Pool Allocation Statistics: ( NonPaged / Paged ) |
| 0x01001010 | コードの整合性の統計情報: |
Code Integrity Statistics: |
| 0x01001011 | タイム スタンプ: %1 |
Time Stamp: %1 |
| 0x01001012 | 揮発性フラグ: |
Volatile Flags: |
| 0x01001013 | 追加されたドライバー: |
Added Drivers: |
| 0x01001014 | 削除されたドライバー: |
Removed Drivers: |
| 0x01001015 | [X] フラグが有効になっていることを示します。 |
[X] Indicates flag is enabled. |
| 0x01001016 | すべてのドライバー |
All Drivers |
| 0x01001017 | すべての規則は既定の設定を使用しています |
All rules are using default settings |
| 0x01001018 | 他のすべての規則は既定の設定を使用しています |
All other rules are using default settings |
| 0x01001019 | 無効: %1 (%2) |
Disabled: %1 (%2) |
| 0x0100101A | すべての規則は明示的に無効にされています。 |
All rules are explicitly disabled. |
| 0x0100101B | なし |
None |
| 0x0100101C | 要求された操作は正常に終了しました。変更を有効にするには、システムを再起動する必要があります。 |
The requested operation is successful. Changes will not be effective until the system is rebooted. |
| 0x01002000 | %1 |
%1 |
| 0x01002001 | %1: %2 |
%1: %2 |
| 0x01002002 | %1: %2!d! |
%1: %2!d! |
| 0x01002003 | %1: %2!I64d! |
%1: %2!I64d! |
| 0x01002004 | [%1] 0x%2!08x! 特別なプール。 |
[%1] 0x%2!08x! Special pool. |
| 0x01002005 | [%1] 0x%2!08x! 強制 IRQL 検査。 |
[%1] 0x%2!08x! Force IRQL checking. |
| 0x01002006 | [%1] 0x%2!08x! ランダム化された低リソース シミュレーション。 |
[%1] 0x%2!08x! Randomized low resources simulation. |
| 0x01002007 | [%1] 0x%2!08x! プールのトラック。 |
[%1] 0x%2!08x! Pool tracking. |
| 0x01002008 | [%1] 0x%2!08x! I/O の検証。 |
[%1] 0x%2!08x! I/O verification. |
| 0x01002009 | [%1] 0x%2!08x! デッドロックの検出。 |
[%1] 0x%2!08x! Deadlock detection. |
| 0x0100200A | [%1] 0x%2!08x! 拡張 I/O 検査。 |
[%1] 0x%2!08x! Enhanced I/O checking. |
| 0x0100200B | [%1] 0x%2!08x! DMA 検査。 |
[%1] 0x%2!08x! DMA checking. |
| 0x0100200C | [%1] 0x%2!08x! セキュリティ チェック。 |
[%1] 0x%2!08x! Security checks. |
| 0x0100200D | [%1] 0x%2!08x! 保留中の I/O 要求を強制する。 |
[%1] 0x%2!08x! Force pending I/O requests. |
| 0x0100200E | [%1] 0x%2!08x! IRP ログ。 |
[%1] 0x%2!08x! IRP logging. |
| 0x0100200F | [%1] 0x%2!08x! その他の検査。 |
[%1] 0x%2!08x! Miscellaneous checks. |
| 0x01002010 | [%1] 0x%2!08x! 追加のデバッグ情報。 |
[%1] 0x%2!08x! Additional debug information. |
| 0x01002011 | [%1] 0x%2!08x! 不変な MDL のスタック用検査。 |
[%1] 0x%2!08x! Invariant MDL checking for stack. |
| 0x01002012 | [%1] 0x%2!08x! 不変な MDL のドライバー用検査。 |
[%1] 0x%2!08x! Invariant MDL checking for driver. |
| 0x01002013 | [%1] 0x%2!08x! Power Framework 遅延ファジー テスト。 |
[%1] 0x%2!08x! Power framework delay fuzzing. |
| 0x01002014 | [%1] 0x%2!08x! ポート/ミニポート インターフェイスの検査。 |
[%1] 0x%2!08x! Port/miniport interface checking. |
| 0x01002015 | [%1] 0x%2!08x! DDI 準拠の検査。 |
[%1] 0x%2!08x! DDI compliance checking. |
| 0x01002016 | [%1] 0x%2!08x! 体系的な低リソース シミュレーション。 |
[%1] 0x%2!08x! Systematic low resources simulation. |
| 0x01002017 | [%1] 0x%2!08x! DDI 準拠の検査 (オプション)。 |
[%1] 0x%2!08x! DDI compliance checking (additional). |
| 0x01002018 | [%1] 0x%2!08x! DDI 準拠の検査 (内部)。 |
[%1] 0x%2!08x! DDI compliance checking (internal). |
| 0x01002019 | [%1] 0x%2!08x! NDIS/WIFI の検証。 |
[%1] 0x%2!08x! NDIS/WIFI verification. |
| 0x0100201A | [%1] 0x%2!08x! ドライバー ログ。 |
[%1] 0x%2!08x! Driver logging. |
| 0x0100201B | [%1] 0x%2!08x! カーネル同期の遅延ファジー テスト。 |
[%1] 0x%2!08x! Kernel synchronization delay fuzzing. |
| 0x0100201C | [%1] 0x%2!08x! VM スイッチの検証。 |
[%1] 0x%2!08x! VM switch verification. |
| 0x0100201D | [%1] 0x%2!08x! コード整合性のチェック。 |
[%1] 0x%2!08x! Code integrity checks. |
| 0x0100201E | IRQL の昇格: %1!10d! |
Raise IRQLs: %1!10d! |
| 0x0100201F | スピン ロックの取得: %1!10d! |
Acquire Spin Locks: %1!10d! |
| 0x01002020 | 実行の同期: %1!10d! |
Synchronize Executions: %1!10d! |
| 0x01002021 | トリム: %1!10d! |
Trims: %1!10d! |
| 0x01002022 | 試行されたプール割り当て: %1!10d! |
Pool Allocations Attempted: %1!10d! |
| 0x01002023 | 成功したプール割り当て: %1!10d! |
Pool Allocations Succeeded: %1!10d! |
| 0x01002024 | 特別プールで成功した、プール割り当て: %1!10d! |
Pool Allocations Succeeded SpecialPool: %1!10d! |
| 0x01002025 | タグなしのプール割り当て: %1!10d! |
Pool Allocations With No Tag: %1!10d! |
| 0x01002026 | トラックされていないプール割り当て: %1!10d! |
Pool Allocations Not Tracked: %1!10d! |
| 0x01002027 | 失敗したプール割り当て: %1!10d! |
Pool Allocations Failed: %1!10d! |
| 0x01002028 | 意図的に失敗したプール割り当て: %1!10d! |
Pool Allocations Failed Deliberately: %1!10d! |
| 0x01002029 | 現在のプール割り当て: ( %1!8d! / %2!8d! ) |
Current Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202A | 現在のプール バイト数: ( %1!8d! / %2!8d! ) |
Current Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202B | ピーク時のプール割り当て: ( %1!8d! / %2!8d! ) |
Peak Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202C | ピーク時のプール バイト数: ( %1!8d! / %2!8d! ) |
Peak Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202D | 連続したメモリのバイト数: %1!8d! |
Contiguous Memory Bytes: %1!8d! |
| 0x0100202E | ピーク時の連続したメモリのバイト数: %1!8d! |
Peak Contiguous Memory Bytes: %1!8d! |
| 0x0100202F | 実行プール タイプ カウント: %1!10d! |
Execute Pool Type Count: %1!10d! |
| 0x01002030 | 実行ページ保護カウント: %1!10d! |
Execute Page Protection Count: %1!10d! |
| 0x01002031 | 実行ページ マッピング カウント: %1!10d! |
Execute Page Mapping Count: %1!10d! |
| 0x01002032 | 実行-書き込みセクション カウント: %1!10d! |
Execute-Write Section Count: %1!10d! |
| 0x01002033 | セクション アライメント エラー: %1!10d! |
Section Alignment Failures: %1!10d! |
| 0x01002034 | オプション: %1 |
Options: %1 |
| 0x01002035 | 規則 0x%1!08x! が無効になりました。 |
Rule 0x%1!08x! disabled. |
| 0x01002036 | 規則 0x%1!08x! は既定の設定を使用するように設定されました。 |
Rule 0x%1!08x! set to use default setting. |
| 0x01002037 | 変更を有効にするには、システムの再起動が必要です。 |
The system reboot is required for the changes to take effect. |
| 0x01002038 | どの設定も変更されませんでした。 |
No settings were changed. |
| 0x01002039 | 新しい設定は、システムを再起動するか設定をさらに変更するまで有効です。 |
The new settings are in effect until the systemis restarted or the settings are changed again. |
| 0x01002040 | サポートされていない再配置カウント: %1!10d! |
Unsupported Relocs Count: %1!10d! |
| 0x01002041 | 実行可能セクション内の IAT のカウント: %1!10d! |
IAT in Executable Section Count: %1!10d! |
| 0xC1008001 | サポートされていないコマンド ライン パラメーターが指定されました。\"verifier /?\" を実行してコマンド ラインを確認してください。 |
An unsupported command line parameter was specified.Run \"verifier /?\" for command line assistance. |
| 0xC1008002 | 予期しないコマンド ライン パラメーター '/%1' が指定されました。\"verifier /?\" を実行してコマンド ラインを確認してください。 |
The specified command line parameter '/%1' is unexpected.Run \"verifier /?\" for command line assistance. |
| 0xC1008003 | 指定されたコマンド ライン パラメーター '/%1' が必要な形式に従っていません。\"verifier /?\" を実行してコマンド ラインを確認してください。 |
The specified command line parameter '/%1' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008004 | 指定されたコマンド ライン パラメーター '/%1' は、'%2' のオプションをサポートしていません。\"verifier /?\" を実行してコマンド ラインを確認してください。 |
The specified command line parameter '/%1' does not support option '%2'.Run \"verifier /?\" for command line assistance. |
| 0xC1008005 | 指定されたコマンド ライン パラメーター '/%1' のオプションの値が無効です。\"verifier /?\" を実行してコマンド ラインを確認してください。 |
The specified command line parameter '/%1' option values are not valid.Run \"verifier /?\" for command line assistance. |
| 0xC1008006 | 指定されたコマンド ライン パラメーター '/%1' のオプション '%2' が必要な形式に従っていません。\"verifier /?\" を実行してコマンド ラインを確認してください。 |
The specified command line parameter '/%1' option '%2' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008007 | 指定されたフラグ 0x%1!08x! はサポートされていません。\"verifier /?\" を実行してコマンド ラインを確認してください。 |
The specified flags 0x%1!08x! are not supported.Run \"verifier /?\" for command line assistance. |
| 0xC1008008 | 指定されたフラグ 0x%1!08x! は揮発性モードではサポートされていません。\"verifier /?\" を実行してコマンド ラインを確認してください。 |
The specified flags 0x%1!08x! are not supported in volatile mode.Run \"verifier /?\" for command line assistance. |
| 0xC1008009 | '%1' ドライバーの検証を開始できませんでした。 |
Failed to start the verification for '%1' driver. |
| 0xC100800A | '%1' ドライバーの検証を停止できませんでした。 |
Failed to stop the verification for '%1' driver. |
| 0xC100800B | 規則コード 0x%1!08x! は既存の規則にマップされていません。 |
Rule code 0x%1!08x! not mapped to existing rule. |
| 0xC100800C | 規則 0x%1!08x! は既に無効になっています。 |
Rule 0x%1!08x! already disabled. |
| 0xC100800D | 規則 0x%1!08x! は既に既定の設定を使用しています。 |
Rule 0x%1!08x! already using default setting. |
| 0xC100800E | 検証ツールのレジストリ設定に無効な値が含まれています。\"verifier /reset\" を実行してレジストリ設定を削除してください。 |
The verifier registry settings contain invalid values.Run \"verifier /reset\" to clean the registry settings. |
| 0xC100800F | 検証ツールのレジストリ設定を照会できませんでした。 |
Failed to query verifier registry settings. |
| 0xC1008010 | 現在の操作には管理者特権が必要です。 |
The current operation requires admin privilege. |
| 0xC1008011 | 揮発性検証ツールの設定を照会できませんでした。 |
Failed to query volatile verifier settings. |
| 0xC1008012 | 揮発性検証ツールの設定を設定できませんでした。 |
Failed to set volatile verifier settings. |
| 0xC1008013 | 現在のシステム環境ではコマンド ライン インターフェイスのみがサポートされています。\"verifier /?\" を実行してコマンド ラインを確認してください。 |
The current system environment supports only command line interface.Run \"verifier /?\" for command line assistance. |
| 0xC100F001 | Copyright (c) Microsoft Corporation. All rights reserved.構文: verifier {/? | /help} verifier /standard /all verifier /standard /driver [ ...] verifier /flags [ ...] /all verifier /flags [ ...] /driver [ ...] verifier /rules {query | reset | default | disable } verifier /query verifier /querysettings verifier /bootmode {persistent | resetonbootfail | oneboot} verifier /reset verifier /faults [probability [pool_tags [applications [delay_minutes]]]] verifier /faultssystematic [ ...] verifier /log [/interval ] verifier /volatile /flags [ ...] verifier /volatile /adddriver [ ...] verifier /volatile /removedriver [ ...] verifier /volatile /faults [probability [pool_tags [applications [delay_minutes]]]] verifier /domain {wdm | ndis | ks | audio} [rules.all | rules.default ] /driver ... [/logging | /livedump] verifier /logging verifier /livedumpパラメーター: /? または /help このヘルプ メッセージを表示します。 /standard ドライバーの検証ツールの標準のフラグを指定します。これは '/flags 0x209BB' に相当します。 /all インストールされているすべてのドライバーを次回の再起動後に検証すること を指定します。 /driver [ ...] 検証する 1 つ以上のドライバー (イメージ名) を指定します。 ワイルドカード値 (n*.sys など) はサポートされません。 /driver.exclude [ ...] 検証から除外する 1 つ以上のドライバー (イメージ名) を指定します。 このパラメーターは、すべてのドライバーを検証対象として選択した場合に のみ使用できます。 ワイルドカード値 (n*.sys など) はサポートされません。 /flags [ ...] 検証で有効にする 1 つ以上のオプションを指定します。ドライバーの検証 ツールで検査されるすべてのドライバーにフラグが適用されます。オプション 値は、10 進数、16 進数 (\"0x\" のプレフィックス)、8 進数 (\"0o\" のプレフィックス)、 またはバイナリ (\"0b\" のプレフィックス) の形式で指定する必要があります。 標準のフラグ: ドライバーの検証ツールの標準のオプションは、'/standard' または '/flags 0x209BB' を使用して指定できます。 0x00000001 (ビット 0) - 特別なプール 0x00000002 (ビット 1) - 強制 IRQL 検査 0x00000008 (ビット 3) - プールのトラック 0x00000010 (ビット 4) - I/O の検証 0x00000020 (ビット 5) - デッドロックの検出 0x00000080 (ビット 7) - DMA 検査 0x00000100 (ビット 8) - セキュリティの検査 0x00000800 (ビット 11) - その他の検査 0x00020000 (ビット 17) - DDI 準拠の検査 その他のフラグ: これらのフラグは、特定の状況でのテスト用に設計されています。 (*) でマークされたフラグでは、必要な I/O の検証 (ビット 4) が自動的 に有効になります。(**) でマークされたフラグは個々の規則の無効化を サポートします。 0x00000004 (ビット 2) - ランダム化された低リソース シミュレーション 0x00000200 (ビット 9) - 保留中の I/O 要求を強制する (*) 0x00000400 (ビット 10) - IRP ログ (*) 0x00002000 (ビット 13) - 不変な MDL のスタック用検査 (*) 0x00004000 (ビット 14) - 不変な MDL のドライバー用検査 (*) 0x00008000 (ビット 15) - Power framework 遅延ファジー テスト 0x00010000 (ビット 16) - ポート/ミニポート インターフェイスの検査 0x00040000 (ビット 18) - 体系的な低リソース シミュレーション 0x00080000 (ビット 19) - DDI 準拠の検査 (オプション) 0x00200000 (ビット 21) - NDIS/WIFI の検証 (**) 0x00800000 (ビット 23) - カーネル同期の遅延ファジー テスト 0x01000000 (ビット 24) - VM スイッチの検証 0x02000000 (ビット 25) - コードの整合性検査 /log.code_integrity このオプションは、コードの整合性違反による中断を抑制し、検証された ドライバーの統計情報だけを収集します。統計情報は、/log オプション またはカーネル デバッガーを使用して抽出できます。このパラメーターは、 コードの整合性検査を有効にした場合にのみ適用できます。 /rules {query | reset | default | disable } 規則レベルの制御を指定します (詳細設定)。 query 制御可能な規則の現在の状態を表示します。 reset すべての規則を既定の状態にリセットします。 default 規則 ID を既定の状態に設定します。 disable 指定した規則 ID を無効にします。 /query ドライバーの検証ツールのランタイムの統計情報と設定を表示します。 /querysettings 現在有効なオプションおよびドライバーの要約、または次回の再起動後に 検証されるオプションおよびドライバーの要約を表示します。 表示には、/volatile を使用して追加したドライバーおよびオプションは 含まれません。 /bootmode ドライバーの検証ツールのブート モードを指定します。このオプションによる 設定を有効にするには、システムの再起動が必要です。 persistent ドライバーの検証ツールの設定が再起動後も 維持されます。 これは既定値です。 resetonbootfail 次回以降の再起動時に、システムを開始できない 場合はドライバーの検証ツールを無効にします。 oneboot 次回の起動時にのみドライバーの検証ツールを有効にします。 /reset ドライバーの検証ツールのフラグとドライバーの設定をクリアします。 このオプションによる設定を有効にするには、システムの再起動が必要です。 |
Copyright (c) Microsoft Corporation. All rights reserved.SYNTAX: verifier {/? | /help} verifier /standard /all verifier /standard /driver [ ...] verifier /flags [ ...] /all verifier /flags [ ...] /driver [ ...] verifier /rules {query | reset | default | disable } verifier /query verifier /querysettings verifier /bootmode {persistent | resetonbootfail | oneboot} verifier /reset verifier /faults [probability [pool_tags [applications [delay_minutes]]]] verifier /faultssystematic [ ...] verifier /log [/interval ] verifier /volatile /flags [ ...] verifier /volatile /adddriver [ ...] verifier /volatile /removedriver [ ...] verifier /volatile /faults [probability [pool_tags [applications [delay_minutes]]]] verifier /domain {wdm | ndis | ks | audio} [rules.all | rules.default ] /driver ... [/logging | /livedump] verifier /logging verifier /livedumpPARAMETERS: /? or /help Displays this help message. /standard Specifies standard Driver Verifier flags. This is equivalent to '/flags 0x209BB'. /all Specifies that all installed drivers will be verified after the next boot. /driver [ ...] Specifies one or more drivers (image names) that will be verified. Wildcard values (e.g. n*.sys) are not supported. /driver.exclude [ ...] Specifies one or more drivers (image names) that will be excluded from verification. This parameter is applicable only if all drivers are selected for verification. Wildcard values (e.g. n*.sys) are not supported. /flags [ ...] Specifies one or more options that should be enabled for verification. Flags are applied to all drivers being checked by Driver Verifier. The provided options values must be either in decimal, hexadecimal (\"0x\" prefix), octal (\"0o\" prefix) or binary (\"0b\" prefix) format. Standard Flags: Standard Driver Verifier options can be specified using '/standard' or '/flags 0x209BB'. 0x00000001 (bit 0) - Special pool 0x00000002 (bit 1) - Force IRQL checking 0x00000008 (bit 3) - Pool tracking 0x00000010 (bit 4) - I/O verification 0x00000020 (bit 5) - Deadlock detection 0x00000080 (bit 7) - DMA checking 0x00000100 (bit 8) - Security checks 0x00000800 (bit 11) - Miscellaneous checks 0x00020000 (bit 17) - DDI compliance checking Additional Flags: These flags are intended for specific scenario testing. Flags marked with (*) require I/O Verification (bit 4) that will be automatically enabled. Flags marked with (**) support disabling of individual rules. 0x00000004 (bit 2) - Randomized low resources simulation 0x00000200 (bit 9) - Force pending I/O requests (*) 0x00000400 (bit 10) - IRP logging (*) 0x00002000 (bit 13) - Invariant MDL checking for stack (*) 0x00004000 (bit 14) - Invariant MDL checking for driver (*) 0x00008000 (bit 15) - Power framework delay fuzzing 0x00010000 (bit 16) - Port/miniport interface checking 0x00040000 (bit 18) - Systematic low resources simulation 0x00080000 (bit 19) - DDI compliance checking (additional) 0x00200000 (bit 21) - NDIS/WIFI verification (**) 0x00800000 (bit 23) - Kernel synchronization delay fuzzing 0x01000000 (bit 24) - VM switch verification 0x02000000 (bit 25) - Code integrity checks /log.code_integrity This option suppresses Code Integrity violation breaks and collects only statistics for verified drivers. Statistics could be extracted via /log option or kernel debugger. This parameter is applicable only if Code Integrity checks are enabled. /rules {query | reset | default | disable } Specifies rules level control (advanced). query Shows current status of controllable rules. reset Resets all rules to their default state. default Sets rule ID to its default state. disable Disables specified rule ID. /query Display runtime Driver Verifier statistics and settings. /querysettings Displays a summary of the options and drivers that are currently enabled, or options and drivers that will be verified after the next boot. The display does not include drivers and options added using /volatile. /bootmode Specifies the Driver Verifier boot mode. This option requires system reboot to take effect. persistent Ensures that Driver Verifier settings are persistent across reboots. This is the default value. resetonbootfail Disables Driver Verifier for subsequent reboots if the system failed to start. oneboot Enables Driver Verifier only for the next boot. /reset Clears Driver Verifier flags and driver settings. This option requires system reboot to take effect. |
| 0xC100F002 | /faults [probability [pool_tags [applications [delay_minutes]]]] ランダム化された低リソース シミュレーション機能を有効にし、必要に応じて ランダム化された低リソース シミュレーションのパラメーターを制御します。 Probability ある割り当てをドライバーの検証ツールがエラーにする 確率を指定します。この値は、ドライバーの検証ツールが 割り当てをエラーにする可能性を、10,000 回あたりの 回数として表します。既定値は 600 で、600/10000 または 6%. を意味します。 Pool Tags: フォールトを挿入するプール タグを、スペースで区切った 一覧として指定します。既定では、どのプール割り当て にもフォールトが挿入される可能性があります。 Applications フォールトを挿入するイメージ ファイル名 (実行可能 ファイル) を、スペースで区切った一覧として指定 します。既定では、どのプール割り当てにもフォールトが 挿入される可能性があります。 DelayMinutes ドライバーの検証ツールが割り当てを意図的にエラーに しない、起動後の時間 (分) を指定します。この遅延を 使用すると、ドライバーが読み込まれてシステムが安定化 してから、テストを開始することができます。既定値は 8 分です。 /faultssystematic [ ...] 体系的な低リソース シミュレーションのパラメーターを制御します。 enableboottime 再起動をまたぐフォールト挿入を有効にします。 disableboottime 再起動をまたぐフォールト挿入を無効に します。これは既定値です。 recordboottime 再起動をまたぐ 'what if' モードでの フォールト挿入を有効にします。 resetboottime 再起動をまたぐフォールト挿入を無効にし、 スタック除外リストをクリアします。 enableruntime フォールト挿入を動的に有効にします。 disableruntime フォールト挿入を動的に無効にします。 recordruntime 'what if' モードでのフォールト挿入を動的に 有効にします。 resetruntime フォールト挿入を動的に無効にし、以前に エラーが発生したスタック リストをクリアします。 querystatistics 現在のフォールト挿入の統計情報を表示します。 incrementcounter フォールトが挿入されたタイミングを示すために使用 されるテスト パス カウンターを増加させます。 getstackid 挿入された指定のスタック ID を取得します。 excludestack フォールト挿入からスタックを除外します。 /log [/interval ] 指定した名前のログ ファイルを作成し、実行時の統計情報をこのファイルに 定期的に書き込みます。ログ ファイルの更新間隔は '/interval' パラメーターで制御します。既定値は 30 秒です。ログを終了して戻るには、 Ctrl + C キーを使用します。 /volatile コンピューターを再起動せずにドライバーの検証ツールの設定を変更します。 揮発性の設定は直ちに有効になり、次回のシステム再起動まで有効 です。 /volatile /adddriver [ ...] 指定した 1 つ以上のドライバーの検証を開始します。 /volatile /removedriver [ ...] 指定した 1 つ以上のドライバーの検証を停止します。 /domain {wdm | ndis | ks | audio} [rules.all | rules.default] /driver ... [/logging | /livedump | /onecheck] 検証ツールの拡張設定を制御します。次の種類の検証ツール拡張がサポート されています。 wdm WDM ドライバー用の検証ツール拡張を有効にします。 ndis ネットワーク ドライバー用の検証ツール拡張を有効にします。 ks カーネル モードのストリーム ドライバー用の検証 ツール拡張を有効にします。 audio オーディオ ドライバー用の検証ツール拡張を有効にします。 次の拡張オプションがサポートされています。 rules.default 選択した検証ツール拡張の既定の検証規則を有効に します。 rules.all 選択した検証ツール拡張のすべての検証規則を有効に します。 /logging 選択した検証ツール拡張によって検出された規則違反のログを有効に します。 /livedump 選択した検証ツール拡張によって検出された規則違反のライブ メモリ ダンプ収集を有効にします。 |
/faults [probability [pool_tags [applications [delay_minutes]]]] Enable the Randomized low resources simulation feature and optionally control parameters for the Randomized low resources simulation. Probability Specifies the probability that Driver Verifier will fail a given allocation. The value represents the number of chances in 10,000 that Driver Verifier will fail the allocation. The default value 600, means 600/10000 or 6%. Pool Tags: Specifies a space separated list of the pool tags to be injected with faults. By default, any pool allocation can be injected with faults. Applications Specifies a space separated list of image file names (an executable) that will be injected with faults. By default, any pool allocation can be injected with faults. DelayMinutes Specifies the number of minutes after booting during which Driver Verifier does not intentionally fail any allocations. This delay allows the drivers to load and the system to stabilize before the test begins. The default value is 8 minutes. /faultssystematic [ ...] Controls the Systematic low resources simulation parameters. enableboottime Enables fault injections across reboots. disableboottime Disables fault injections across reboots. This is the default value. recordboottime Enables fault injections in 'what if' mode across reboots. resetboottime Disables fault injections across reboots and clears the stack exclusion list. enableruntime Dynamically enables fault injections. disableruntime Dynamically disables fault injections. recordruntime Dynamically enables fault injections in 'what if' mode. resetruntime Dynamically disables fault injections and clears the previously faulted stack list. querystatistics Shows the current fault injection statistics. incrementcounter Increments the test pass counter used to identify when a fault was injected. getstackid Retrieves the indicated injected stack id. excludestack Excludes the stack from fault injection. /log [/interval ] Creates a log file with the specified name and periodically writes the runtime statistics to this file. The interval between log file updates is controlled by the '/interval' parameter. The default value is 30 seconds. Use CTRL+C to close the log and return. /volatile Changes Driver Verifier settings without rebooting the computer. Volatile settings take effect immediately and are in effect until the next system reboot. /volatile /adddriver [ ...] Starts the verification for the specified driver or drivers. /volatile /removedriver [ ...] Stops the verification for the specified driver or drivers. /domain {wdm | ndis | ks | audio} [rules.all | rules.default] /driver ... [/logging | /livedump] Controls the verifier extension settings. The following verifier extension types are supported: wdm Enabled verifier extension for WDM drivers. ndis Enabled verifier extension for networking drivers. ks Enabled verifier extension for kernel mode streaming drivers. audio Enabled verifier extension for audio drivers. The following extension options are supported: rules.default Enables default validation rules for the selected verifier extension. rules.all Enables all validation rules for the selected verifier extension. /logging Enables logging for violated rules detected by the selected verifier extensions. /livedump Enables live memory dump collection for violated rules detected by the selected verifier extensions. |