Parasoft mejora la automatización de pruebas de software C/C++ con compatibilidad total con MISRA C:2025, nueva productividad impulsada por IA y una cobertura de seguridad más profunda.

• El soporte perfecto para el estándar MISRA C:2025 fortalece el desarrollo de software crítico para la seguridad y centrado en la protección, al tiempo que reduce la complejidad y los costos de cumplimiento.
• El asistente de documentación de IA responde preguntas centradas en tareas para acelerar la incorporación y aumentar la productividad de los desarrolladores.
• Las pruebas de seguridad de aplicaciones estáticas ampliadas con casi 70 nuevas comprobaciones CWE permiten a los desarrolladores identificar rápidamente vulnerabilidades y optimizar la seguridad general.

Monrovia, California – 17 de junio de 2025 – parasoft, líder mundial en soluciones de pruebas de software automatizadas con IA, eleva el nivel de cumplimiento de seguridad crítica con mejoras importantes en la solución insignia de pruebas estáticas y dinámicas de la compañía para desarrolladores de software C y C++.

Dado que el software crítico para la seguridad es esencial para los sistemas embebidos, desde aviones y vehículos autónomos hasta máquinas de resonancia magnética y líneas ferroviarias, el cumplimiento de las normas de seguridad más recientes es crucial. El lanzamiento de Parasoft C/C++test 2025.1 acelera el camino hacia un software más seguro y de mayor calidad, a la vez que reduce los fallos reales, los gastos de cumplimiento normativo y los costes de soporte. Como resultado, los desarrolladores pueden invertir más tiempo y energía en la programación, las pruebas y la generación de mayor valor para sus organizaciones.

“Con C/C++test 2025.1, damos un gran paso adelante para ayudar a los clientes a afrontar las crecientes exigencias de seguridad y las prácticas modernas de desarrollo de software”, afirmó Igor Kirilenko, director de producto de Parasoft. “La compatibilidad total con MISRA C:2025, una mayor cobertura de seguridad, la inversión en la certificación de GoogleTest y la integración práctica de IA reflejan el compromiso de Parasoft de ofrecer la solución más completa y vanguardista para el desarrollo de software en C y C++”.

Parasoft C/C++test 2025.1 es ideal para cumplir con los rigurosos requisitos de industrias altamente reguladas. Esta última versión permite a los equipos de ingeniería optimizar la calidad del código y adoptar una estrategia de cumplimiento normativo, según lo recomendado por la industria y grupos reguladores, como MISRA, CWE, AUTOSAR C++14 y OWASP.

Reducción de los costos operativos de cumplimiento con la compatibilidad con MISRA C:2025

MISRA C:2025 ofrece actualizaciones incrementales de MISRA C:2023, lo que reduce aún más la carga de cumplimiento al eliminar reglas obsoletas y reforzar las mejores prácticas de codificación. Además de las mejoras en la seguridad funcional, las nuevas directrices agilizan las auditorías y aclaran que el código generado por IA debe tratarse del mismo modo que el código escrito a mano. Parasoft priorizó la adhesión temprana a estas últimas directrices de MISRA para agilizar las certificaciones y auditorías, a la vez que se reduce la posibilidad de retrabajos en etapas tardías, multas regulatorias o retiradas de productos.

Entrega de respuestas rápidas con el Asistente de Documentación de IA

Parasoft también presenta un asistente de IA que facilita el acceso rápido a información crucial en la documentación de usuario y los manuales de producto de Parasoft mediante consultas sencillas y centradas en tareas. Basándose en el legado de la compañía en avances prácticos en IA, este nuevo asistente de documentación de IA está diseñado para aumentar la productividad de los desarrolladores y la usabilidad general de las pruebas de C/C++, a la vez que reduce el tiempo y el esfuerzo dedicados a la formación de nuevos usuarios en pruebas estáticas y dinámicas.

