Obtenga compatibilidad completa con MISRA C 2023 en la nueva versión de prueba de Parasoft C/C++. Únase a nuestro seminario web el 8 de junio.
DO-178B y DO-178 C (referidos como ED-12 B / C en Europa - referidos en esta página como DO-178B / C para simplificar) proporcionan orientación, utilizada por ingenieros de software aeroespacial, para garantizar la aeronavegabilidad. El estándar DO-178 no es un mandato explícito en los requisitos de aeronavegabilidad de la FAA, pero es un componente crítico del proceso de aprobación de la FAA para emitir su Orden de estándar técnico (TSO), por lo que el DO-178 se considera esencial.
Parasoft C / C ++test ayuda a los usuarios a reducir el costo de lograr el cumplimiento mediante la automatización de los métodos de prueba de software requeridos por el estándar. La solución de Parasoft incluye análisis estático, análisis de métricas, pruebas unitarias, cobertura de código y cobertura de objeto / ensamblaje, proporcionando a los equipos una forma práctica de prevenir, exponer y corregir errores en sus sistemas de seguridad funcional.
Desarrollar software compatible con DO-178B / C para sistemas aerotransportados no es tarea fácil, pero Parasoft ayuda a aliviar la carga, ofreciendo una amplia gama de herramientas de verificación y prueba de desarrollo (análisis de cumplimiento de estándares de codificación, análisis de flujo de control y datos, pruebas unitarias, aplicaciones monitoreo, componentes de flujo de trabajo y más).
Las funciones de prueba de Parasoft C / C ++, los contextos configurables y los mecanismos de informes proporcionan a los equipos de desarrollo de software herramientas comprobadas que les ayudan a lograr el cumplimiento de DO-178B / C. Los usuarios de prueba de Parasoft C / C ++ pueden reducir el costo de lograr el cumplimiento de DO-178B / C ahorrando tiempo con metodologías de prueba de software avanzadas. Los informes y paneles generados automáticamente brindan a los equipos una forma práctica de prevenir, exponer y corregir errores en su software, y preparar la documentación requerida para las auditorías con la ayuda de la calificación automatizada de herramientas.
La Herramienta de cobertura de ensamblaje de Parasoft (ASMTool) satisface las recomendaciones del Código de objeto ejecutable establecidas por DO-178B / C Nivel A. Con poco esfuerzo, ASMTool puede generar informes de cobertura estructural a partir del Código de objeto ejecutable. La cobertura estructural se informa con una visión fácilmente revisable del código generado por el compilador que no se puede rastrear directamente a las declaraciones del código fuente. También realiza un seguimiento de las declaraciones de conmutación, lo que proporciona una visión completa de las rutas de ejecución de la prueba en el nivel de instrucción del lenguaje de máquina.
ASMTool también admite la recopilación de cobertura estructural tanto del proceso de integración de software (pruebas de hardware de destino) como del entorno de desarrollo de escritorio (Parasoft C / C ++test para pruebas unitarias).
Parasoft ayuda a aliviar la carga del cumplimiento al ofrecer una solución integrada para automatizar los procesos de verificación y validación de software y las tareas de calidad del software especificadas en DO-178B / C. Lea este documento para conocer esta forma práctica de prevenir, exponer y corregir errores utilizando la prueba Parasoft C / C ++.
Descargar