Tabla de contenido:
Definición: ¿Qué significa la verificación estática?
La verificación estática es un análisis del código de computadora 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 a los programadores una forma de depurar el nuevo código y detectar posibles errores en el código compilado.
Techopedia 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. El tiempo y la verificación funcional en un flujo de verificación estático se separan y se ejecutan en paralelo. El análisis de temporización estática proporciona comprobaciones de temporización, 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 colocación de la cadena de exploración.
Algunas técnicas de implementación de la verificación estática son el análisis del flujo de datos, la verificación de modelos, la interpretación de abstracciones y el uso de afirmaciones.
Las herramientas generalmente utilizadas para la verificación estática incluyen Sonar, Yasca, Detector de copiar / pegar, Stylecop, FxCop, BLAST, Clang, Lint y Checkstyle.
