Parasoft optimiza el cumplimiento y los informes de AUTOSAR, lo que permite a las organizaciones alcanzar de manera eficiente los niveles requeridos de seguridad en los sistemas integrados

Las nuevas características centradas en el cumplimiento de la prueba Parasoft C / C ++ se exhibirán en Embedded World 2019

Núremberg, Alemania y Monrovia, California – Parasoft, líder mundial en pruebas de software automatizadas, anunció hoy la última versión de Parasoft C/C++test, su solución unificada de pruebas de desarrollo en C y C++ para aplicaciones embebidas. La versión 10.4.2 de Parasoft C/C++test continúa con el enfoque reciente del producto en reducir la carga manual del cumplimiento de los estándares de codificación y proporcionar la solución más completa para probar código C y C++ moderno. Con esta versión, Parasoft C/C++test presenta la solución de pruebas más completa del sector para cumplir con AUTOSAR C++ y abordar los desafíos del desarrollo de software crítico para la seguridad en C++.

Para solicitar una prueba gratuita del conjunto de herramientas de prueba de software automatizadas de Parasoft para C y C++, visite: https://www.parasoft.com/products/parasoft-c-ctest/

Los consorcios AUTOSAR y MISRA anunciaron recientemente la fusión de sus estándares para C ++ en un único estándar industrial, lo que convierte a AUTOSAR C ++ en el conjunto más importante de pautas de codificación para el desarrollo crítico de seguridad con C ++. La prueba Parasoft C / C ++ ahora ofrece un conjunto de reglas empaquetado de verificadores de estándares de codificación de seguridad y automotrices, junto con informes de cumplimiento dedicados, lo que ayuda a las organizaciones automotrices a lograr los niveles requeridos de seguridad en sus sistemas. La prueba de Parasoft C / C ++ ya viene equipada con soporte completo para estándares de seguridad como CERT C, CERT C ++, UL 2900 y MISRA, y esto ahora se ha aumentado con el mejor soporte de su clase para la última edición de AUTOSAR C ++ 14 pautas de codificación.

La oferta única de Parasoft para el estándar AUTOSAR C ++ incluye una colección de verificadores de análisis estáticos agrupados en una configuración de prueba lista para usar y un módulo de informes de cumplimiento dedicado, que facilita el proceso de cumplimiento y genera automáticamente la documentación requerida por los oficiales de seguridad y auditores independientes. reduciendo significativamente la sobrecarga manual de las actividades de cumplimiento.

«Los equipos de desarrollo de software más innovadores del sector de sistemas embebidos están utilizando cada vez más el lenguaje C++ moderno en sus diseños críticos para la seguridad. La reciente actualización importante del estándar de codificación AUTOSAR C++, junto con su fusión con MISRA, se centra en estos equipos de desarrollo», afirmó Miroslaw Zielinski, director de producto de pruebas C/C++ de Parasoft. «Con nuestro último lanzamiento, Parasoft refuerza su liderazgo en el mercado del cumplimiento de estándares de codificación, complementando su solución integral de seguridad con la solución más completa para el desarrollo en C++ de aplicaciones críticas para la seguridad».

Además de las actualizaciones específicas para el estándar de codificación AUTOSAR C ++, la nueva versión de la prueba Parasoft C / C ++ aumentó varios flujos de trabajo de desarrollo para el cumplimiento, con nuevas capacidades que incluyen:

• Soporte mejorado para métricas de cobertura de código a nivel de aplicación:
  Esta versión incluye una integración simplificada con sistemas de compilación y mejoras en el módulo de cobertura de prueba de Parasoft C / C ++, para respaldar mejor el análisis de cobertura avanzado requerido por los estándares de seguridad, como cobertura de sucursales, cobertura de llamadas y cobertura MC / DC.
• Rendimiento mejorado para sistemas de compilación avanzados:
  El motor de análisis estático responsable de monitorear el cumplimiento de las reglas basadas en patrones ahora está optimizado para reducir el tiempo de análisis, como respuesta al tamaño creciente de las bases de código y al uso cada vez mayor de sistemas de compilación avanzados como Bazel, que utilizan en gran medida el almacenamiento en caché y un enfoque incremental para la creación de código fuente.

Para obtener más información sobre el análisis estático de Parasoft, visite https://www.parasoft.com/solutions/static-code-analysis

«MISRA», «MISRA C» y el logotipo triangular son marcas registradas de The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Todos los derechos reservados.