Definición: ¿Qué significa Verificación estática?
La verificación estática es un análisis del código informático para garantizar que se hayan cumplido las prácticas de codificación estándar sin tener que ejecutar el programa. Se realiza un análisis en algunas versiones del código fuente y proporciona una forma para que los programadores depuren el código nuevo y detecten posibles errores en el código compilado.
Techinfo explica la verificación estática
La verificación estática se usa ampliamente en software para sistemas informáticos críticos para la seguridad. Las tecnologías clave utilizadas en la verificación estática son el análisis de tiempo estático y la verificación de equivalencia. La verificación de temporización y funcional en un flujo de verificación estático se separan y se ejecutan en paralelo. El análisis de tiempo estático proporciona comprobaciones de tiempo, mientras que la comprobación de equivalencia verifica la equivalencia funcional de dos versiones del mismo circuito a medida que el diseño escala a través de diferentes transformaciones, como el reordenamiento, el enrutamiento y la ubicación de la cadena de exploración.
Algunas técnicas de implementación de verificación estática son el análisis de flujo de datos, la verificación de modelos, la interpretación de abstracciones y el uso de afirmaciones.
Las herramientas que se utilizan generalmente para la verificación estática incluyen Sonar, Yasca, detector de copiar / pegar, Stylecop, FxCop, BLAST, Clang, Lint y Checkstyle.