¿Cuáles son los errores que se pueden detectar en el código estático?

La detección de errores en el sentido tradicional debería ser el alcance de las pruebas dinámicas del sistema. Sin embargo, en el análisis de costes de los errores, existen las siguientes conclusiones generalmente aceptadas.

Cuanto más tarde se descubre un error, mayor será el costo de corrección. El costo de la corrección de errores en la etapa de prueba es aproximadamente 4 veces mayor que el de la etapa de codificación. Para reducir costes, cuanto antes se descubran los errores, mejor. En la etapa de programación, el sueño de muchas personas es encontrar errores en el código mediante el análisis estático del código. Este sueño se hizo realidad a principios del siglo XXI. El software de análisis estático representado por PolySpace, Klocwork y Coverity puede encontrar errores de código, como matrices fuera de límites, divisor por 0, desbordamiento del búfer, etc. , siempre que el código se analice estáticamente, aunque no sea particularmente perfecto. Microsoft ha integrado la herramienta de seguridad PREFix en la edición del sistema de equipo de su última herramienta de desarrollo Visual Studio 2005. PREFix era originalmente una conocida herramienta de análisis estático y luego fue adquirida por Microsoft. A juzgar por las tendencias de Microsoft, herramientas estáticas similares se convertirán en la corriente principal del mercado en el futuro. Para obtener más información sobre PolySpace, consulte mi otro artículo "Detección de errores en tiempo de ejecución dinámico de software integrado".