Análisis de un controlador mediante herramientas de comprobación y análisis de código
Las herramientas de comprobación y análisis de código pueden ayudar a mejorar la estabilidad y confiabilidad del controlador mediante el análisis sistemático del código fuente. Las herramientas de análisis y comprobación de código pueden detectar errores que el compilador o las pruebas en tiempo de ejecución convencionales no han perdido. Además, pueden determinar si el controlador interactúa correctamente con el kernel del sistema operativo Windows. Con Microsoft Visual Studio y el Kit de controladores de Windows (WDK), puede configurar las herramientas de comprobación y análisis de código para que se ejecuten como parte del proceso de compilación, o bien puede programar las herramientas para analizar el controlador en un momento predeterminado.
Herramienta de análisis de código de C/C++ para controladores de Windows
La versión Windows 8 del WDK proporciona mejoras en la herramienta de análisis de código de C/C++ incluida con Visual Studio. En concreto, el WDK proporciona un módulo de controlador especializado diseñado para detectar errores en el código del controlador en modo kernel. Este módulo de controlador se integra en la herramienta De análisis de código de C/C++.
Cuándo usar: Puede ejecutar la herramienta de análisis de código de C/C++ para controladores muy pronto en el ciclo de desarrollo, en cuanto el código se compila correctamente.
Para obtener información sobre la herramienta análisis de código en Visual Studio, vea:
- Análisis de la calidad de la aplicación mediante el análisis de código
- Análisis de código para controladores
- Ejecución del análisis de código para controladores
- Utilizar anotaciones SAL para reducir defectos de código de C/C++
- Anotaciones SAL 2.0 para controladores de Windows
Nota En versiones anteriores del WDK, el módulo específico del controlador para el análisis de código formaba parte de una herramienta independiente denominada PREfast for Drivers (PFD). PREfast for Drivers también se ha integrado en el entorno de compilación de WDK, como parte de Microsoft Automated Code Review (OACR).
Comprobador de controladores estáticos
El comprobador de controladores estático (Static Driver Verifier, SDV) es una herramienta de comprobación estática que analiza sistemáticamente el código fuente de los controladores en modo kernel de Windows. El SDV determina si el controlador interactúa correctamente con el kernel del sistema operativo de Windows. SDV se puede iniciar desde el menú Controlador de Visual Studio o desde la ventana del símbolo del sistema de Visual Studio .
Cuándo usar: Ejecute el comprobador de controladores estáticos al principio del ciclo de desarrollo en los controladores que se compilan correctamente. Ejecute el Comprobador de controladores estáticos antes de comenzar el ciclo de prueba.
Para obtener información sobre el comprobador de controladores estáticos, consulte: