Processus de vérification

SDV effectue une vérification, c’est-à-dire un test pour déterminer si le comportement réel du pilote est conforme aux règles qui définissent un comportement approprié.

Lorsque vous envoyez une commande pour vérifier un pilote, SDV effectue un processus en trois étapes, pendant lequel il détermine les fichiers dont il a besoin, prépare les fichiers et vérifie le pilote.

Cette rubrique décrit ce qui se passe dans chacune des étapes du processus de vérification.

Construire

Pendant l’étape build , SDV compile, lie et génère le pilote à l’aide de MSBuild.

Numériser

Au cours de l’étape d’analyse , SDV analyse le code de votre pilote pour les déclarations de type de rôle de fonction, assemble une liste de points d’entrée de pilote et crée le fichier Sdv-map.h dans le répertoire qui stocke le fichier sources du pilote (appelé répertoire sources du pilote).

Vérifier

Pendant l’étape De vérification , SDV prépare et vérifie le pilote à l’aide des règles que vous avez sélectionnées pour la vérification. Pour plus d’informations sur les règles que vous pouvez sélectionner, consultez Règles du vérificateur de pilote statique.

SDV commence par déterminer si les règles sélectionnées nécessitent des composants supplémentaires du modèle de système d’exploitation. S’ils le font, SDV copie les fichiers de modèle de système d’exploitation supplémentaires dans le répertoire des sources du pilote.

Ensuite, les fichiers de pilote, les fichiers de bibliothèque, les fichiers de code de règle (RuleName.slic) et les fichiers de modèle du système d’exploitation sont liés à un fichier exécutable unique pour la vérification.

Le moteur de vérification SDV vérifie ensuite une règle à la fois, jusqu’à ce qu’il vérifie toutes les règles sélectionnées.

Pendant cette étape, SDV crée un sous-répertoire pour chaque règle qu’elle a vérifiée dans le répertoire DriverPath\sdv\check.

Commentaire

Pendant que SDV effectue les étapes du processus de vérification, il écrit les messages d’état dans la ligne de commande, ainsi que les messages d’erreur qui signalent des erreurs qui se produisent à chaque étape. Pour plus d’informations sur les messages d’état, consultez Command-Line Sortie. Pour plus d’informations sur les messages d’erreur, consultez Les messages d’erreur du vérificateur de pilote statique. Pour plus d’informations sur l’activation des diagnostics pour vous aider, ainsi que Microsoft, à résoudre les problèmes liés à SDV, consultez Diagnostics du vérificateur de pilotes statiques.