Software

Herramientas de verificación de código: Polyspace Code Prover y Polyspace Bug Finder.

Inicio desactivadoInicio desactivadoInicio desactivadoInicio desactivadoInicio desactivado
 

MathWorks ha ampliado su familia de productos Polyspace con la presentación de dos nuevas herramientas de verificación de código: Polyspace Code Prover 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.

Polyspace Code Prover 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 Polyspace Code Prover para determinar fehacientemente dónde se producirán o no errores en tiempo real. Los resultados, codificados por color y basados en pruebas, simplifican las tareas de verificación, lo que se traduce en un proceso de desarrollo de software eficiente y de alta calidad. Asimismo, Polyspace Code Prover aprovecha la plataforma MATLAB para proporcionar acceso a los usuarios a las potentes funciones de MATLAB, tales como la robusta distribución de trabajos a clústeres de equipos, creación de scripts para automatización, visualización de resultados y generación de informes para certificación. Polyspace Code Prover incorpora la funcionalidad anteriormente disponible en Polyspace Client for C/C++ y Polyspace Server for C/C++.

Polyspace Bug Finder identifica errores de tiempo de ejecución, problemas en el flujo de datos y otros defectos presentes en software embebido. Mediante análisis estático, Polyspace Bug Finder analiza el control, el flujo de datos y el comportamiento interprocedimental del software. Puede detectar diversos defectos, tales como numéricos y de memoria, así como otros errores de programación. A diferencia de la revisión manual tradicional, Polyspace Bug Finder permite a los ingenieros identificar, cribar y corregir los defectos de código con rapidez para agilizar el proceso de desarrollo. Esta herramienta también comprueba la conformidad con estándares de reglas de código tales como MISRA y JSF++, así como con reglas personalizadas, y produce métricas sobre la calidad y la complejidad del código. Al igual que Polyspace Code Prover, Polyspace Bug Finder aprovecha la plataforma MATLAB para la distribución de trabajos a clústeres de equipos, creación de scripts y visualización de resultados. Ambos productos están integrados con Simulink para su uso con código generado automáticamente.

“Al proporcionar una solución de verificación de código exhaustiva, la familia de productos Polyspace les da a los ingenieros más confianza en la calidad y la seguridad del software embebido a lo largo de todo el proceso de desarrollo”, afirma Paul Barnard, director de marketing de Automatización de diseño en MathWorks. “Polyspace Bug Finder y Polyspace Code Prover combinan análisis estático y técnicas de verificación de código mediante métodos formales para ayudar a los ingenieros a detectar errores en etapas tempranas del proceso de diseño y demostrar que su software es seguro y está listo para su distribución.”

Polyspace Code Prover y Polyspace Bug Finder ya están disponibles.

Más información o presupuesto

Articulos Electrónica Relacionados

Redes Sociales

Edicion Revista Impresa

1ww   

Para recibir la edición impresa o en PDF durante 1 año (10 ediciones)

Suscripción papel: 180,00.- €  (IVA inc.)

Suscripción PDF: 60,00.- € (IVA inc)

Noticias Populares Electrónica

Más funciones del SLC Energy Manager y la APP Equinox

El SLC Energy Manager incorpora desde ahora un lazo de control de sobretensiones para líneas débiles, lo que posibilita la inyección a red sin...

Software de diseño de sistemas eléctricos y electrónicos Siemens Capital

Siemens Digital Industries Software ha anunciado hoy el lanzamiento de su nuevo software Capital™ X, la versión de Capital en versión SaaS, la suite...

Software de registro de datos y hardware CompactDAQ

Farnell Global ha anunciado el lanzamiento de su solución de adquisición de datos más reciente. Esta nueva oferta combina el hardware CompactDAQ de...

Conversión de modelos CAD en PDF 3D con PMI

CoreTechnologie ha seguido desarrollando las herramientas de software de conversión 3D_Analyzer y 3D_Evolution. Las últimas versiones del software...

Noticias Electrónica Profesional

Noticias Fuentes de Alimentación

AADvance Workbench 2.0 de Rockwell Automation ayuda a los fa

Rockwell Automation ha lanzado AADvance Workbench 2.0 para ayudar a los fabricantes a optimizar...

Actualización v.3.0 del software de sistema en el luxometro

El sistema LX-GPS de AFEISA, formado por hasta tres sondas luxométricas con captación de posición...

Advantech SUSIAccess 2.0: ahora compatible con las plataform

Advantech, proveedor de plataformas embebidas y servicios de integración, anuncia el lanzamiento...

Actualidad Electrónica Profesionales

AADvance Workbench 2.0 de Rockwell Automation ayuda a los fa

Rockwell Automation ha lanzado AADvance Workbench 2.0 para ayudar a los fabricantes a optimizar...

Actualización v.3.0 del software de sistema en el luxometro

El sistema LX-GPS de AFEISA, formado por hasta tres sondas luxométricas con captación de posición...

Advantech SUSIAccess 2.0: ahora compatible con las plataform

Advantech, proveedor de plataformas embebidas y servicios de integración, anuncia el lanzamiento...

Convertronic

Revista © Convertronic Electrónica Profesional Española.Todos los derechos reservados GM2 Publicaciones Técnicas, S.L.
Tel.: +34 91 706 56 69
Poema Sinfónico, 27. Esc B. Planta 1 Pta 5
28054 (Madrid - SPAIN)
e-mail: gm2@gm2publicacionestecnicas.com ó consultas@convertronic.net

Suscríbete a nuestro boletín de noticias

Revista Española de electrónica. Impresa desde hace más de 25 años.

España - Madrid - Todos los derechos reservados Revista © Convertronic Electrónica Profesional Española.

Search