Creación de un registro de comprobación de controladores
El Programa de certificación de hardware de Windows requiere un registro de comprobación de controladores (DVL) para envíos de controladores. La DVL puede contener un resumen de los resultados de Análisis de código (CA), Comprobador de controladores estáticos (SDV) y CodeQL. La DVL no contiene ninguna información de código fuente. Debe ejecutar CodeQL, la herramienta Análisis de código y el Comprobador de controladores estáticos según sea necesario, antes de crear un DVL para el controlador. Para obtener más información, consulte Prueba de logotipo de Herramientas estáticas y CodeQL y prueba de logotipo de Static Tools.
Para crear un registro de comprobación de controladores
Preparación del controlador
- Antes de ejecutar las herramientas de análisis de código, asegúrese de que puede compilar y vincular el controlador mediante el Kit de controladores de Windows (WDK) más reciente.
- Para la solución de controladores, asegúrese de que ha seleccionado una configuración de versión como Configuración de la solución y x64 como plataforma de soluciones.
Determinación y ejecución de las pruebas necesarias
- Consulte la prueba de logotipo de Static Tools para determinar qué pruebas son necesarias para la versión de Windows para la que desea certificar.
Ejecute las siguientes pruebas según sea necesario.
- Ejecute CodeQL. Direccione y corrija defectos que se encuentran. Se producirá un error en la certificación si no se corrigen los defectos que se consideran "Must-Fix". Para obtener más información sobre CodeQL y la prueba de logotipo de herramientas estáticas, vea CodeQL y la prueba de logotipo de herramientas estáticas.
- Ejecute el comprobador de controladores estáticos. Para obtener información sobre cómo crear el archivo de registro, consulte Creación de un archivo de registro para el comprobador de controladores estáticos y Uso del comprobador de controladores estáticos para buscar defectos en los controladores.
- Ejecute la herramienta de análisis de código para controladores. Direccione y corrija los defectos encontrados. Consulte Creación de un archivo de registro para la herramienta de análisis de código y Ejecución de análisis de código para controladores. Para obtener más información sobre el análisis de código, vea Analizar la calidad del código de C/C++ mediante el análisis de código.
Creación del registro de comprobación del controlador
Cree el registro de comprobación del controlador. En el menú Controlador , seleccione Crear registro de comprobación de controladores....
Compruebe que se detectan los archivos registro de análisis de código, registro de comprobador de controladores estáticos y registro de CodeQL. Seleccione Crear.
El registro de comprobación del controlador tiene la extensión de nombre de archivo . DVL.XML. El registro se crea en la carpeta del proyecto, por ejemplo, \myDriverProject\myDriverName. DVL.XML.
Nota SDV realiza una recompilación limpia del controlador, que quita el registro de análisis de código. Por lo tanto, asegúrese de ejecutar SDV antes de ejecutar ca.
Nota Cuando esté listo para probar el controlador mediante el Kit de laboratorio de hardware de Windows, debe copiar el registro de comprobación del controlador en el directorio %systemdrive%\DVL del equipo de prueba. Asegúrese de eliminar el contenido del directorio en el equipo de prueba antes de copiar el nuevo registro de comprobación del controlador.
Comentarios
Para obtener la información más actualizada sobre la herramienta análisis de código, el comprobador de controladores estáticos y el registro de comprobación de controladores, consulte las notas de la versión de WDK. Las notas de la versión están disponibles en la página de descarga del Kit de controladores de Windows (WDK).
Importante
Los tiempos de espera, los espaciaciones y otros resultados no correctos en el archivo DVL son aceptables para el envío de certificación. Esto no hará que se produzca un error en la prueba de Static Tools en HLK.
Ventana del símbolo del sistema de Visual Studio
También puede crear el registro de comprobación del controlador desde una ventana del símbolo del sistema de Visual Studio, ya sea mediante el símbolo del sistema de Visual Studio Native Tools instalado con Visual Studio o mediante enterprise Windows Driver Kit (EWDK).
msbuild.exe <vcxprojectfile> /target:dvl /p:Configuration="Release" /P:Platform=x64
Creación de un registro de comprobación de controladores fuera de msbuild o Visual Studio
Microsoft se distribuye como parte del Kit de controladores de Windows (WDK) y Enterprise WDK (eWDK) un componente denominado dvl.exe que se puede usar para generar registros de comprobación de controladores (DVL) a través de la línea de comandos. A partir de las versiones preliminares de WDK/eWDK 21342 y posteriores, es posible generar una DVL desde la línea de comandos fuera del contexto de msbuild o Visual Studio. Siga los pasos siguientes para crear la DVL a través de la línea de comandos:
- Coloque los resultados que se deben consumir para crear la DVL en un único directorio, junto con cualquier archivo vcxproj. Normalmente, para los controladores diseñados para ser certificados para el cliente de Windows, este es el archivo CODEQL SARIF. Para la certificación de Windows Server, esto también puede incluir los archivos de resultados de Análisis de código y Comprobador de controladores estáticos (SDV). Consulte los documentos de requisitos de WHCP para obtener detalles específicos sobre qué herramientas deben ejecutarse para la certificación del controlador de dispositivo.
- Los archivos CODEQL SARIF y los archivos XML de análisis de código deben colocarse en el nivel superior del directorio. El archivo DVL.xml SDV debe colocarse en una subcarpeta "sdv".
- En la línea de comandos, vaya al directorio de nivel superior que contiene el archivo CodeQL SARIF.
- Busque dvl.exe desde el WDK o un eWDK montado.
- Llame a dvl.exe pasando la marca /manualCreate, un nombre de controlador y una arquitectura deseada. Por ejemplo:
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture>
Se debe usar una de las siguientes cadenas para la cadena driverArchitecture:
- X86
- X64
- Arm
- Arm64
No incluya ".sys" como parte de la cadena driverName
- Inspeccione el DVL generado para asegurarse de que se generó correctamente.
Este uso está pensado principalmente para generar DVL con resultados de CodeQL, pero también se puede usar para los resultados de SDV y CA.
Temas relacionados
- Creación de un archivo de registro para el comprobador de controladores estáticos
- Creación de un archivo de registro para la herramienta de análisis de código
- Programa de certificación de hardware
- Análisis de la calidad del controlador mediante herramientas de análisis de código
- Ejecución del análisis de código para controladores
- Uso del comprobador de controladores estáticos para buscar defectos en los controladores
- CodeQL y la prueba de logotipo de Static Tools
Comentarios
https://aka.ms/ContentUserFeedback.
Próximamente: A lo largo de 2024 iremos eliminando gradualmente GitHub Issues como mecanismo de comentarios sobre el contenido y lo sustituiremos por un nuevo sistema de comentarios. Para más información, vea:Enviar y ver comentarios de