IBM Rhapsody y Parasoft

Ofrezca código compatible y de alta calidad con la prueba C/C++

El desarrollo basado en modelos de Rhapsody se centra en el diseño y la arquitectura del sistema en desarrollo. Durante el proceso de generación de código de Rhapsody, el complemento de prueba C/C++ de Parasoft analizará automáticamente el código generado automáticamente y encontrará defectos y vulnerabilidades de codificación que las pruebas basadas en modelos no pueden. Esto garantiza que los problemas de generación de código se solucionen y se integren en el modelo y/o en la generación automática de código de Rhapsody. Nuestro flujo de trabajo automatizado y combinado reduce la mano de obra, acorta el tiempo de comercialización y garantiza la entrega de código que sea confiable, seguro y cumpla con los estándares de codificación de la industria.

Prueba C/C++ e integración de IBM Rhapsody

¿Qué hace la prueba C/C++?

El perfil de análisis estático de prueba de Parasoft C/C++ se conecta directamente al IDE de IBM Rational Rhapsody. El código C o C++ se escanea durante el proceso de generación y compilación del código de Rhapsody. Se realiza un análisis para garantizar el cumplimiento de estándares de codificación como MISRA C/C++, AUTOSAR C++ 14, CERT C/C++ y más, identificando defectos de seguridad y vulnerabilidades de codificación de seguridad.

Cómo funciona la integración de IBM Rhapsody

Instale sin problemas el perfil de prueba C/C++ en el IDE de Rhapsody. La capacidad de configurar y habilitar su análisis estático está disponible a través de un menú dentro del proyecto Rhapsody.

• Habilite el análisis de codificación de prueba C/C++ durante la generación y compilación automática de código.
• Las infracciones de codificación procesables se enumeran dentro del IDE de Rhapsody.
• Integre informes de violaciones de código en el modelo.
• Integre documentos estándar de codificación en el modelo para facilitar el flujo de trabajo.

El análisis estático de prueba C/C++ tiene certificación TÜV SÜD.