Polyspace

Polyspace es una herramienta de análisis de código estático para análisis a gran escala mediante interpretación abstracta , que permite detectar o demostrar la ausencia de ciertos errores de ejecución en el código fuente de los lenguajes de programación C , C++ y Ada . La herramienta también verifica que el código fuente cumpla con los estándares de codificación adecuados. ^{[ 3 ]}

Polyspace fue desarrollado originalmente por la empresa francesa PolySpace Technologies , que fue adquirida por MathWorks en 2007. ^{[ 4 ]} Posteriormente, el producto se integró en MATLAB.

Polyspace analiza el código fuente para determinar dónde podrían ocurrir posibles errores en tiempo de ejecución, como desbordamiento aritmético , desbordamiento de búfer , división por cero , entre otros. Los desarrolladores de software y los responsables de control de calidad utilizan esta información para identificar qué partes del código son defectuosas o cuáles han demostrado ser fiables. Otras partes del código se marcan para comprobaciones no probadas y merecen una revisión individual. ^{[ 5 ] [ 6 ]}

Los estándares o directrices de codificación, como MISRA C, intentan abordar la calidad, la portabilidad y la fiabilidad del código. El producto comprueba que el código fuente de C y C++ cumpla con un subconjunto de reglas de estos estándares de codificación. ^{[ 7 ]}

La familia de productos consta de Polyspace Code Prover y Polyspace Bug Finder. El módulo Code Prover anota el código fuente con un esquema de codificación por colores para indicar el estado de cada elemento del código. ^{[ 8 ]} Utiliza análisis de código estático basado en métodos formales para verificar la ejecución del programa a nivel de lenguaje. ^{[ 6 ]} La herramienta comprueba cada instrucción del código teniendo en cuenta todos los valores posibles de cada variable en cada punto del código, proporcionando un diagnóstico formal para cada operación del código tanto en condiciones de uso normales como anormales. ^{[ 9 ]}

El módulo Bug Finder identifica errores de software mediante el análisis estático del código fuente. Detecta defectos como errores de cálculo numérico, programación, memoria y otros. También genera métricas de software como la densidad de comentarios de un archivo fuente, la complejidad ciclomática, el número de líneas, parámetros, niveles de llamadas, etc., en una función, y los errores de ejecución identificados en el software. ^{[ 10 ]}

• Lista de herramientas para el análisis estático de código

• Sitio web oficial