Reglas de cumplimiento de DDI
En esta sección se enumeran y describen las reglas de cumplimiento de interfaz de controlador de dispositivo (DDI) de Windows que puedes usar para comprobar el modelo de controlador de Windows (WDM), el marco de controlador del modo kernel (KMDF), audio (PortCls), AVStream (KS), NDIS y controladores storport. Las reglas de cumplimiento de DDI definen los requisitos para la interacción adecuada entre un controlador y la interfaz de kernel del sistema operativo.
Reglas para controladores de audio
Reglas para controladores AVStream
Reglas para controladores WDM
Reglas para controladores de KMDF
Reglas para controladores NDIS
Reglas para controladores de Storport
Importante
El Programa de compatibilidad de hardware de Windows necesita CodeQL para pruebas de logotipo de herramientas estáticas (STL) en nuestros sistemas operativos de cliente y servidor. Seguiremos manteniendo el servicio de SDV y CA en productos anteriores. Se recomienda a los partners a comprobar los requisitos de CodeQL para las pruebas de logotipo de herramientas estáticas. Para obtener más información sobre el uso de CodeQL, consulte CodeQL y la prueba de logotipo de herramientas estáticas.
Herramientas de comprobación de controladores
Puede usar las herramientas de análisis de código, el Comprobador de controladores estáticos y el Comprobador de controladores para probar un controlador para que cumpla las reglas de uso de DDI. El comprobador de controladores estáticos (SDV) realiza análisis estáticos en el código fuente del controlador, por lo que puede usar SDV al principio del ciclo de desarrollo. El comprobador de controladores se integra con el sistema operativo, por lo que puede probar un controlador en tiempo de ejecución después de compilarlo, implementarlo e instalarlo.
Con el código fuente del controlador, el comprobador de controladores estáticos crea un modelo del controlador y el sistema operativo. En este modelo, SDV coloca el controlador en un entorno hostil y prueba sistemáticamente las rutas de acceso del código a través del controlador buscando infracciones de un conjunto formalizado de las reglas de cumplimiento de controladores (reglas de comprobador de controladores estáticos).
A partir de Windows 8, puedes configurar el Comprobador de controladores para ejecutar algunas de las mismas comprobaciones de cumplimiento en los controladores instalados habilitando la comprobación de cumplimiento de DDI.
Importante
SDV ya no es compatible y SDV no está disponible en las versiones de WDK o EWDK de Windows 24H2. No está disponible en WDK más reciente que la compilación 26017 y no se incluye en windows 24H2 RTM WDK.
SDV todavía se puede usar descargando windows 11, versión 22H2 EWDK (publicada el 24 de octubre de 2023) con las herramientas de compilación de Visual Studio 17.1.5 desde Descargar el Kit de controladores de Windows (WDK). Solo se recomienda el uso de Enterprise WDK para ejecutar SDV. No se recomienda usar versiones anteriores del WDK estándar junto con las versiones recientes de Visual Studio, ya que esto probablemente provocará errores de análisis.
En el futuro, CodeQL será la herramienta de análisis estático principal para los controladores. CodeQL proporciona un lenguaje de consulta eficaz que trata el código como una base de datos que se va a consultar, lo que facilita la escritura de consultas para comportamientos, patrones y mucho más específicos.
Para obtener más información sobre el uso de CodeQL, consulte CodeQL y la prueba de logotipo de herramientas estáticas.