Reglas de cumplimiento de DDI

  • Artículo

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 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 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.

Comprobador de controladores

Comprobador de controladores estáticos