Proceso de verificación

SDV realiza una verificación, es decir, una prueba para determinar si el comportamiento real del conductor cumple con las reglas que definen el comportamiento adecuado.

Al enviar un comando para comprobar un controlador, SDV realiza un proceso de tres pasos, durante el cual determina qué archivos necesita, prepara los archivos y comprueba el controlador.

En este tema se describe lo que sucede en cada uno de los pasos del proceso de comprobación.

Construir

Durante el paso de compilación , SDV compila, vincula y compila el controlador mediante MSBuild.

Escanear

Durante el paso Examen , SDV examina el código del controlador para las declaraciones de tipo de rol de función, ensambla una lista de puntos de entrada del controlador y crea el archivo Sdv-map.h en el directorio que almacena el archivo de orígenes para el controlador (conocido como directorio de orígenes del controlador).

Comprobar

Durante el paso Comprobar, SDV se prepara y verifica el controlador usando las reglas que seleccionó para la verificación. Para obtener más información sobre las reglas que puede seleccionar, vea Reglas de comprobador de controladores estáticos.

SDV comienza por determinar si las reglas seleccionadas requieren componentes adicionales del modelo de sistema operativo. Si lo hacen, SDV copia los archivos de modelo de sistema operativo adicionales en el directorio de orígenes del controlador.

A continuación, los archivos de controlador, los archivos de biblioteca, los archivos de código de regla (RuleName.slic) y los archivos de modelo del sistema operativo están vinculados a un único archivo ejecutable para la comprobación.

A continuación, el motor de comprobación de SDV comprueba una regla cada vez, hasta que comprueba todas las reglas seleccionadas.

Durante este paso, SDV crea un subdirectorio para cada regla que ha comprobado en el directorio DriverPath\sdv\check.

Comentario

Aunque SDV realiza los pasos del proceso de comprobación, escribe mensajes de estado en la línea de comandos, junto con mensajes de error que notifican errores que surgen en cada paso. Para obtener información sobre los mensajes de estado, consulte Command-Line Salida. Para obtener información sobre los mensajes de error, vea Mensajes de error del comprobador de controladores estáticos. Para obtener información sobre cómo habilitar diagnósticos para ayudarle y Microsoft a solucionar problemas con SDV, consulte Diagnósticos de comprobador de controladores estáticos.