¿Cómo funciona?
La prueba Parasoft C / C ++ utiliza un motor de análisis de código C / C ++ de última generación para analizar el código bajo prueba, crear una interpretación abstracta y aplicar un verificador C / C ++ para encontrar problemas e infracciones en el código. Se envían más de 2500 reglas diferentes con la herramienta de prueba C / C ++, que cubre las mejores prácticas generales (C ++ efectivo, C ++ moderno), estándares de la industria (AUTOSAR, MISRA *, JSF, CERT, CWE) y buscadores de errores especializados (puntero nulo desreferencia, división por cero, pérdidas de memoria y más).
Las reglas se agrupan en configuraciones predefinidas, lo que permite al usuario configurar rápidamente el análisis.
Parasoft ayuda a los usuarios a administrar los resultados de las pruebas, incluida la priorización de hallazgos, la supresión de hallazgos no deseados, la asignación de hallazgos a desarrolladores y mucho más.
El análisis estático de C y C ++ se puede realizar en el IDE (Eclipse, Visual Studio Code, Visual Studio, etc.) o en la interfaz de línea de comandos (para escenarios de automatización / integración continua). Se puede acceder a los resultados del análisis de inmediato (en el IDE o con informes HTML / PDF / XML) o se pueden agregar para su posterior procesamiento, generación de informes y análisis. El motor de inteligencia de procesos de Parasoft se integra a la perfección con otros componentes del entorno de desarrollo (es decir, sistema de gestión de control de fuente o sistema de gestión de requisitos) para ayudar a los usuarios a gestionar eficazmente los esfuerzos de desarrollo. Los usuarios pueden, por ejemplo, ver los resultados completos del análisis estático solo del código que ha cambiado entre dos compilaciones diferentes, o ver los resultados de cobertura logrados solo en el código modificado.
Para que el análisis estático y las pruebas unitarias de C / C ++ sean más fáciles de mantener, Parasoft ayuda a los usuarios a administrar los resultados de las pruebas, incluida la priorización de hallazgos, la supresión de hallazgos no deseados, la asignación de hallazgos a desarrolladores y mucho más. La personalización de las vistas de estos resultados ayuda a los equipos a centrarse en las advertencias con el mayor riesgo potencial.
El análisis estático de la prueba de Parasoft C / C ++ para C / C ++ brilla en un seguridad-funcional proceso de desarrollo, certificado por TÜV SÜD para cumplir con ISO 26262 e IEC 61508, IEC 62304 y EN 50128. Nuestro Kit de calificación con automatización adicional ayuda en la calificación de la herramienta para DO-178B / C (y otros estándares) y reduce la carga de la documentación de cumplimiento.
* “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.
