Parasoft lanza la solución CERT C más completa del mercado

La última versión de la prueba Parasoft C / C ++ se centra en la seguridad y la seguridad funcional, con una cobertura completa de las reglas CERT C, compatibilidad con el nuevo estándar AUTOSAR C ++ 14 y mejoras en las pruebas unitarias automatizadas.

MONROVIA, California - Parasoft, líder mundial en pruebas de software automatizadas, anunció hoy la última versión de Parasoft C / C ++test, la solución de prueba de desarrollo unificada de C y C ++ para aplicaciones empresariales e integradas. La nueva versión se enfoca en ayudar a los clientes con la seguridad de su código C, brindando la más amplia Instituto de Ingeniería de Software (SEI) CERT C solución al mercado, con una cobertura de análisis estático completo de las reglas del Estándar de codificación de seguridad CERT C e informes de cumplimiento dedicados. La nueva versión también incluye soporte para el estándar de codificación AUTOSAR C ++ 14, un nuevo enfoque para las configuraciones de stubs, informes mejorados de pruebas unitarias para el cumplimiento de los estándares de seguridad y soporte para más de 20 nuevos compiladores e IDE. Para obtener más información sobre la prueba Parasoft C / C ++, visite: https://www.parasoft.com/products/parasoft-c-ctest/.

El creciente número de firmware y dispositivos de borde de IoT que se están desarrollando en C ha ampliado más que nunca las posibilidades de liberar código con vulnerabilidades de seguridad. El nuevo soporte de prueba de Parasoft C / C ++ para CERT C ayuda a las organizaciones a detectar vulnerabilidades de seguridad en su código y administrar el proceso para lograr el cumplimiento del estándar. Esto significa la alta precisión de los verificadores de código, el bajo nivel de falsas alarmas y la elaboración de informes de cumplimiento sofisticados de conformidad con el estándar CERT C, para ayudar a minimizar los costos y gastos generales relacionados.

“Ampliando los sofisticados informes de cumplimiento de las pruebas de Parasoft C / C ++ que ayudan a nuestros clientes a minimizar el esfuerzo de lograr el cumplimiento, en 10.4.0 hemos agregado soporte para estándares como AUTOSAR C ++ 14, High Integrity C ++ y SEI CERT C, ”Dijo Miroslaw Zielinski, Gerente de Producto de prueba de Parasoft C / C ++. "No existe una solución comparable en el mercado que ofrezca el mismo nivel de soporte para lograr el cumplimiento de CERT C."

Además de la compatibilidad con CERT C, la nueva versión de la prueba Parasoft C / C ++ continúa enfocándose en permitir que los clientes cumplan con los requisitos impuestos por la seguridad funcional y los estándares de certificación de la industria, con otras nuevas capacidades que incluyen:

• Soporte para los estándares de codificación AUTOSAR C ++ 14 y High Integrity C ++ (HIC ++), permitiendo a los usuarios de la industria automotriz y otras industrias verificar el cumplimiento de su código C / C ++.
• Un marco de stubbing mejorado que permite a los usuarios crear rápidamente la lógica para el código stubped y compartir / reutilizar fácilmente los activos creados para una máxima flexibilidad. Este marco se suma a la sofisticada solución de prueba unitaria de pruebas de Parasoft C / C ++ que cumple con los requisitos impuestos por los estándares de seguridad funcional.
• Informes de pruebas unitarias mejorados que documentan los resultados de la ejecución de las pruebas unitarias, incluidos los detalles sobre el entorno de prueba, la configuración de la prueba y los casos de prueba ejecutados, que normalmente se requieren durante las auditorías de código para el cumplimiento de estándares como IEC 61508, ISO 26262 y DO 178B, para demostrar que los requisitos del sistema la implementación es correcta.