¿Cómo Funciona?
Los estándares de seguridad funcional exigen numerosas prácticas de prueba para el proceso de verificación y validación del software. La implementación del proceso V&V de acuerdo con las funciones de seguridad puede representar un desafío significativo debido a la cantidad de tecnologías de prueba diferentes que deben ser orquestadas, por lo que la prueba Parasoft C / C ++ simplifica este requisito al proporcionar todo lo que necesita para probar su C y C ++ código en una solución integrada con certificación TÜV SÜD.
La solución de Parasoft para software de seguridad crítica proporciona una combinación única de características que ayudan a los usuarios a abordar todos los requisitos de prueba principales impuestos por las funciones de seguridad con un esfuerzo mínimo. En lugar de gastar recursos en implementar, integrar y mantener soluciones independientes, los usuarios de Parasoft pueden dedicar más tiempo a entregar proyectos seguros y de alta calidad.
Por ejemplo, la prueba Parasoft C / C ++ permite a los desarrolladores realizar análisis de código estático para varios estándares de codificación (como Misra, CERT, AUTOSAR, CWE, JSF, y más), pruebas unitarias y pruebas de nivel de sistemas con inyección de fallas y monitoreo de cobertura de código (declaración, rama, MC / DC, llamada, etc.), sin salir de su IDE. Los resultados de las pruebas se pueden revisar inmediatamente dentro del entorno de desarrollo del usuario o en un panel de informes centralizado, donde se realizan análisis avanzados de los datos de prueba agregados.
La prueba Parasoft C / C ++ incluye integraciones dedicadas con entornos de desarrollo de software y hardware integrados líderes, como Arm Development Studio, TI Code Composer, Wind River Workbench, Green Hills Software Multi y muchos otros. Estas integraciones respaldan la ejecución de pruebas en simuladores o hardware de destino para aumentar la confiabilidad y fidelidad de los resultados de las pruebas, lo cual es necesario para cumplir con los niveles y estándares de integridad de seguridad funcional.
Parasoft reduce en gran medida el riesgo y el esfuerzo necesarios para la calificación de herramientas. Además de poder aplicar la certificación TÜV (cuando corresponda), los usuarios se benefician de una automatización adicional al realizar la calificación de la herramienta proceso, utilizando los kits de calificación dedicados de Parasoft, que guían a los usuarios a través de todos los pasos importantes del procedimiento y automatizan la mayor parte del tedioso trabajo manual que normalmente se requiere.