Seminario web destacado: MISRA C++ 2023: todo lo que necesita saber | Vea ahora

Noticias

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

02.26.2019

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

 

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

Para solicitar una prueba gratuita del conjunto de herramientas de prueba de software automatizado 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 en todas las industrias integradas están utilizando más del lenguaje C ++ moderno en sus diseños críticos para la seguridad, y la reciente actualización importante para el estándar de codificación AUTOSAR C ++, junto con su fusión con MISRA, se centra en estos aspectos de seguridad. equipos de desarrollo críticos ”, dijo Miroslaw Zielinski, Gerente de Producto de pruebas de Parasoft C / C ++. "Con nuestra última versión, Parasoft está fortaleciendo su liderazgo en el mercado de cumplimiento de estándares de codificación, aumentando su solución integral para la seguridad con la solución más completa para el desarrollo de C ++ crítico 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, vaya a https://www.parasoft.com/solutions/static-code-analysis

“MISRA”, “MISRA C” y el logotipo del triángulo son marcas comerciales registradas de The MISRA Consortium Limited. © The MISRA Consortium Limited, 2021. Todos los derechos reservados.