Herramientas para comprobar controladores

El Kit de controladores de Windows (WDK) incluye varias herramientas muy completas diseñadas para ayudarle a detectar y corregir errores en el código de controlador durante el proceso de desarrollo. Muchas de estas herramientas se pueden usar muy pronto en el proceso de desarrollo donde son más críticos y pueden ahorrarle más tiempo y esfuerzo.

Estas herramientas de comprobación se describen en la documentación de WDK y se recomiendan para su uso, ya que cada herramienta detecta diferentes tipos de errores de controlador de maneras diferentes. Estas herramientas son mucho más eficaces que las comprobaciones manuales. Estas herramientas pueden detectar errores que normalmente no se encuentran en las pruebas de controladores estándar y incorporan la experiencia de los desarrolladores de controladores experimentados y diseñadores de interfaz de controladores de Windows.

Para obtener los mejores resultados, use todas las herramientas que se pueden ejecutar en el controlador. Si omite alguna de estas herramientas, es posible que pierda un error grave en el controlador.

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.

Esta sección comienza con una breve explicación de las características de las herramientas de verificación de código y una encuesta de las herramientas incluidas en WDK y en Windows o disponibles en Microsoft.

Esta sección incluye:

Herramientas de verificación estática y dinámica

CodeQL y la prueba de logotipo de Static Tools

Comprobador de controladores

Reglas de cumplimiento de DDI

Otras herramientas

Si tiene acceso a otras herramientas de verificación de código o controlador (de otros orígenes), le recomendamos que las use además de las herramientas del WDK. Asegúrese de usar herramientas como el Comprobador de controladores debido a su conocimiento específico de los controladores de Windows, pero todas las herramientas examinan el código de maneras diferentes y, por lo tanto, pueden ayudarle a encontrar y corregir diferentes tipos de problemas.