menú responsive
ESPAÑA |
-/5 | 0 votos

CodeProver y Bug Finder

MathWorks presenta nuevos productos de verificación de código Polyspace

company mathworks

04/10/2013

(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

Contenido gratuito disponible para suscriptores

 

Si todavía no se ha suscrito, pinche aquí, el registro es totalmente gratuito. En caso contrario, introduzca sus datos:

© Information & Design Solutions, S.L. Todos los derechos reservados. Este artículo no puede ser fotocopiado ni reproducido por cualquier otro medio sin licencia otorgada por la empresa editora. Queda prohibida la reproducción pública de este artículo, en todo o en parte, por cualquier medio, sin permiso expreso y por escrito de la empresa editora.

SÍGUENOS EN

APPS

ENVÍO DE LA NOTICIA A UN AMIGO
Correo electrónico
Tu nombre
Mensaje