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 herramientas estáticas
Saneador de direcciones del kernel
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 y el Saneador de direcciones del kernel 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.