El nuevo agente de documentación de IA no solo aumenta el uso de las herramientas de pruebas estáticas y dinámicas de Parasoft, sino que también permite a los clientes optimizar su retorno de la inversión (ROI) en la automatización de pruebas de software. Esta innovación de IA complementa el agente GenAI de Parasoft, que reside en Microsoft CoPilot y se integra con Microsoft VS Code para detectar y corregir infracciones de análisis estático. Este último avance en IA refuerza el compromiso de larga data de Parasoft con la innovación en IA, apoyando a sus clientes en diferentes flujos de trabajo.

Mejora de la seguridad de las aplicaciones y simplificación del desarrollo multiestándar

Como parte de un objetivo general de mejorar la calidad del código y reducir las vulnerabilidades del software, Parasoft C/C++test 2025.1 amplió las pruebas de seguridad añadiendo casi 70 nuevas reglas de análisis estático dirigidas a las Enumeraciones de Debilidades Comunes (CWE), lo que fortalece significativamente sus capacidades de pruebas estáticas de seguridad de aplicaciones (SAST). Esta actualización mejora el cumplimiento de estándares de seguridad como ISO 21434 e IEC 62304 al identificar vulnerabilidades críticas, como corrupción de memoria y fallos lógicos, en las primeras etapas del desarrollo, cuando su solución es mucho más económica.

Además, los equipos que realizan la transición entre varios estándares de codificación o que los aplican simultáneamente, como al migrar de AUTOSAR C++14 a MISRA C++ 2023, ahora pueden evitar el costoso y frustrante proceso de volver a suprimir infracciones de reglas equivalentes. Anteriormente, un mismo problema de codificación podía reportarse con un ID de regla diferente al del nuevo estándar, lo que obligaba a los desarrolladores a suprimir manualmente las infracciones que ya habían suprimido. La nueva versión introduce la reutilización inteligente de la supresión, que detecta y aplica automáticamente las supresiones existentes en reglas equivalentes de diferentes estándares. Esto no solo preserva las inversiones previas en la clasificación y supresión de infracciones, sino que también reduce significativamente el esfuerzo manual, lo que ofrece una ventaja rentable y de ahorro de tiempo para los equipos centrados en el cumplimiento de múltiples estándares y la calidad del código.

La transición fluida a estándares actualizados y la adopción sencilla de herramientas son prioridades clave. La nueva gestión automática de supresiones permite migraciones más rápidas y sin problemas a nuevos estándares. Además, la compatibilidad ampliada con compiladores garantiza que los clientes puedan integrar fácilmente C/C++test 2025.1 en sus flujos de trabajo existentes sin preocuparse por problemas de compatibilidad.

Aceleración de las pruebas unitarias de C++ con la certificación de GoogleTest

Parasoft está reduciendo las barreras para los desarrolladores de aplicaciones críticas para la seguridad al cerrar una brecha crucial entre los marcos de prueba de código abierto y los requisitos de certificación. Una futura versión de Parasoft C/C++test CT será compatible con las funciones de GoogleTest certificadas por TÜV. Descargue el informe técnico Desafíos de adopción de GoogleTest para código crítico para la seguridad para opciones prácticas que ayuden a los equipos a equilibrar la agilidad con las demandas regulatorias.

Recursos de Apoyo

• Webinar: Todo lo que necesita saber sobre MISRA C:2025
• Podcast: Prueba 1-2-3 episodio 5, con Michal Rozenau, ingeniero líder del proyecto Parasoft y miembro del Grupo de Trabajo MISRA, abordando las nuevas pautas MISRA C:2025.

Sobre Parasoft

Parasoft ayuda a las organizaciones a entregar 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 de código profundo y pruebas unitarias hasta pruebas de API y UI web, además de virtualización de servicios y cobertura de código completa, 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, seguridad crítica, Agile, DevOps y pruebas continuas.

# # #

Comunicaciones por los medios:

Sue Hetzel/HetzelMeade Communications, en nombre de Parasoft

sue@hetzelmeade.com

760.473.4729