0x01001000 | Indicateurs de vérificateur : 0x%1!08x! |
Verifier Flags: 0x%1!08x! |
0x01001001 | Indicateurs volatiles de vérificateur : 0x%1!08x! |
Verifier Volatile Flags: 0x%1!08x! |
0x01001002 | Indicateurs standard : |
Standard Flags: |
0x01001003 | Indicateurs supplémentaires : |
Additional Flags: |
0x01001004 | Indicateurs internes : |
Internal Flags: |
0x01001005 | Mode de démarrage : |
Boot Mode: |
0x01001006 | Règles : |
Rules: |
0x01001007 | Extensions : |
Extensions: |
0x01001008 | Pilotes vérifiés : |
Verified Drivers: |
0x01001009 | Pilotes exclus : |
Excluded Drivers: |
0x0100100A | Options avancées : |
Advanced Options: |
0x0100100B | Paramètres de simulation de ressources faibles aléatoires : |
Randomized Low Resources Simulation Parameters: |
0x0100100C | Résumé des statistiques du vérificateur |
Verifier Statistics Summary |
0x0100100D | Liste de vérification du pilote |
Driver Verification List |
0x0100100E | MODULE : %1 (chargement : %2!d!/déchargement : %3!d!) |
MODULE: %1 (load: %2!d! / unload: %3!d!) |
0x0100100F | Statistiques d'allocation de pool : (Non paginées/Paginées) |
Pool Allocation Statistics: ( NonPaged / Paged ) |
0x01001010 | Statistiques d'intégrité du code : |
Code Integrity Statistics: |
0x01001011 | Horodatage : %1 |
Time Stamp: %1 |
0x01001012 | Indicateurs volatiles : |
Volatile Flags: |
0x01001013 | Pilotes ajoutés : |
Added Drivers: |
0x01001014 | Pilotes supprimés : |
Removed Drivers: |
0x01001015 | [X] Indique que l'indicateur est activé. |
[X] Indicates flag is enabled. |
0x01001016 | Tous les pilotes |
All Drivers |
0x01001017 | Toutes les règles utilisent les paramètres par défaut |
All rules are using default settings |
0x01001018 | Toutes les autres règles utilisent les paramètres par défaut |
All other rules are using default settings |
0x01001019 | Désactivé : %1 (%2) |
Disabled: %1 (%2) |
0x0100101A | Toutes les règles sont explicitement désactivées. |
All rules are explicitly disabled. |
0x0100101B | Aucun |
None |
0x0100101C | L'opération demandée est effectuée. Pour que les modifications soient effectives, le redémarrage du système est nécessaire. |
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 spécial. |
[%1] 0x%2!08x! Special pool. |
0x01002005 | [%1] 0x%2!08x! Vérification IRQL forcée. |
[%1] 0x%2!08x! Force IRQL checking. |
0x01002006 | [%1] 0x%2!08x! Simulation de ressources faibles aléatoires. |
[%1] 0x%2!08x! Randomized low resources simulation. |
0x01002007 | [%1] 0x%2!08x! Suivi de pool. |
[%1] 0x%2!08x! Pool tracking. |
0x01002008 | [%1] 0x%2!08x! Vérification d'E/S. |
[%1] 0x%2!08x! I/O verification. |
0x01002009 | [%1] 0x%2!08x! Détection de blocage. |
[%1] 0x%2!08x! Deadlock detection. |
0x0100200A | [%1] 0x%2!08x! Vérification d'E/S améliorée. |
[%1] 0x%2!08x! Enhanced I/O checking. |
0x0100200B | [%1] 0x%2!08x! Test DMA. |
[%1] 0x%2!08x! DMA checking. |
0x0100200C | [%1] 0x%2!08x! Vérifications de sécurité. |
[%1] 0x%2!08x! Security checks. |
0x0100200D | [%1] 0x%2!08x! Forcez les demandes d'E/S en attente. |
[%1] 0x%2!08x! Force pending I/O requests. |
0x0100200E | [%1] 0x%2!08x! Journalisation IRP. |
[%1] 0x%2!08x! IRP logging. |
0x0100200F | [%1] 0x%2!08x! Vérifications diverses. |
[%1] 0x%2!08x! Miscellaneous checks. |
0x01002010 | [%1] 0x%2!08x! Informations de débogage supplémentaires. |
[%1] 0x%2!08x! Additional debug information. |
0x01002011 | [%1] 0x%2!08x! Vérification MDL invariante pour la pile. |
[%1] 0x%2!08x! Invariant MDL checking for stack. |
0x01002012 | [%1] 0x%2!08x! Vérification MDL invariante pour le pilote. |
[%1] 0x%2!08x! Invariant MDL checking for driver. |
0x01002013 | [%1] 0x%2!08x! Test à données aléatoires des retards d'alimentation de l'infrastructure. |
[%1] 0x%2!08x! Power framework delay fuzzing. |
0x01002014 | [%1] 0x%2!08x! Vérification de l'interface port/miniport. |
[%1] 0x%2!08x! Port/miniport interface checking. |
0x01002015 | [%1] 0x%2!08x! Vérification de la conformité DDI. |
[%1] 0x%2!08x! DDI compliance checking. |
0x01002016 | [%1] 0x%2!08x! Simulation de ressources faibles systématiques. |
[%1] 0x%2!08x! Systematic low resources simulation. |
0x01002017 | [%1] 0x%2!08x! Vérification de la conformité DDI (supplémentaire). |
[%1] 0x%2!08x! DDI compliance checking (additional). |
0x01002018 | [%1] 0x%2!08x! Vérification de la conformité DDI (interne). |
[%1] 0x%2!08x! DDI compliance checking (internal). |
0x01002019 | [%1] 0x%2!08x! Vérification NDIS/WIFI. |
[%1] 0x%2!08x! NDIS/WIFI verification. |
0x0100201A | [%1] 0x%2!08x! Journalisation de pilote. |
[%1] 0x%2!08x! Driver logging. |
0x0100201B | [%1] 0x%2!08x! Test à données aléatoires (fuzzing) des retards de synchronisation de noyau. |
[%1] 0x%2!08x! Kernel synchronization delay fuzzing. |
0x0100201C | [%1] 0x%2!08x! Vérification du commutateur d'ordinateur virtuel. |
[%1] 0x%2!08x! VM switch verification. |
0x0100201D | [%1] 0x%2!08x! Vérifications de l'intégrité du code. |
[%1] 0x%2!08x! Code integrity checks. |
0x0100201E | Élever les niveaux IRQL : %1!10d! |
Raise IRQLs: %1!10d! |
0x0100201F | Acquérir les verrouillages de spin : %1!10d! |
Acquire Spin Locks: %1!10d! |
0x01002020 | Synchroniser les exécutions : %1!10d! |
Synchronize Executions: %1!10d! |
0x01002021 | Mises au point : %1!10d! |
Trims: %1!10d! |
0x01002022 | Allocations de pool tentées : %1!10d! |
Pool Allocations Attempted: %1!10d! |
0x01002023 | Allocations de pool réussies : %1!10d! |
Pool Allocations Succeeded: %1!10d! |
0x01002024 | Allocations de pool SpecialPool réussies : %1!10d! |
Pool Allocations Succeeded SpecialPool: %1!10d! |
0x01002025 | Allocations de pool sans indicateur : %1!10d! |
Pool Allocations With No Tag: %1!10d! |
0x01002026 | Allocations de pool non suivi : %1!10d! |
Pool Allocations Not Tracked: %1!10d! |
0x01002027 | Échec de l'allocation de pool : %1!10d! |
Pool Allocations Failed: %1!10d! |
0x01002028 | Échec délibéré de l'allocation de pool : %1!10d! |
Pool Allocations Failed Deliberately: %1!10d! |
0x01002029 | Allocations du pool actuel : ( %1!8d! / %2!8d! ) |
Current Pool Allocations: ( %1!8d! / %2!8d! ) |
0x0100202A | Octets du pool actuel : ( %1!8d! / %2!8d! ) |
Current Pool Bytes: ( %1!8d! / %2!8d! ) |
0x0100202B | Allocations maximales du pool : ( %1!8d! / %2!8d! ) |
Peak Pool Allocations: ( %1!8d! / %2!8d! ) |
0x0100202C | Nombre maximal d'octets du pool : ( %1!8d! / %2!8d! ) |
Peak Pool Bytes: ( %1!8d! / %2!8d! ) |
0x0100202D | Octets de mémoire contiguë : %1!8d! |
Contiguous Memory Bytes: %1!8d! |
0x0100202E | Nombre maximal d'octets de mémoire contiguë : %1!8d! |
Peak Contiguous Memory Bytes: %1!8d! |
0x0100202F | Nombre de types de pool d'exécution : %1!10d! |
Execute Pool Type Count: %1!10d! |
0x01002030 | Nombre de protections de page d'exécution : %1!10d! |
Execute Page Protection Count: %1!10d! |
0x01002031 | Nombre de mappages de pages d'exécution : %1!10d! |
Execute Page Mapping Count: %1!10d! |
0x01002032 | Nombre de sections d'exécution/écriture : %1!10d! |
Execute-Write Section Count: %1!10d! |
0x01002033 | Échecs d'alignement de section : %1!10d! |
Section Alignment Failures: %1!10d! |
0x01002034 | Options : %1 |
Options: %1 |
0x01002035 | La règle 0x%1!08x! a été désactivée. |
Rule 0x%1!08x! disabled. |
0x01002036 | La règle 0x%1!08x! est définie pour utiliser le paramètre par défaut. |
Rule 0x%1!08x! set to use default setting. |
0x01002037 | Un redémarrage système est nécessaire pour que les modifications prennent effet. |
The system reboot is required for the changes to take effect. |
0x01002038 | Aucun paramètre n'a été modifié. |
No settings were changed. |
0x01002039 | Les nouveaux paramètres sont appliqués jusqu'à ce que le systèmesoit redémarré ou que les paramètres soient de nouveau modifiés. |
The new settings are in effect until the systemis restarted or the settings are changed again. |
0x01002040 | Nombre de réadressages non pris en charge : %1!10d! |
Unsupported Relocs Count: %1!10d! |
0x01002041 | IAT dans le nombre de sections exécutables : %1!10d! |
IAT in Executable Section Count: %1!10d! |
0xC1008001 | Un paramètre de ligne de commande non pris en charge a été spécifié.Exécutez « verifier /? » pour obtenir de l'aide sur la ligne de commande. |
An unsupported command line parameter was specified.Run \"verifier /?\" for command line assistance. |
0xC1008002 | Le paramètre de ligne de commande /%1 spécifié est inattendu.Exécutez « verifier /? » pour obtenir de l'aide sur la ligne de commande. |
The specified command line parameter '/%1' is unexpected.Run \"verifier /?\" for command line assistance. |
0xC1008003 | Le paramètre de ligne de commande /%1 spécifié ne respecte pas le format requis.Exécutez « verifier /? » pour obtenir de l'aide sur la ligne de commande. |
The specified command line parameter '/%1' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
0xC1008004 | Le paramètre de ligne de commande /%1 spécifié ne prend pas en charge l'option %2.Exécutez « verifier /? » pour obtenir de l'aide sur la ligne de commande. |
The specified command line parameter '/%1' does not support option '%2'.Run \"verifier /?\" for command line assistance. |
0xC1008005 | Les valeurs d'options du paramètre de ligne de commande /%1 spécifié ne sont pas valides.Exécutez « verifier /? » pour obtenir de l'aide sur la ligne de commande. |
The specified command line parameter '/%1' option values are not valid.Run \"verifier /?\" for command line assistance. |
0xC1008006 | L'option %2 du paramètre de ligne de commande /%1 spécifié ne respecte pas le format requis.Exécutez « verifier /? » pour obtenir de l'aide sur la ligne de commande. |
The specified command line parameter '/%1' option '%2' doesn't follow required format.Run \"verifier /?\" for command line assistance. |
0xC1008007 | Les indicateurs 0x%1!08x! spécifiés ne sont pas pris en charge.Exécutez « verifier /? » pour obtenir de l'aide sur la ligne de commande. |
The specified flags 0x%1!08x! are not supported.Run \"verifier /?\" for command line assistance. |
0xC1008008 | Les indicateurs 0x%1!08x! spécifiés ne sont pas pris en charge en mode volatile.Exécutez « verifier /? » pour obtenir de l'aide sur la ligne de commande. |
The specified flags 0x%1!08x! are not supported in volatile mode.Run \"verifier /?\" for command line assistance. |
0xC1008009 | Échec du démarrage de la vérification sur le pilote %1. |
Failed to start the verification for '%1' driver. |
0xC100800A | Échec de l'arrêt de la vérification sur le pilote %1. |
Failed to stop the verification for '%1' driver. |
0xC100800B | Le code de règle 0x%1!08x! n'est pas mappé à une règle existante. |
Rule code 0x%1!08x! not mapped to existing rule. |
0xC100800C | La règle 0x%1!08x! est déjà désactivée. |
Rule 0x%1!08x! already disabled. |
0xC100800D | La règle 0x%1!08x! utilise déjà le paramètre par défaut. |
Rule 0x%1!08x! already using default setting. |
0xC100800E | Les paramètres du Registre du vérificateur contiennent des valeurs non valides.Exécutez « verifier /reset » pour nettoyer les paramètres du Registre. |
The verifier registry settings contain invalid values.Run \"verifier /reset\" to clean the registry settings. |
0xC100800F | Échec de l'interrogation des paramètres du Registre du vérificateur. |
Failed to query verifier registry settings. |
0xC1008010 | L'opération actuelle requiert un privilège d'administration. |
The current operation requires admin privilege. |
0xC1008011 | Échec de l'interrogation des paramètres du vérificateur volatile. |
Failed to query volatile verifier settings. |
0xC1008012 | Échec de la définition des paramètres du vérificateur volatile. |
Failed to set volatile verifier settings. |
0xC1008013 | L'environnement système actuel prend uniquement en charge l'interface de ligne de commande.Exécutez « verifier /? » pour obtenir de l'aide sur la ligne de commande. |
The current system environment supports only command line interface.Run \"verifier /?\" for command line assistance. |
0xC100F001 | Copyright (c) Microsoft Corporation. All rights reserved.SYNTAXE : 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 /livedumpPARAMÈTRES : /? ou /help Affiche ce message d'aide. /standard Spécifie les indicateurs des vérificateurs de pilote standard. Cela équivaut aux '/indicateurs 0x209BB'. /all Spécifie que tous les pilotes installés vont être vérifiés au prochain démarrage. /driver [ ...] Spécifie un ou plusieurs pilotes (noms d'images) qui vont être vérifiés. Les caractères génériques (p. ex. n*.sys) ne sont pas pris en charge. /driver.exclude [ ...] Spécifie un ou plusieurs pilotes (noms d'images) qui vont être exclus de la vérification. Ce paramètre s'applique uniquement si tous les pilotes sont sélectionnés pour vérification. Les caractères génériques (p. ex. n*.sys) ne sont pas pris en charge. /flags [ ...] Spécifie une ou plusieurs options à activer éventuellement pour vérification. Les indicateurs s'appliquent à tous les pilotes vérifiés par le vérificateur de pilote. Les valeurs des options fournies peuvent être décimales, hexadécimales (préfixe \" 0x \" ), octales (préfixe \" 0o \") ou binaires (préfixe \" 0b \"). Indicateurs standard : Les options du vérificateur de pilote standard peuvent être indiquées au moyen de \" /standard \" ou de \" /flags 0x209BB \". 0x00000001 (bit 0) - Pool spécial 0x00000002 (bit 1) - Forçage de la vérification IRQL 0x00000008 (bit 3) - Suivi du pool 0x00000010 (bit 4) - Vérification d'E/S 0x00000020 (bit 5) - Détection de blocage 0x00000080 (bit 7) - Test DMA 0x00000100 (bit 8) - Vérifications de sécurité 0x00000800 (bit 11) - Vérifications diverses 0x00020000 (bit 17) - Vérification de la conformité DDI Indicateurs supplémentaires : Ces indicateurs servent à des tests de scénario spécifiques. Les indicateurs signalés par (*) exigent une vérification d'E/S (bit 4) qui est automatiquement activée. Les indicateurs signalés par (**) prennent en charge la désactivation des règles individuelles. 0x00000004 (bit 2) - Simulation de ressources faibles aléatoires 0x00000200 (bit 9) - Forçage des demandes d'E/S en attente(*) 0x00000400 (bit 10) - Journalisation IRP (*) 0x00002000 (bit 13) - Vérification MDL invariante pour la pile (*) 0x00004000 (bit 14) - Vérification MDL invariante pour le pilote (*) 0x00008000 (bit 15) - Test à données aléatoires des retards d'alimentation de l'infrastructure 0x00010000 (bit 16) - Vérification de l'interface port/miniport 0x00040000 (bit 18) - Simulation de ressources faibles systématiques 0x00080000 (bit 19) - Vérification de la conformité DDI (supplémentaire) 0x00200000 (bit 21) - Vérification NDIS/WIFI (**) 0x00800000 (bit 23) - Test à données aléatoires des retards de synchronisation de noyau 0x01000000 (bit 24) - Vérification du commutateur d'ordinateur virtuel 0x02000000 (bit 25) - Vérifications de l'intégrité du code /log.code_integrity Cette option supprime les ruptures de violation de l'intégrité du code et collecte uniquement les statistiques des pilotes vérifiés. Les statistiques peuvent être extraites via l'option /log ou le débogueur du noyau. Ce paramètre est applicable uniquement si les vérifications de l'intégrité du code sont activées. /rules {query | reset | default | disable } Indique le contrôle du niveau des règles (avancé). query Affiche l'état actuel des règles contrôlables. reset Réinitialise l'état par défaut de toutes les règles. default Définit l'état par défaut de l'ID de règle. disable Désactive l'ID de règle spécifié. /query Affiche les statistiques et les paramètres du vérificateur de pilote d'exécution. /querysettings Affiche un récapitulatif des options et des pilotes actuellement activés, ou des options et des pilotes qui vont être vérifiés au prochain démarrage. Cet affichage ne tient pas compte des options et des pilotes ajoutés à l'aide de /volatile. /bootmode Indique le mode de démarrage du vérificateur de pilote. Cette option prend effet après le redémarrage du système. persistent Garantit que les paramètres du vérificateur de pilote sont persistants d'un redémarrage à l'autre. Il s'agit de la valeur par défaut. resetonbootfail Désactive le vérificateur de pilote pour les redémarrages suivants si le démarrage du système échoue. oneboot Active le vérificateur de pilote uniquement pour le prochain démarrage. /reset Efface les indicateurs du vérificateur de pilote et les paramètres des pilotes. Cette option prend effet après un redémarrage du système. |
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]]]] Active la simulation de ressources faibles aléatoires et éventuellement les paramètres de contrôle de cette fonctionnalité. Probability Indique la probabilité pour le vérificateur de pilotes de rencontrer un échec lors de l'allocation donnée. Sa valeur représente le nombre de chances sur 10 000 de voir cette probabilité se réaliser. Elle est par défaut de 600, soit 600/10000 ou 6 %. Pool Tags: Indique la liste de balises de pool séparées par un espace et destinées à l'injection d'erreurs. Par défaut, cette injection peut se produire dans toute allocation de pool. Applications Indique la liste de noms de fichier image/d'exécutable (un exécutable) séparés par un espace et destinés à l'injection d'erreurs. Par défaut, cette injection peut se produire dans toute allocation de pool. DelayMinutes Indique le nombre de minutes pendant lequel aucun échec d'allocation n'est prévu pour le vérificateur de pilotes. Ce délai survenant après le démarrage permet le chargement des pilotes et la stabilisation du système avant le début du test. Par défaut, sa valeur est de 8 minutes. /faultssystematic [ ...] Détermine les paramètres de la simulation de ressources faibles systématiques. enableboottime Active les injections d'erreurs au redémarrage. disableboottime Désactive les injections d'erreurs au redémarrage. Il s'agit de la valeur par défaut. recordboottime Active, au redémarrage, les injections d'erreurs en mode simulation. resetboottime Désactive les injections d'erreurs au redémarrage et efface la liste d'exclusions de pile. enableruntime Active dynamiquement les injections d'erreurs. disableruntime Désactive dynamiquement les injections d'erreurs. recordruntime Active dynamiquement les injections d'erreurs en mode simulation. resetruntime Désactive dynamiquement les injections d'erreurs et efface la liste des piles contenant précédemment des erreurs. querystatistics Affiche les statistiques actuelles d'injection d'erreurs. incrementcounter Incrémente le compteur de tests pour déterminer le moment d'injection d'une erreur. getstackid Récupère l'ID de pile indiqué dans le cadre de l'injection. excludestack Exclut la pile de l'injection d'erreurs. /log [/interval ] Écrit régulièrement les statistiques d'exécution dans le fichier journal portant le nom indiqué. Le paramètre /intervalle détermine à quelle fréquence mettre à jour ce fichier. Par défaut, sa valeur est de 30 secondes. Pour fermer le fichier journal et revenir en arrière, appuyez sur Ctrl+C. /volatile Modifie les paramètres du vérificateur de pilotes sans redémarrer l'ordinateur. Ces paramètres volatils s'appliquent immédiatement. Ils sont effectifs jusqu'au prochain redémarrage système. /volatile /adddriver [ ...] Lance la vérification des pilotes indiqués. /volatile /removedriver [ ...] Arrête la vérification des pilotes indiqués. /domain {wdm | ndis | ks | audio} [rules.all | rules.default] /driver ... [/logging | /livedump] Détermine les paramètres d'extension du vérificateur. L'extension prise en charge peut être de différents types : wdm Extension de vérificateur activée pour les pilotes WDM. ndis Extension de vérificateur activée pour les pilotes réseau. ks Extension de vérificateur activée pour les pilotes en mode noyau et continu. audio Extension de vérificateur activée pour les pilotes audio. Sont également prises en charge les options d'extension suivantes : rules.default Active les règles de validation par défaut pour l'extension de vérificateur sélectionnée. rules.all Active l'ensemble des règles de validation pour l'extension de vérificateur sélectionnée. /logging Active l'enregistrement des règles définies comme étant incompatibles par les extensions de vérificateur sélectionnées. /livedump Active la collecte d'image mémoire dynamique pour les règles définies comme étant incompatibles par les extensions de vérificateur sélectionnées. |
/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. |