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 | 모듈: %1(로드: %2!d!/언로드: %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! 전원 프레임워크 지연 퍼지 테스트입니다. |
[%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 | 성공한 풀 할당 SpecialPool: %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 [ ...] 검증할 드라이버(이미지 이름)를 하나 이상 지정합니다. 와일드카드 값(예: n*.sys)은 지원되지 않습니다. /driver.exclude [ ...] 검증에서 제외할 드라이버(이미지 이름)를 하나 이상 지정합니다. 이 매개 변수는 검증을 위해 모든 드라이버를 선택한 경우에만 사용할 수 있습니다. 와일드카드 값(예: n*.sys)은 지원되지 않습니다. /flags [ ...] 검증에 사용해야 할 옵션을 하나 이상 지정합니다. 드라이버 검증 도구에서 확인 중인 모든 드라이버에 플래그가 적용됩니다 제공한 옵션 값은 10진수, 16진수(\"0x\" 접두사), 8진수(\"0o\" 접두사) 또는 2진수(\"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) - R임의 리소스 부족 시뮬레이션 0x00000200 (비트 9) - 보류 중인 I/O 요청 적용 (*) 0x00000400 (비트 10) - IRP 로깅 (*) 0x00002000 (비트 13) - 고정 MDL 스택 검사 (*) 0x00004000 (비트 14) - 고정 MDL 드라이버 검사 (*) 0x00008000 (비트 15) - 전원 프레임워크 지연 퍼지 테스트 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초입니다. 로그를 닫고 돌아가려면 를 사용하십시오. /volatile 컴퓨터를 다시 부팅하지 않고 드라이버 검증 도구 설정을 변경합니다. 일시적 설정은 즉시 적용되며 다음에 시스템을 다시 부팅할 때까지 유효합니다. /volatile /adddriver [ ...] 지정한 드라이버에 대한 검증을 시작합니다. /volatile /removedriver [ ...] 지정한 드라이버에 대한 검증을 중지합니다. /domain {wdm | ndis | ks | audio} [rules.all | rules.default] /driver ... [/logging | /livedump] 검증 도구 확장 설정을 제어합니다. 다음과 같은 검증 도구 확장 유형이 지원됩니다. 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. |