Seminario web destacado: Presentación de la prueba CT de Parasoft C/C++ para pruebas continuas y excelencia en el cumplimiento | Vea ahora

Noticias

La versión 2023 de MISRA C++ refuerza la seguridad y la eficiencia con soporte completo en la prueba Parasoft C/C++

11.30.2023

La solución de pruebas C y C++ potencia el análisis estático y aumenta la productividad con MISRA C++ 2023

Noticias destacadas

  • El lanzamiento de MISRA C++ 2023 proporciona 179 pautas de codificación compatibles con C++ 17, lo que permite a los equipos de desarrollo de software cumplir con los estándares de codificación con facilidad.
  • MISRA y AUTOSAR unen fuerzas para desarrollar un estándar de codificación C++ actualizado.
  • La próxima versión de Parasoft C/C++ 2023.2 brinda soporte completo para MISRA C++ 2023, lo que exige el cumplimiento del análisis estático.

Monrovia, CA — 29 de noviembre de 2023 — Parasoft, líder mundial en soluciones de prueba de software automatizadas, anunció hoy soporte completo para MISRA C++ 2023 con el próximo lanzamiento de Parasoft C/C++test 2023.2. Programado para ser lanzado en diciembre de 2023, la solución de prueba totalmente integrada de Parasoft para el desarrollo de software C y C++ ayuda a los equipos a automatizar el análisis estático y el cumplimiento de los estándares de codificación, aumentar la productividad y acortar el tiempo de comercialización. Obtenga más información sobre cómo las soluciones de Parasoft brindan soporte completo para los requisitos de MISRA.

Parasoft contribuyó al desarrollo de MISRA C++ 2023 en un momento crítico. MISRA y AUTOSAR unieron fuerzas para definir un único estándar de codificación C++ integral para que lo aproveche la comunidad de software. MISRA C++ 2023 proporciona 179 pautas de codificación en apoyo de C++ 17, conocido formalmente como ISO/IEC 14882:2017.

Este nuevo estándar se utilizará ampliamente para guiar y evitar todos los casos de comportamiento indefinido y no especificado, con el objetivo de ofrecer aplicaciones de software C++ 17 seguras y altamente confiables.

"Como miembro activo del grupo de trabajo MISRA C++ y MISRA C, estoy muy emocionado de haber contribuido al desarrollo del nuevo estándar MISRA C++ 2023", dijo Michal Rozenau, experto en MISRA e ingeniero de software líder de proyecto en Parasoft.

El lenguaje de programación C++, utilizado internacionalmente, es muy flexible y su potencial de compatibilidad multiplataforma lo convierte en una opción popular para sistemas críticos de seguridad. Sin embargo, los estándares de codificación heredados como MISRA C++ 2008 y AUTOSAR C++ 14 no admiten las nuevas funciones de codificación de C++ 17 y marcan el código como no conforme. Las organizaciones que tienen que suprimir infracciones identificadas para las características de C++17 o que tienen que crear sus propias reglas no inspiran seguridad en sus aplicaciones y, en algunos casos, impiden que las organizaciones migren a C++17. Con el anuncio de MISRA C++ 2023, las organizaciones ahora pueden usar C++ 17 y las pautas necesarias para crear aplicaciones C++ de alta calidad. Parasoft seguirá siendo parte de los grupos de trabajo C y C++ de MISRA, contribuyendo a la evolución tanto de MISRA C++ 2023 como de MISRA C 2023.

Con Parasoft C/C++test 2023.2, los usuarios ahora tienen una solución que brinda seguridad de que su código C++ 17 es seguro, confiable y cumple con MISRA C++ 2023.

Captura de pantalla del Centro de informes de Parasoft DTP con el título a continuación: Las aplicaciones C++ son seguras cuando las organizaciones cumplen con MISRA C++ 2023 utilizando la prueba Parasoft C/C++ 2023.2.

Póngase en contacto con Parasoft para recibir información sobre el lanzamiento de MISRA C++ 2023 con soporte completo en Parasoft C/C++test 2023.3.

“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.

Sobre Parasoft

Parasoft ayuda a las organizaciones a ofrecer continuamente software de alta calidad con su plataforma de prueba de software impulsada por IA y soluciones de prueba automatizadas. Al respaldar los mercados integrados, empresariales y de IoT, las tecnologías probadas de Parasoft reducen el tiempo, el esfuerzo y el costo de entregar software seguro, confiable y compatible al integrar todo, desde análisis profundo de código y pruebas unitarias hasta pruebas de API y UI web, además de virtualización de servicios. y cobertura completa del código, en el proceso de entrega. Al reunir todo esto, el galardonado panel de análisis e informes de Parasoft proporciona una vista centralizada de la calidad, lo que permite a las organizaciones entregar con confianza y tener éxito en los ecosistemas e iniciativas de desarrollo más estratégicos de la actualidad: seguridad, aspectos críticos para la seguridad, ágiles, DevOps y pruebas continuas. .

# # #

Contactos de prensa

Para consultas de EE. UU.:

Aina-Jade Inguito

aina.inguito@parasoft.com

+1 626 383 9738

Para consultas de EMEA:

Beata Lorenzoni

beate@lorenzoni.de

+49 8122 559170