Seminario web destacado: Pruebas de API mejoradas con IA: un enfoque de prueba sin código | Vea ahora

Imagen de fondo de conectividad abstracta

DO-178B / C

Cumplimiento DO-178B / C con Parasoft

¿Qué es DO-178B / C y ED 12 B / C?

DO-178B y DO-178C (denominados ED-12 B/C en Europa; en esta página, DO-178B/C por simplicidad) proporcionan orientación, utilizada por ingenieros de software aeroespacial, para garantizar la aeronavegabilidad. El estándar DO-178 no está incluido explícitamente 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.

Cumplimiento de DO-178B / C con análisis de código fuente, pruebas unitarias y cobertura de código

Parasoft C / C ++test y C/C++test CT ayudan a los usuarios a reducir el costo de lograr el cumplimiento al automatizar 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 objetos/ensamblajes, lo que brinda a los equipos una forma práctica de prevenir, exponer y corregir errores en sus sistemas de seguridad funcional.

Gráfico de un avión volando con un rascacielos al fondo

Cómo ayuda Parasoft a lograr el cumplimiento de DO-178C

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 C/C++ y prueba C/C++ CT de Parasoft, los contextos configurables y los mecanismos de generación de informes proporcionan a los equipos de desarrollo de software herramientas comprobadas que les ayudan a lograr el cumplimiento de DO-178B/C. Con ambas soluciones, los usuarios pueden reducir el costo de lograr el cumplimiento de DO-178B/C al ahorrar tiempo con metodologías avanzadas de prueba de software. 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 de herramientas automatizadas.

 

Automatizar la cobertura del código de ensamblaje

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).

Texto a la izquierda en fuente blanca sobre fondo azul: Desarrollo de software compatible con DO-178C para sistemas aerotransportados. A la derecha hay una toma frontal de un avión comercial en la pista.
whitepaper

Desarrollo de software compatible con DO-178C para sistemas aerotransportados

Parasoft ayuda a aliviar la carga del cumplimiento al ofrecer una solución integrada para automatizar los procesos de verificación y validación del software y las tareas de calidad del software especificadas en DO-178C. Lea este documento para conocer esta forma práctica de prevenir, exponer y corregir errores utilizando Parasoft para pruebas de C/C++.

Descargar