Proceso de comprobación
SDV realiza una comprobación, es decir, una prueba para determinar si el comportamiento real del controlador 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.
Compilación
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 en busca de 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 del controlador (conocido como directorio de orígenes del controlador).
Comprobar
Durante el paso Comprobar , SDV se prepara y comprueba el controlador mediante las reglas que seleccionó para la comprobació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 del modelo del sistema operativo se vinculan a un único archivo ejecutable para la comprobación.
Después, el motor de comprobación de SDV comprueba una regla a la 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, vea Salida de la línea de comandos. 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.