(Infodefensa.com) Madrid MathWorks ha ampliado su familia de productos Polyspace con la presentación de dos nuevas herramientas de verificación de código: PolyspaceCodeProver y Polyspace Bug Finder.

Disponibles con la versión 2013b de la empresa, estos productos ofrecen prestaciones de verificación de extremo a extremo para su uso en etapas tempranas del desarrollo y abarcan la localización de errores, la comprobación de reglas de codificación y la demostración de la ausencia de errores en tiempo de ejecución. Estas prestaciones garantizan la robustez del software embebido que deba funcionar con los niveles más altos de calidad y seguridad, explican desde la compañía.

PolyspaceCodeProver es una herramienta de verificación basada en métodos formales que demuestra que el código es correcto. Los ingenieros responsables de la seguridad y certificación de su código pueden servirse de ella para determinar fehacientemente dónde se producirán o no errores en tiempo real. Los resultados, codificados por color y basados en