Soluciones para la industria ferroviaria

Alcance el cumplimiento del código utilizando la prueba Parasoft C / C ++ para estándares de codificación de seguridad. Proporciona un conjunto de verificadores integrados (reglas) para verificar el cumplimiento de los estándares CERT C, CERT C ++, CWE, OWASP y más. Estos estándares detectan problemas complejos similares al tiempo de ejecución al principio de la etapa de desarrollo sin la necesidad de ejecutar costosas pruebas de tiempo de ejecución. Ayudan a los usuarios a identificar vulnerabilidades de seguridad y construcciones de codificación inadecuadas y a comprender áreas de riesgo particular.

Cumpla con el cumplimiento del código y mejore la calidad del código con la prueba Parasoft C / C ++, que ofrece un soporte más completo que cualquier otro proveedor de herramientas para estándares de codificación como MISRA C 2012, MISRA C ++ 2008, AUTOSAR C ++ 14, HIC ++ y otros. Las organizaciones pueden reducir el costo de satisfacer el proceso de cumplimiento con la prueba C / C ++. Nuestra herramienta de pruebas de desarrollo proporciona informes de cumplimiento dedicados que permiten una vista dinámica del proceso de cumplimiento y el análisis de las infracciones en función de agrupaciones y categorizaciones del estándar original. Parasoft también proporciona herramientas para generar automáticamente la documentación necesaria para demostrar el 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.

Diseñado para ingenieros integrados que tienen en mente las pruebas de software críticas para la seguridad, las funciones de prueba unitaria de Parasoft C / C ++ incluyen un potente marco de trabajo de stubbing y C burlarse. Los ingenieros integrados pueden crear casos de prueba como código fuente para un control completo o automáticamente con un editor gráfico para obtener cobertura de código estructural para declaraciones, ramas, MC / DC y código objeto. Estas capacidades son fáciles de usar, lo que reduce la carga de implementar el marco de pruebas unitarias y mejora la productividad de los desarrolladores.

Parasoft se integra con herramientas de gestión de requisitos como codeBeamer, Polarion y CollabNet VersionOne para realizar los casos de prueba y proporcionar resultados de verificación de prueba. Esta integración completa la matriz de trazabilidad y ayuda a satisfacer el cumplimiento de los estándares del proceso. El conjunto de herramientas de Parasoft proporciona informes de trazabilidad y muestra las dependencias entre los requisitos y los artefactos, que incluyen:

• Casos de prueba
• Código fuente
• Resultados de la ejecución del caso de prueba
• Resultados de cobertura de código
• Resultados del análisis estático

La prueba Parasoft C / C ++ está certificada por TÜV SÜD para su uso en el desarrollo de software crítico para la seguridad. Para proyectos con un mayor nivel de riesgo, puede automatizar una parte importante del proceso de calificación de la herramienta con el kit de calificación de prueba de Parasoft C / C ++. Una guía de soporte de calificación dedicada proporciona todos los pasos necesarios para calificar la herramienta y automatizar la mayor parte del tedioso trabajo manual. Eso incluye ejecutar los casos de prueba del exhaustivo conjunto de pruebas proporcionado junto con el Kit de calificación y generar los informes finales necesarios para documentar el proceso de calificación dirigido a la norma EN 50128.