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 del 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 porque cada herramienta detecta distintos 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 no se encuentran normalmente en pruebas de controladores estándar y que incorporan la experiencia de los desarrolladores de controladores con experiencia 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 cualquiera de estas herramientas, es posible que pierda un error grave en el controlador.

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

Análisis de código para controladores

Comprobador de controladores

Comprobador de controlador estático

Reglas de cumplimiento de DDI

CodeQL y la prueba de logotipo de herramientas estáticas

Otras herramientas

Si tiene acceso a otros código o herramientas de comprobación de controladores (de otros orígenes), le recomendamos que los use además de las herramientas del WDK. Asegúrese de usar el análisis de código para controladores, comprobador estático de controladores y 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.