| 0x01001000 | Flag verifica: 0x%1!08x! |
Verifier Flags: 0x%1!08x! |
| 0x01001001 | Flag volatili verifica: 0x%1!08x! |
Verifier Volatile Flags: 0x%1!08x! |
| 0x01001002 | Flag standard: |
Standard Flags: |
| 0x01001003 | Flag aggiuntivi: |
Additional Flags: |
| 0x01001004 | Flag interni: |
Internal Flags: |
| 0x01001005 | Modalità di avvio: |
Boot Mode: |
| 0x01001006 | Regole: |
Rules: |
| 0x01001007 | Estensioni: |
Extensions: |
| 0x01001008 | Driver verificati: |
Verified Drivers: |
| 0x01001009 | Driver esclusi: |
Excluded Drivers: |
| 0x0100100A | Opzioni avanzate: |
Advanced Options: |
| 0x0100100B | Parametri simulazione casuale risorse in esaurimento: |
Randomized Low Resources Simulation Parameters: |
| 0x0100100C | Riepilogo statistiche verifica |
Verifier Statistics Summary |
| 0x0100100D | Elenco verifica driver |
Driver Verification List |
| 0x0100100E | MODULO: %1 (caricati: %2!d! / non caricati: %3!d!) |
MODULE: %1 (load: %2!d! / unload: %3!d!) |
| 0x0100100F | Statistiche allocazione pool: ( Non di paging/Paging ) |
Pool Allocation Statistics: ( NonPaged / Paged ) |
| 0x01001010 | Statistiche integrità codice: |
Code Integrity Statistics: |
| 0x01001011 | Timestamp: %1 |
Time Stamp: %1 |
| 0x01001012 | Flag volatili: |
Volatile Flags: |
| 0x01001013 | Driver aggiunti: |
Added Drivers: |
| 0x01001014 | Driver rimossi: |
Removed Drivers: |
| 0x01001015 | [X] indica che il flag è abilitato. |
[X] Indicates flag is enabled. |
| 0x01001016 | Tutti i driver |
All Drivers |
| 0x01001017 | Tutte le regole utilizzano le impostazioni predefinite |
All rules are using default settings |
| 0x01001018 | Tutte le altre regole utilizzano le impostazioni predefinite |
All other rules are using default settings |
| 0x01001019 | Disabilitate: %1 (%2) |
Disabled: %1 (%2) |
| 0x0100101A | Tutte le regole sono disabilitate in modo esplicito. |
All rules are explicitly disabled. |
| 0x0100101B | Nessuno |
None |
| 0x0100101C | L'operazione richiesta è stata eseguita. Le modifiche avranno effetto al riavvio del sistema. |
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! Pool speciale. |
[%1] 0x%2!08x! Special pool. |
| 0x01002005 | [%1] 0x%2!08x! Forzatura controllo IRQL. |
[%1] 0x%2!08x! Force IRQL checking. |
| 0x01002006 | [%1] 0x%2!08x! Simulazione casuale risorse in esaurimento. |
[%1] 0x%2!08x! Randomized low resources simulation. |
| 0x01002007 | [%1] 0x%2!08x! Monitoraggio pool. |
[%1] 0x%2!08x! Pool tracking. |
| 0x01002008 | [%1] 0x%2!08x! Verifica I/O. |
[%1] 0x%2!08x! I/O verification. |
| 0x01002009 | [%1] 0x%2!08x! Rilevamento deadlock. |
[%1] 0x%2!08x! Deadlock detection. |
| 0x0100200A | [%1] 0x%2!08x! Controllo I/O avanzato. |
[%1] 0x%2!08x! Enhanced I/O checking. |
| 0x0100200B | [%1] 0x%2!08x! Controllo DMA. |
[%1] 0x%2!08x! DMA checking. |
| 0x0100200C | [%1] 0x%2!08x! Controlli di sicurezza. |
[%1] 0x%2!08x! Security checks. |
| 0x0100200D | [%1] 0x%2!08x! Forzatura richieste I/O in sospeso. |
[%1] 0x%2!08x! Force pending I/O requests. |
| 0x0100200E | [%1] 0x%2!08x! Registrazione IRP. |
[%1] 0x%2!08x! IRP logging. |
| 0x0100200F | [%1] 0x%2!08x! Altri controlli. |
[%1] 0x%2!08x! Miscellaneous checks. |
| 0x01002010 | [%1] 0x%2!08x! Informazioni di debug aggiuntive. |
[%1] 0x%2!08x! Additional debug information. |
| 0x01002011 | [%1] 0x%2!08x! Verifica MDL invariante per stack. |
[%1] 0x%2!08x! Invariant MDL checking for stack. |
| 0x01002012 | [%1] 0x%2!08x! Verifica MDL invariante per driver. |
[%1] 0x%2!08x! Invariant MDL checking for driver. |
| 0x01002013 | [%1] 0x%2!08x! Test con dati casuali sui ritardi del framework di alimentazione. |
[%1] 0x%2!08x! Power framework delay fuzzing. |
| 0x01002014 | [%1] 0x%2!08x! Controllo interfaccia porta/miniport. |
[%1] 0x%2!08x! Port/miniport interface checking. |
| 0x01002015 | [%1] 0x%2!08x! Controllo conformità DDI. |
[%1] 0x%2!08x! DDI compliance checking. |
| 0x01002016 | [%1] 0x%2!08x! Simulazione sistematica risorse in esaurimento. |
[%1] 0x%2!08x! Systematic low resources simulation. |
| 0x01002017 | [%1] 0x%2!08x! Controllo conformità DDI (aggiuntivo). |
[%1] 0x%2!08x! DDI compliance checking (additional). |
| 0x01002018 | [%1] 0x%2!08x! Controllo conformità DDI (interno). |
[%1] 0x%2!08x! DDI compliance checking (internal). |
| 0x01002019 | [%1] 0x%2!08x! Verifica NDIS/WIFI. |
[%1] 0x%2!08x! NDIS/WIFI verification. |
| 0x0100201A | [%1] 0x%2!08x! Registrazione driver. |
[%1] 0x%2!08x! Driver logging. |
| 0x0100201B | [%1] 0x%2!08x! Test con dati casuali sui ritardi di sincronizzazione del kernel. |
[%1] 0x%2!08x! Kernel synchronization delay fuzzing. |
| 0x0100201C | [%1] 0x%2!08x! Verifica commutatore macchina virtuale. |
[%1] 0x%2!08x! VM switch verification. |
| 0x0100201D | [%1] 0x%2!08x! Controlli integrità codice. |
[%1] 0x%2!08x! Code integrity checks. |
| 0x0100201E | Aumenta istanze IRQL: %1!10d! |
Raise IRQLs: %1!10d! |
| 0x0100201F | Acquisisci blocchi spin: %1!10d! |
Acquire Spin Locks: %1!10d! |
| 0x01002020 | Sincronizza esecuzioni: %1!10d! |
Synchronize Executions: %1!10d! |
| 0x01002021 | Tagli: %1!10d! |
Trims: %1!10d! |
| 0x01002022 | Allocazioni pool tentate: %1!10d! |
Pool Allocations Attempted: %1!10d! |
| 0x01002023 | Allocazioni pool riuscite: %1!10d! |
Pool Allocations Succeeded: %1!10d! |
| 0x01002024 | Allocazioni pool riuscite - SpecialPool: %1!10d! |
Pool Allocations Succeeded SpecialPool: %1!10d! |
| 0x01002025 | Allocazioni pool senza tag: %1!10d! |
Pool Allocations With No Tag: %1!10d! |
| 0x01002026 | Allocazioni pool non verificate: %1!10d! |
Pool Allocations Not Tracked: %1!10d! |
| 0x01002027 | Allocazioni pool non riuscite: %1!10d! |
Pool Allocations Failed: %1!10d! |
| 0x01002028 | Allocazioni pool non riuscite intenzionalmente: %1!10d! |
Pool Allocations Failed Deliberately: %1!10d! |
| 0x01002029 | Allocazioni pool corrente: ( %1!8d! / %2!8d! ) |
Current Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202A | Byte pool corrente: ( %1!8d! / %2!8d! ) |
Current Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202B | Allocazioni pool picco: ( %1!8d! / %2!8d! ) |
Peak Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202C | Byte pool picco: ( %1!8d! / %2!8d! ) |
Peak Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202D | Byte memoria contigua: %1!8d! |
Contiguous Memory Bytes: %1!8d! |
| 0x0100202E | Byte memoria contigua picco: %1!8d! |
Peak Contiguous Memory Bytes: %1!8d! |
| 0x0100202F | Conteggio tipi pool esecuzione: %1!10d! |
Execute Pool Type Count: %1!10d! |
| 0x01002030 | Conteggio protezione pagina esecuzione: %1!10d! |
Execute Page Protection Count: %1!10d! |
| 0x01002031 | Conteggio mapping pagina esecuzione: %1!10d! |
Execute Page Mapping Count: %1!10d! |
| 0x01002032 | Conteggio sezioni Execute-Write: %1!10d! |
Execute-Write Section Count: %1!10d! |
| 0x01002033 | Errori allineamento sezioni: %1!10d! |
Section Alignment Failures: %1!10d! |
| 0x01002034 | Opzioni: %1 |
Options: %1 |
| 0x01002035 | Regola 0x%1!08x! disabilitata. |
Rule 0x%1!08x! disabled. |
| 0x01002036 | Regola 0x%1!08x! impostata per l'uso dell'impostazione predefinita. |
Rule 0x%1!08x! set to use default setting. |
| 0x01002037 | Per applicare le modifiche, è necessario riavviare il sistema. |
The system reboot is required for the changes to take effect. |
| 0x01002038 | Nessuna impostazione modificata. |
No settings were changed. |
| 0x01002039 | Le nuove impostazioni saranno valide finché il sistema non verrà riavviatoo le impostazioni stesse non verranno modificate nuovamente. |
The new settings are in effect until the systemis restarted or the settings are changed again. |
| 0x01002040 | Conteggio rilocazioni non supportate: %1!10d! |
Unsupported Relocs Count: %1!10d! |
| 0x01002041 | IAT in numero sezioni eseguibili: %1!10d! |
IAT in Executable Section Count: %1!10d! |
| 0xC1008001 | È stato specificato un parametro della riga di comando non supportato.Eseguire \"verifier /?\" per visualizzare le informazioni della Guida della riga di comando. |
An unsupported command line parameter was specified.Run \"verifier /?\" for command line assistance. |
| 0xC1008002 | Il parametro della riga di comando '/%1' specificato non è previsto.Eseguire \"verifier /?\" per visualizzare le informazioni della Guida della riga di comando. |
The specified command line parameter '/%1' is unexpected.Run \"verifier /?\" for command line assistance. |
| 0xC1008003 | Il parametro della riga di comando '/%1' specificato non corrisponde al formato necessario.Eseguire \"verifier /?\" per visualizzare le informazioni della Guida della riga di comando. |
The specified command line parameter '/%1' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008004 | Il parametro della riga di comando '/%1' specificato non supporta l'opzione '%2'.Eseguire \"verifier /?\" per visualizzare le informazioni della Guida della riga di comando. |
The specified command line parameter '/%1' does not support option '%2'.Run \"verifier /?\" for command line assistance. |
| 0xC1008005 | I valori dell'opzione del parametro della riga di comando '/%1' specificato non sono validi.Eseguire \"verifier /?\" per visualizzare le informazioni della Guida della riga di comando. |
The specified command line parameter '/%1' option values are not valid.Run \"verifier /?\" for command line assistance. |
| 0xC1008006 | L'opzione '%2' del parametro della riga di comando '/%1' specificato non corrisponde al formato necessario.Eseguire \"verifier /?\" per visualizzare le informazioni della Guida della riga di comando. |
The specified command line parameter '/%1' option '%2' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008007 | I flag specificati 0x%1!08x! non sono supportati.Eseguire \"verifier /?\" per visualizzare le informazioni della Guida della riga di comando. |
The specified flags 0x%1!08x! are not supported.Run \"verifier /?\" for command line assistance. |
| 0xC1008008 | I flag specificati 0x%1!08x! non sono supportati in modalità volatile.Eseguire \"verifier /?\" per visualizzare le informazioni della Guida della riga di comando. |
The specified flags 0x%1!08x! are not supported in volatile mode.Run \"verifier /?\" for command line assistance. |
| 0xC1008009 | Impossibile avviare la verifica per il driver '%1'. |
Failed to start the verification for '%1' driver. |
| 0xC100800A | Impossibile arrestare la verifica per il driver '%1'. |
Failed to stop the verification for '%1' driver. |
| 0xC100800B | Codice regola 0x%1!08x! non mappato alla regola esistente. |
Rule code 0x%1!08x! not mapped to existing rule. |
| 0xC100800C | Regola 0x%1!08x! già disabilitata. |
Rule 0x%1!08x! already disabled. |
| 0xC100800D | La regola 0x%1!08x! utilizza già l'impostazione predefinita. |
Rule 0x%1!08x! already using default setting. |
| 0xC100800E | Le impostazioni del Registro di sistema della verifica includono valori non validi.Eseguire \"verifier /reset\" per pulire le impostazioni del Registro di sistema. |
The verifier registry settings contain invalid values.Run \"verifier /reset\" to clean the registry settings. |
| 0xC100800F | Impossibile eseguire una query sulle impostazioni del Registro di sistema della verifica. |
Failed to query verifier registry settings. |
| 0xC1008010 | L'operazione corrente richiede privilegi di amministratore. |
The current operation requires admin privilege. |
| 0xC1008011 | Impossibile eseguire una query sulle impostazioni della verifica volatile. |
Failed to query volatile verifier settings. |
| 0xC1008012 | Impossibile specificare le impostazioni della verifica volatile. |
Failed to set volatile verifier settings. |
| 0xC1008013 | L'ambiente del sistema corrente supporta solo l'interfaccia della riga di comando.Eseguire \"verifier /?\" per visualizzare le informazioni della Guida della riga di comando. |
The current system environment supports only command line interface.Run \"verifier /?\" for command line assistance. |
| 0xC100F001 | Copyright (c) Microsoft Corporation. Tutti i diritti riservati.SINTASSI: 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 /livedumpPARAMETRI: /? or /help Visualizza questo messaggio della Guida. /standard Specifies standard Driver Verifier flags. È equivalente a '/flags 0x209BB'. /all Specifica che tutti i driver installati verranno verificati dopo l'avvio successivo. /driver [ ...] Specifica uno o più driver (nomi di immagine) che verranno verificati. I caratteri jolly (ad esempio, n*.sys) non sono supportati. /driver.exclude [ ...] Specifica uno o più driver (nomi di immagine) che verranno esclusi dalla verifica. Questo parametro è applicabile solo se vengono selezionati tutti i driver per la verifica. I caratteri jolly (ad esempio, n*.sys) non sono supportati. /flags [ ...] Specifica una o più opzioni che devono essere abilitate per la verifica. I flag vengono applicati a tutti i driver controllati da Driver Verifier. I valori delle opzioni specificati devono essere in formato decimale, esadecimale (prefisso \"0x\"), ottale (prefisso \"0o\") o binario (prefisso \"0b\"). Flag standard: Le opzioni standard di Driver Verifier possono essere specificate usando '/standard' o '/flags 0x209BB'. 0x00000001 (bit 0) - Pool speciale 0x00000002 (bit 1) - Forzatura controllo IRQL 0x00000008 (bit 3) - Monitoraggio pool 0x00000010 (bit 4) - Verifica I/O 0x00000020 (bit 5) - Rilevamento deadlock 0x00000080 (bit 7) - Controllo DMA 0x00000100 (bit 8) - Controlli di sicurezza 0x00000800 (bit 11) - Altri controlli 0x00020000 (bit 17) - Controllo conformità DDI Flag aggiuntivi: Questi flag sono destinati al test di scenari specifici. I flag contrassegnati con un asterisco (*) richiedono la verifica di I/O (bit 4), che sarà abilitata automaticamente. I flag contrassegnati da (**) supportano la disabilitazione di singole regole. 0x00000004 (bit 2) - Simulazione casuale risorse in esaurimento 0x00000200 (bit 9) - Forzatura richieste I/O in sospeso (*) 0x00000400 (bit 10) - Registrazione IRP (*) 0x00002000 (bit 13) - Verifica MDL invariante per stack (*) 0x00004000 (bit 14) - Verifica MDL invariante per driver (*) 0x00008000 (bit 15) - Test con dati casuali sui ritardi del framework di alimentazione 0x00010000 (bit 16) - Controllo interfaccia porta/miniport 0x00040000 (bit 18) - Simulazione sistematica risorse in esaurimento 0x00080000 (bit 19) - Controllo conformità DDI (aggiuntivo) 0x00200000 (bit 21) - Verifica NDIS/WIFI (**) 0x00800000 (bit 23) - Test con dati casuali sui ritardi di sincronizzazione del kernel 0x01000000 (bit 24) - Verifica commutatore macchina virtuale 0x02000000 (bit 25) - Controlli integrità codice /log.code_integrity Questa opzione evita le interruzioni per violazioni dell'integrità del codice e raccoglie solo le statistiche per i driver verificati. Le statistiche possono essere estratte tramite l'opzione /log o il debugger del kernel. Questo parametro è applicabile sono se i controlli di integrità del codice sono abilitati. /rules {query | reset | default | disable } Specifica il controllo del livello delle regole (utenti esperti). query Mostra lo stato corrente delle regole controllabili. reset Reimposta tutte le regole sullo stato predefinito. default Imposta l'ID regola sullo stato predefinito. disable Disabilita l'ID regola specificato. /query Visualizza le statistiche e le impostazioni di runtime di Driver Verifier. /querysettings Visualizza un riepilogo delle opzioni e dei driver attualmente abilitati oppure delle opzioni e dei driver che verranno verificati dopo l'avvio successivo. Non vengono visualizzati i driver e le opzioni aggiunti tramite /volatile. /bootmode Specifica la modalità di avvio di Driver Verifier. Per applicare le modifiche è necessario riavviare il sistema. persistent Assicura che le impostazioni di Driver Verifier vengano rese persistenti tra un riavvio e l'altro. Valore predefinito. resetonbootfail Disabilita Driver Verifier per i riavvii successivi se è impossibile avviare il sistema. oneboot Abilita Driver Verifier solo per l'avvio successivo. /reset Cancella i flag di Driver Verifier e le impostazioni dei driver. Per applicare le modifiche è necessario riavviare il sistema. |
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]]]] Abilita la funzionalità Simulazione casuale risorse in esaurimento e facoltativamente i parametri di controllo per Simulazione casuale risorse in esaurimento. Probability Specifica la probabilità che Driver Verifier neghi l'autorizzazione per una data allocazione. Il valore rappresenta il numero di possibilità su 10.000 che Driver Verifier neghi l'autorizzazione per l'allocazione. Il valore predefinito, 600, indica 600/10000 o il 6%. Pool Tags: Specifica un elenco di valori separati da spazi dei tag del pool in cui è possibile eseguire la fault injection. Per impostazione predefinita, la fault injection può essere eseguita in qualsiasi allocazione pool. Applications Specifica un elenco di valori separati da spazi dei nomi dei file di immagine (eseguibili) in cui verrà eseguita la fault injection. Per impostazione predefinita, la fault injection può essere eseguita in qualsiasi allocazione pool. DelayMinutes Specifica il numero di minuti durante l'avvio per cui Driver Verifier non nega l'autorizzazione intenzionalmente ad alcuna allocazione. Questo ritardo consente il caricamento dei driver e la stabilizzazione del sistema prima dell'inizio del test. Il valore predefinito è 8 minuti. /faultssystematic [ ...] Controlla i parametri di Simulazione sistematica risorse in esaurimento. enableboottime Abilita le fault injection tra un riavvio e l'altro. disableboottime Disabilita le fault injection tra un riavvio e l'altro. Si tratta del valore predefinito. recordboottime Abilita le fault injection in modalità 'what if' tra un riavvio e l'altro. resetboottime Disabilita le fault injection tra un riavvio e l'altro e cancella l'elenco di esclusione dello stack. enableruntime Abilita in modo dinamico le fault injection. disableruntime Disabilita in modo dinamico le fault injection. recordruntime Abilita in modo dinamico le fault injection in modalità 'what if'. resetruntime Disabilita in modo dinamico le fault injection e cancella l'elenco di stack in cui in precedenza erano presenti fault injection. querystatistics Mostra le statistiche di fault injection correnti. incrementcounter Incrementa il contatore di superamento test utilizzato per identificare il momento di esecuzione di una fault injection. getstackid Recupera l'ID di stack inserito indicato. excludestack Esclude lo stack dalla fault injection. /log [/interval ] Crea un file di log con il nome specificato e scrive periodicamente le statistiche di runtime in questo file. L'intervallo tra gli aggiornamenti del file di log è controllato dal parametro '/interval'. Il valore predefinito è 30 secondi. Utilizzare CTRL+C per chiudere il log e restituire il controllo. /volatile Modifica le impostazioni di Driver Verifier senza riavviare il computer. Le impostazioni volatili hanno effetto immediatamente e sono valide fino al successivo riavvio del sistema. /volatile /adddriver [ ...] Avvia la verifica per il driver o i driver specificati. /volatile /removedriver [ ...] Interrompe la verifica per il driver o i driver specificati. /domain {wdm | ndis | ks | audio} [rules.all | rules.default] /driver ... [/logging | /livedump] Controlla le impostazioni dell'estensione Verifier. Sono supportati i seguenti tipi di estensioni Verifier: wdm Estensione Verifier abilitata per i driver WDM. ndis Estensione Verifier abilitata per i driver di rete. ks Estensione Verifier abilitata per i driver di flusso in modalità kernel. audio Estensione Verifier abilitata per i driver audio. Sono supportate le seguenti opzioni per l'estensione: rules.default Abilita le regole di convalida predefinite per l'estensione Verifier selezionata. rules.all Abilita tutte le regole di convalida per l'estensione Verifier selezionata. /logging Abilita la registrazione per le regole violate rilevate dalle estensioni Verifier selezionate. /livedump Abilita la raccolta in tempo reale dei dump della memoria per le regole violate rilevate dalle estensioni Verifier selezionate. |
/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. |