Nota:
El acceso a esta página requiere autorización. Puede intentar iniciar sesión o cambiar directorios.
El acceso a esta página requiere autorización. Puede intentar cambiar los directorios.
En esta sección se enumeran y describen las reglas de cumplimiento de la Interfaz de Controlador de Dispositivo (DDI) de Windows, que puedes usar para comprobar los controladores del Modelo de Controlador de Windows (WDM), el Marco de Controladores del Modo Kernel (KMDF), Audio (PortCls), AVStream (KS), NDIS y 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 KMDF
Reglas para controladores NDIS
Reglas para controladores Storport
Importante
El Programa de compatibilidad de hardware de Windows requiere codeQL para pruebas de logotipo de herramientas estáticas (STL) en nuestros sistemas operativos cliente y servidor. Seguiremos manteniendo la compatibilidad con SDV y CA en productos más antiguos. Se recomienda encarecidamente a los asociados revisar los requisitos de CodeQL para la prueba 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 sitúa al controlador en un entorno hostil y prueba sistemáticamente las rutas de código a través del controlador en busca de infracciones a un conjunto formalizado de las reglas de cumplimiento de controladores (reglas del Verificador Estático de Controladores).
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 WDKs más recientes que la compilación 26017, y no se incluye en Windows 24H2 RTM WDK.
SDV todavía se puede utilizar 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.