Cómo crear un registro de verificación de controladores

El Programa de certificación de hardware de Windows requiere un registro de verificación de controladores (DVL) para los envíos de controladores. El DVL contiene un resumen de los resultados de las herramientas de análisis estático, CodeQL. El DVL no contiene ninguna información de código fuente. Antes de crear un DVL para el controlador, ejecute CodeQL, la herramienta de análisis de código y el comprobador de controladores estáticos. Para obtener más información, consulte Prueba del logotipo de herramientas estáticas y CodeQL y la Prueba del logotipo de herramientas estáticas.

Importante

Debido a un problema conocido, la ejecución de la prueba del logotipo de Static Tools en el Windows HLK (actualizado en mayo de 2026) para Windows 11, versión 25H2 producirá un error que indica que el registro de comprobación del controlador no cumple un requisito de versión. Ejecute CodeQL y genere una DVL con la versión 28000.1761 de Kit para controladores de Windows como normal y, a continuación, aplique la exención #320241 para desbloquear el envío. Este problema se resolverá en la siguiente versión de HLK para Windows 11, versión 25H2.

Preparación del controlador

  1. Antes de ejecutar las herramientas de análisis de código, compile y vincule el controlador mediante el Kit para controladores de Windows (WDK) más reciente.
  2. Seleccione Release para la configuración de la solución y x64 para la plataforma de la solución.

Determinación y ejecución de las pruebas necesarias

Para determinar qué pruebas se requieren para la versión de Windows para la que desea obtener la certificación, consulte la prueba de logotipo de herramientas estáticas.

Ejecute las siguientes pruebas, según sea necesario.

Cree el registro de verificación del controlador

  1. En el menú Controlador, seleccione Crear registro de comprobación de controladores.
  2. Compruebe que se detectan los archivos de Registro de análisis de código, Registro de comprobador de controladores estáticos y Registro de CodeQL.
  3. Seleccione Crear.

El registro de comprobación de controladores 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.

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.

Cuando estés listo para probar el controlador con el Windows Hardware Lab Kit, copia el registro de verificación del controlador en el directorio %systemdrive%\DVL del equipo de prueba. Elimine el contenido del directorio en el equipo de prueba antes de copiar el nuevo registro de comprobación del controlador.

Importante

Los tiempos de espera, los agotamientos de espacio y otros resultados no satisfactorios en el archivo DVL son aceptables para la presentación para la certificación. Los resultados no satisfactorios no harán que falle la prueba de herramientas estáticas en HLK.

Uso de la ventana de símbolo del sistema de Visual Studio

También puede crear el registro de comprobación de controladores desde una ventana del símbolo del sistema de Visual Studio. Utilice el Símbolo del sistema de herramientas nativas de Visual Studio incluido con Visual Studio o el Kit empresarial de controladores de Windows (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 incluye, como parte del Kit para controladores de Windows (WDK) y del WDK empresarial (eWDK), un componente llamado dvl.exe que puede usarse para generar registros de verificación de controladores (DVL) desde la línea de comandos. A partir de las versiones preliminares de WDK/eWDK 21342 y posteriores, es posible generar un DVL desde la línea de comandos fuera del contexto de msbuild o Visual Studio.

Generación de DVL desde el archivo CodeQL sarif

  1. Busque dvl.exe en el WDK o en un eWDK ya montado. Normalmente se instala en C:\Archivos de programa (x86)\Windows Kits\10\Tools\dvl\dvl.exe
  2. Llame a dvl.exe pasando el indicador /manualCreate, un nombre de controlador, la arquitectura deseada y /sarifPath. Donde /sarifPath incluye la ruta de acceso a la carpeta que contiene el archivo SARIF.
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture> /sarifPath <pathToSarifLocation>

Generación de un DVL a partir de un archivo CodeQL sarif o cuando se usa CA y SDV

  1. Coloque los resultados que se deben consumir para crear el DVL en un único directorio, junto con cualquier archivo vcxproj. Para que los controladores obtengan la certificación para Windows Client, este archivo es el archivo SARIF de CodeQL. La certificación de Windows Server 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 consultar información detallada sobre qué herramientas es necesario ejecutar para la certificación de controladores de dispositivo.

  2. Coloque los archivos de CodeQL SARIF y los archivos XML de análisis de código en el nivel superior del directorio. Coloque el archivo DVL.xml de SDV en una subcarpeta denominada sdv.

  3. Vaya al directorio de nivel superior que contiene el archivo CodeQL SARIF desde la línea de comandos.

  4. Busque dvl.exe en el WDK o en un eWDK ya montado.

  5. Llame a dvl.exe pasando el indicador /manualCreate, un nombre de controlador y la arquitectura deseada. Por ejemplo:

    Utilice una de las siguientes cadenas para su driverArchitecture:

    • X86
    • X64
    • Brazo
    • Arm64

    Nota:

    No incluya ".sys" como parte de la cadena driverName.

  6. Inspeccione el DVL 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.

Notas de la versión

La información más reciente sobre la herramienta Análisis de código, Static Driver Verifier y el registro de comprobación del controlador se encuentra en las notas de la versión del WDK en la página de descarga de Kit para controladores de Windows (WDK).

  • Last updated on