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 controlador estático
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.
Comentarios
https://aka.ms/ContentUserFeedback.
Próximamente: A lo largo de 2024 iremos eliminando gradualmente GitHub Issues como mecanismo de comentarios sobre el contenido y lo sustituiremos por un nuevo sistema de comentarios. Para más información, vea:Enviar y ver comentarios de