| 0x01001000 | Marcas del comprobador: 0x%1!08x! |
Verifier Flags: 0x%1!08x! |
| 0x01001001 | Marcas volátiles del comprobador: 0x%1!08x! |
Verifier Volatile Flags: 0x%1!08x! |
| 0x01001002 | Marcas estándar: |
Standard Flags: |
| 0x01001003 | Otras marcas: |
Additional Flags: |
| 0x01001004 | Marcas internas: |
Internal Flags: |
| 0x01001005 | Modo de arranque: |
Boot Mode: |
| 0x01001006 | Reglas: |
Rules: |
| 0x01001007 | Extensiones: |
Extensions: |
| 0x01001008 | Controladores comprobados: |
Verified Drivers: |
| 0x01001009 | Controladores excluidos: |
Excluded Drivers: |
| 0x0100100A | Opciones avanzadas: |
Advanced Options: |
| 0x0100100B | Parámetros de simulación de recursos insuficientes aleatorios: |
Randomized Low Resources Simulation Parameters: |
| 0x0100100C | Resumen de estadísticas del comprobador |
Verifier Statistics Summary |
| 0x0100100D | Lista de comprobación de controladores |
Driver Verification List |
| 0x0100100E | MÓDULO: %1 (carga: %2!d! / descarga: %3!d!) |
MODULE: %1 (load: %2!d! / unload: %3!d!) |
| 0x0100100F | Estadísticas de asignación de bloque: (Sin paginación/con paginación) |
Pool Allocation Statistics: ( NonPaged / Paged ) |
| 0x01001010 | Estadísticas de integridad de código: |
Code Integrity Statistics: |
| 0x01001011 | Marca de tiempo: %1 |
Time Stamp: %1 |
| 0x01001012 | Marcas volátiles: |
Volatile Flags: |
| 0x01001013 | Controladores agregados: |
Added Drivers: |
| 0x01001014 | Controladores quitados: |
Removed Drivers: |
| 0x01001015 | [X] Indica que la marca está habilitada. |
[X] Indicates flag is enabled. |
| 0x01001016 | Todos los controladores |
All Drivers |
| 0x01001017 | Todas las reglas usan la configuración predeterminada |
All rules are using default settings |
| 0x01001018 | El resto de reglas usan la configuración predeterminada |
All other rules are using default settings |
| 0x01001019 | Deshabilitado: %1 (%2) |
Disabled: %1 (%2) |
| 0x0100101A | Todas las reglas se deshabilitaron explícitamente. |
All rules are explicitly disabled. |
| 0x0100101B | Ninguno |
None |
| 0x0100101C | La operación solicitada se realizó correctamente. Los cambios no surtirán efecto hasta que se reinicie el 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! Bloque especial. |
[%1] 0x%2!08x! Special pool. |
| 0x01002005 | [%1] 0x%2!08x! Forzar comprobación IRQL. |
[%1] 0x%2!08x! Force IRQL checking. |
| 0x01002006 | [%1] 0x%2!08x! Simulación de recursos insuficientes aleatorios. |
[%1] 0x%2!08x! Randomized low resources simulation. |
| 0x01002007 | [%1] 0x%2!08x! Seguimiento de bloques. |
[%1] 0x%2!08x! Pool tracking. |
| 0x01002008 | [%1] 0x%2!08x! Comprobación de E/S. |
[%1] 0x%2!08x! I/O verification. |
| 0x01002009 | [%1] 0x%2!08x! Detección de interbloqueos. |
[%1] 0x%2!08x! Deadlock detection. |
| 0x0100200A | [%1] 0x%2!08x! Comprobación de E/S mejorada. |
[%1] 0x%2!08x! Enhanced I/O checking. |
| 0x0100200B | [%1] 0x%2!08x! Comprobación DMA. |
[%1] 0x%2!08x! DMA checking. |
| 0x0100200C | [%1] 0x%2!08x! Comprobaciones de seguridad. |
[%1] 0x%2!08x! Security checks. |
| 0x0100200D | [%1] 0x%2!08x! Forzar solicitudes de E/S pendientes. |
[%1] 0x%2!08x! Force pending I/O requests. |
| 0x0100200E | [%1] 0x%2!08x! Registro IRP. |
[%1] 0x%2!08x! IRP logging. |
| 0x0100200F | [%1] 0x%2!08x! Otras comprobaciones. |
[%1] 0x%2!08x! Miscellaneous checks. |
| 0x01002010 | [%1] 0x%2!08x! Información adicional sobre depuración. |
[%1] 0x%2!08x! Additional debug information. |
| 0x01002011 | [%1] 0x%2!08x! Comprobación MDL invariable para pila. |
[%1] 0x%2!08x! Invariant MDL checking for stack. |
| 0x01002012 | [%1] 0x%2!08x! Comprobación MDL invariable para controlador. |
[%1] 0x%2!08x! Invariant MDL checking for driver. |
| 0x01002013 | [%1] 0x%2!08x! Pruebas de exploración de vulnerabilidades mediante datos aleatorios de retraso de marco de energía. |
[%1] 0x%2!08x! Power framework delay fuzzing. |
| 0x01002014 | [%1] 0x%2!08x! Comprobando interfaz de puerto/minipuerto. |
[%1] 0x%2!08x! Port/miniport interface checking. |
| 0x01002015 | [%1] 0x%2!08x! Comprobación de cumplimiento DDI. |
[%1] 0x%2!08x! DDI compliance checking. |
| 0x01002016 | [%1] 0x%2!08x! Simulación sistemática de recursos insuficientes. |
[%1] 0x%2!08x! Systematic low resources simulation. |
| 0x01002017 | [%1] 0x%2!08x! Comprobación de cumplimiento DDI (adicional). |
[%1] 0x%2!08x! DDI compliance checking (additional). |
| 0x01002018 | [%1] 0x%2!08x! Comprobación de cumplimiento DDI (interna). |
[%1] 0x%2!08x! DDI compliance checking (internal). |
| 0x01002019 | [%1] 0x%2!08x! Comprobación NDIS/WIFI. |
[%1] 0x%2!08x! NDIS/WIFI verification. |
| 0x0100201A | [%1] 0x%2!08x! Registro de controladores. |
[%1] 0x%2!08x! Driver logging. |
| 0x0100201B | [%1] 0x%2!08x! Pruebas de exploración de vulnerabilidades mediante datos aleatorios de retraso de sincronización de kernel. |
[%1] 0x%2!08x! Kernel synchronization delay fuzzing. |
| 0x0100201C | [%1] 0x%2!08x! Comprobación de conmutador de VM. |
[%1] 0x%2!08x! VM switch verification. |
| 0x0100201D | [%1] 0x%2!08x! Comprobaciones de integridad del código. |
[%1] 0x%2!08x! Code integrity checks. |
| 0x0100201E | Generar IRQL: %1!10d! |
Raise IRQLs: %1!10d! |
| 0x0100201F | Adquirir bloqueos por subproceso: %1!10d! |
Acquire Spin Locks: %1!10d! |
| 0x01002020 | Sincronizar ejecuciones: %1!10d! |
Synchronize Executions: %1!10d! |
| 0x01002021 | Recortes: %1!10d! |
Trims: %1!10d! |
| 0x01002022 | Asignaciones de bloque intentadas: %1!10d! |
Pool Allocations Attempted: %1!10d! |
| 0x01002023 | Asignaciones de bloque correctas: %1!10d! |
Pool Allocations Succeeded: %1!10d! |
| 0x01002024 | Asignaciones de bloque correctas (bloque especial): %1!10d! |
Pool Allocations Succeeded SpecialPool: %1!10d! |
| 0x01002025 | Asignaciones de bloque sin etiqueta: %1!10d! |
Pool Allocations With No Tag: %1!10d! |
| 0x01002026 | Asignaciones de bloque sin seguimiento: %1!10d! |
Pool Allocations Not Tracked: %1!10d! |
| 0x01002027 | Asignaciones de bloque con error: %1!10d! |
Pool Allocations Failed: %1!10d! |
| 0x01002028 | Asignaciones de bloque no superadas deliberadamente: %1!10d! |
Pool Allocations Failed Deliberately: %1!10d! |
| 0x01002029 | Asignaciones de bloque actual: ( %1!8d! / %2!8d! ) |
Current Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202A | Bytes de bloque actual: ( %1!8d! / %2!8d! ) |
Current Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202B | Asignaciones de bloque máximo: ( %1!8d! / %2!8d! ) |
Peak Pool Allocations: ( %1!8d! / %2!8d! ) |
| 0x0100202C | Bytes de bloque máximo: ( %1!8d! / %2!8d! ) |
Peak Pool Bytes: ( %1!8d! / %2!8d! ) |
| 0x0100202D | Bytes de memora contigua: %1!8d! |
Contiguous Memory Bytes: %1!8d! |
| 0x0100202E | Bytes de memoria contigua máxima: %1!8d! |
Peak Contiguous Memory Bytes: %1!8d! |
| 0x0100202F | Ejecutar recuento de tipo de grupo de servidores: %1!10d! |
Execute Pool Type Count: %1!10d! |
| 0x01002030 | Ejecutar recuento de protección de páginas: %1!10d! |
Execute Page Protection Count: %1!10d! |
| 0x01002031 | Ejecutar recuento de asignación de páginas: %1!10d! |
Execute Page Mapping Count: %1!10d! |
| 0x01002032 | Ejecutar-escribir recuento de secciones: %1!10d! |
Execute-Write Section Count: %1!10d! |
| 0x01002033 | Errores de alineación de sección: %1!10d! |
Section Alignment Failures: %1!10d! |
| 0x01002034 | Opciones: %1 |
Options: %1 |
| 0x01002035 | La regla 0x%1!08x! está deshabilitada. |
Rule 0x%1!08x! disabled. |
| 0x01002036 | La regla 0x%1!08x! está definida para usar la configuración predeterminada. |
Rule 0x%1!08x! set to use default setting. |
| 0x01002037 | Es necesario reiniciar el sistema para que los cambios surtan efecto. |
The system reboot is required for the changes to take effect. |
| 0x01002038 | No se modificó la configuración. |
No settings were changed. |
| 0x01002039 | La nueva configuración se mantendrá en vigor hasta quese reinicie el sistema o se modifique de nuevo la configuración. |
The new settings are in effect until the systemis restarted or the settings are changed again. |
| 0x01002040 | Recuento de reubicaciones no compatible: %1!10d! |
Unsupported Relocs Count: %1!10d! |
| 0x01002041 | IAT en recuento de sección ejecutable: %1!10d! |
IAT in Executable Section Count: %1!10d! |
| 0xC1008001 | Se especificó un parámetro de línea de comandos que no se admite.Ejecute \"verifier /?\" para obtener ayuda sobre la línea de comandos. |
An unsupported command line parameter was specified.Run \"verifier /?\" for command line assistance. |
| 0xC1008002 | El parámetro de línea de comandos especificado, '/%1', es un parámetro inesperado.Ejecute \"verifier /?\" para obtener ayuda sobre la línea de comandos. |
The specified command line parameter '/%1' is unexpected.Run \"verifier /?\" for command line assistance. |
| 0xC1008003 | El parámetro de línea de comandos especificado, '/%1', no tiene el formato requerido.Ejecute \"verifier /?\" para obtener ayuda sobre la línea de comandos. |
The specified command line parameter '/%1' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008004 | El parámetro de línea de comandos especificado, '/%1', no admite la opción '%2'.Ejecute \"verifier /?\" para obtener ayuda sobre la línea de comandos. |
The specified command line parameter '/%1' does not support option '%2'.Run \"verifier /?\" for command line assistance. |
| 0xC1008005 | Los valores de la opción '/%1' del parámetro de línea de comandos especificado no son válidos.Ejecute \"verifier /?\" para obtener ayuda sobre la línea de comandos. |
The specified command line parameter '/%1' option values are not valid.Run \"verifier /?\" for command line assistance. |
| 0xC1008006 | La opción '%2' del parámetro de línea de comandos especificado, '/%1', no tiene el formato requerido.Ejecute \"verifier /?\" para obtener ayuda sobre la línea de comandos. |
The specified command line parameter '/%1' option '%2' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
| 0xC1008007 | No se admiten las marcas especificadas: 0x%1!08x!.Ejecute \"verifier /?\" para obtener ayuda sobre la línea de comandos. |
The specified flags 0x%1!08x! are not supported.Run \"verifier /?\" for command line assistance. |
| 0xC1008008 | Las marcas especificadas, 0x%1!08x!, no se admiten en el modo volátil.Ejecute \"verifier /?\" para obtener ayuda sobre la línea de comandos. |
The specified flags 0x%1!08x! are not supported in volatile mode.Run \"verifier /?\" for command line assistance. |
| 0xC1008009 | No se pudo iniciar la verificación del controlador '%1'. |
Failed to start the verification for '%1' driver. |
| 0xC100800A | No se pudo detener la verificación del controlador '%1'. |
Failed to stop the verification for '%1' driver. |
| 0xC100800B | El código de regla 0x%1!08x! no está asignado a ninguna regla existente. |
Rule code 0x%1!08x! not mapped to existing rule. |
| 0xC100800C | La regla 0x%1!08x! ya está deshabilitada. |
Rule 0x%1!08x! already disabled. |
| 0xC100800D | La regla 0x%1!08x! ya está utilizando la configuración predeterminada. |
Rule 0x%1!08x! already using default setting. |
| 0xC100800E | La configuración del Registro del comprobador contiene valores que no son válidos.Ejecute \"verifier /reset\" para borrar la configuración del Registro. |
The verifier registry settings contain invalid values.Run \"verifier /reset\" to clean the registry settings. |
| 0xC100800F | No se pudo consultar la configuración del Registro del comprobador. |
Failed to query verifier registry settings. |
| 0xC1008010 | La operación actual requiere privilegios de administración. |
The current operation requires admin privilege. |
| 0xC1008011 | No se pudo consultar la configuración del comprobador volátil. |
Failed to query volatile verifier settings. |
| 0xC1008012 | No se pudo definir la configuración del comprobador volátil. |
Failed to set volatile verifier settings. |
| 0xC1008013 | El entorno de sistema actual solo admite una interfaz de línea de comandos.Ejecute \"verifier /?\" para obtener ayuda sobre la línea de comandos. |
The current system environment supports only command line interface.Run \"verifier /?\" for command line assistance. |
| 0xC100F001 | Copyright (c) Microsoft Corporation. Todos los derechos reservados.SYNTAXIS: 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 /livedumpPARÁMETROS: /? or /help Muestra este mensaje de ayuda. /standard Especifica las marcas del comprobador de controladores estándar. Esto equivale a '/flags 0x209BB'. /all Especifica que se comprueben todos los controladores instalados después del siguiente arranque. /driver [ ...] Especifica que se comprueben uno o más controladores (nombres de imagen). No se permite el uso de caracteres comodín (p. ej., n*.sys). /driver.exclude [ ...] Especifica que se excluyan uno o más controladores (nombre de imagen) de la comprobación. Este parámetro solo es válido si todos los controladores están seleccionados para la comprobación. No se permite usar caracteres comodín (p. ej., n*.sys). /flags [ ...] Especifica una o más opciones que deben habilitarse para su comprobación. Las marcas se aplican en todos los controladores que comprobará el comprobador de controladores. Los valores de las opciones proporcionadas deben estar en formato decimal (prefijo \"0x\") octal (prefijo \"0o\") o binario (prefijo \"0b\"). Marcas estándar: Las opciones del comprobador de controladores estándar se pueden especificar mediante \"/standard\" o \"/flags 0x209BB\". 0x00000001 (bit 0): grupo especial 0x00000002 (bit 1): forzar comprobación de IRQL 0x00000008 (bit 3): seguimiento de grupo 0x00000010 (bit 4): comprobación de E/S 0x00000020 (bit 5): detección de interbloqueo 0x00000080 (bit 7): comprobación de DMA 0x00000100 (bit 8): comprobaciones de seguridad 0x00000800 (bit 11): comprobaciones varias 0x00020000 (bit 17): comprobación de cumplimiento de DDI Marcas adicionales: Estas marcas se usan en pruebas de escenarios específicos. Las marcas con un asterisco (*) requieren que la comprobación de E/S (bit 4) se habilite automáticamente. Las marcas con dos asteriscos (**) permiten deshabilitar reglas. 0x00000004 (bit 2): simulación de pocos recursos aleatorios 0x00000200 (bit 9): forzar solicitudes de E/S pendientes (*) 0x00000400 (bit 10): registro de IRP (*) 0x00002000 (bit 13): comprobación de MDL invariable para pila (*) 0x00004000 (bit 14): comprobación de MDL invariable para controlador (*) 0x00008000 (bit 15): pruebas de exploración de vulnerabilidades mediante datos aleatorios de retraso de marco de energía 0x00010000 (bit 16): comprobación de interfaz de puerto o minipuerto 0x00040000 (bit 18): simulación de pocos recursos del sistema 0x00080000 (bit 19): comprobación de cumplimiento con DDI (adicional) 0x00200000 (bit 21): comprobación de NDIS/WIFI (**) 0x00800000 (bit 23): pruebas de exploración de vulnerabilidades mediante datos aleatorios de retraso de sincronización de kernel 0x01000000 (bit 24): comprobación de conmutador de VM 0x02000000 (bit 25): comprobaciones de integridad del código /log.code_integrity Esta opción suprime interrupciones de infracción de la integridad del código y recopila solamente estadísticas de controladores verificados. Las estadísticas pueden extraerse mediante la opción /registro o el depurador de kernel. Este parámetro solamente es aplicable si se activan las comprobaciones de integridad del código. /rules {query | reset | default | disable } Especifica reglas de nivel de control (avanzadas). query Muestra el estado actual de las reglas controlables. reset Restablece todas las reglas al estado predeterminado. default Establece el id. de la regla a su estado predeterminado. disable Deshabilita el id. de regla especificado. /query Muestra estadísticas y la configuración del comprobador de controladores en tiempo de ejecución. /querysettings Muestra un resumen de las opciones y los controladores que están habilitados actualmente, o bien las opciones y los controladores que se comprobarán en el próximo inicio. La visualización no incluye controladores y opciones que se hayan agregado mediante /volatile. /bootmode Especifica el modo de inicio del comprobador de controladores. Esta opción requiere un reinicio del sistema para que se apliquen los cambios persistent del sistema para que se apliquen los cambios sea persistente después de reiniciar. Este es el valor predeterminado. resetonbootfail Deshabilita el comprobador de controladores en próximos reinicios si el sistema no puede iniciar. oneboot Habilita el comprobador de controladores solo para el siguiente inicio. /reset Borra las marcas del comprobador de controladores y la configuración de los controladores. Esta opción requiere un reinicio del sistema para que se apliquen los cambios. |
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]]]] Habilita la característica de simulación de recursos insuficientes aleatorios y controla opcionalmente los parámetros de la simulación de recursos insuficientes aleatorios. Probability Especifica la probabilidad de que el comprobador de controlador genere un error en una asignación determinada. El valor representa el número de probabilidades de entre 10.000 de que el comprobador de controlador genere un error en la asignación. El valor predeterminado es 600, lo que significa 600/10000 o 6%. Pool Tags: Especifica una lista separada por espacios de las etiquetas de bloques donde se insertarán errores. De forma predeterminada, se pueden insertar errores en cualquier asignación de bloque. Applications Especifica una lista separada por espacios de los nombres de archivos de imagen (ejecutables) en los que se van a insertar errores. De forma predeterminada, se pueden insertar errores en cualquier asignación de bloque. DelayMinutes Especifica el número de minutos tras el arranque durante los que el comprobador de controlador no genera ningún error intencionadamente en ninguna asignación. Este retraso permite que los controladores se carguen y que el sistema se estabilice antes de que la prueba se inicie. El valor predeterminado es 8 minutos. /faultssystematic [ ...] Controla los parámetros de simulación sistemática de recursos insuficientes. enableboottime Habilita la inserción de errores entre reinicios. disableboottime Deshabilita la inserción de errores entre reinicios. . recordboottime Habilita la inserción de errores en el modo 'y si' entre reinicios. resetboottime Deshabilita la inserción de errores entre reinicios y borra la lista de exclusiones de pilas. enableruntime Habilita dinámicamente la inserción de errores. disableruntime Deshabilita dinámicamente la inserción de errores. recordruntime Habilita dinámicamente la inserción de errores en el modo 'y si'. resetruntime Deshabilita dinámicamente la inserción de errores y borra la lista de pilas previa con errores. querystatistics Muestra las estadísticas actuales de inserción de errores. incrementcounter Incrementa el contador de prueba superada usado para saber cuándo se insertó un error. getstackid Recupera el id. de pila insertado indicado. excludestack Excluye la pila de la inserción de errores. /log [/interval ] Crea un archivo de registro con el nombre especificado y escribe regularmente estadísticas en tiempo de ejecución en ese archivo. El intervalo entre las actualizaciones del archivo de registro se controla por medio del parámetro '/interval'. El valor predeterminado es 30 segundos. Use CTRL+C para cerrar el registro y volver. /volatile Cambia la configuración del comprobador de controlador sin reiniciar el equipo. La configuración volátil surtirá efecto inmediatamente y estará en vigor hasta el siguiente reinicio del sistema. /volatile /adddriver [ ...] Inicia la comprobación del controlador o controladores especificados. /volatile /removedriver [ ...] Detiene la comprobación del controlador o controladores especificados. /domain {wdm | ndis | ks | audio} [rules.all | rules.default] /driver ... [/logging | /livedump] Controla la configuración de extensión del comprobador. Se admiten los siguientes tipos de extensión de comprobador: wdm Extensión de comprobador habilitada para controladores WDM. ndis Extensión de comprobador habilitada para controladores de red. ks Extensión de comprobador habilitada para controladores de transmisión en modo kernel. audio Extensión de comprobador habilitada para controladores de audio. Se admiten las siguientes opciones de extensión: rules.default Habilita reglas de validación predeterminadas para la extensión de comprobador seleccionada. rules.all Habilita todas las reglas de validación para la extensión de comprobador seleccionada. /logging Habilita el registro de reglas infringidas por las extensiones de comprobador seleccionadas. /livedump Habilita la colección de volcado de memoria dinámica de las reglas infringidas detectadas por las extensiones de comprobador seleccionadas. |
/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. |