Únase a nosotros el 30 de abril: Presentación de la prueba CT de Parasoft C/C++ para pruebas continuas y excelencia en el cumplimiento | Regístrese ahora
Casos de éxito
La agencia federal cumple con el riguroso estándar DO-178C con una solución de prueba automatizada unificada
-
Solución integrada y unificada para cumplir con el riguroso estándar DO-178C.
-
Mayor productividad con automatización basada en host e integrada basada en objetivos.
-
Reducción de la cantidad de tiempo, costo y mano de obra para probar el código.
Tiempo de lectura: 3 minutos.
Saltar a la sección
General
Una agencia federal desarrolla un sistema de ayuda a la navegación aérea para la industria de la aviación para aumentar el sistema de posicionamiento global (GPS) con el objetivo de mejorar su precisión y disponibilidad. Por sí solo, el GPS no está diseñado para medir la ubicación exacta. La implementación del sistema de ayuda a la navegación aérea permite realizar aproximaciones precisas como el despegue y el aterrizaje. El sistema utiliza estaciones de referencia terrestres para transmitir mensajes de corrección para mejorar la precisión del GPS.
Saltar a la sección
El Desafío
Parte del sistema de ayudas a la navegación aérea se basa en sistemas embebidos desarrollados con lenguaje de programación C y en cumplimiento con RTCA DO-178C. Algunas partes del sistema se desarrollan para diseñar el nivel de garantía (DAL) B y otras partes para DAL D. En muchos casos, los requisitos de validación y verificación incluyen pruebas y mediciones rigurosas de la cobertura del código lograda durante las pruebas. DO-178C requiere un nivel adecuado de cobertura. El registro de los resultados de las pruebas y la cobertura son artefactos de desarrollo importantes.
La agencia federal y su contratista principal estaban luchando con un sistema de cobertura de código heredado que era incompatible con los requisitos modernos del sistema de ayuda a la navegación aérea y el cumplimiento de la normativa que requerían. Además, la falta de integración entre las diversas herramientas de desarrollo y prueba estaba causando demoras y un mayor esfuerzo para lograr el cumplimiento.
El enfoque
La agencia federal necesitaba encontrar una solución de medición de cobertura de código y prueba moderna actualizada que funcionara con el sistema operativo Wind River VxWorks y dentro del IDE de Wind River Workbench.
El contratista principal del sistema de ayuda a la navegación aérea ya era usuario de prueba de Parasoft C/C++. La agencia federal adoptó el producto de esta relación. Esto satisfizo su necesidad de una solución moderna de análisis estático y resolvió sus problemas de cobertura de código y pruebas unitarias. La solución unificada proporcionada por Parasoft fue una alternativa atractiva a sus herramientas heredadas.
La Solución
El grupo de desarrollo del sistema de ayuda a la navegación aérea eligió Parasoft C/C++test para realizar lo siguiente:
- Declaración de cobertura
- Cobertura de código de rama y MC/DC
- Análisis estático
- Prueba unitaria
El grupo usa la solución unificada a nivel de escritorio dentro de su IDE, donde los ingenieros pueden hacer lo siguiente:
- Consulte el código y realice modificaciones.
- Ejecute un análisis estático.
- Aborde cualquier desviación estándar de codificación.
“Parasoft C/C++test nos brindó todas las soluciones de automatización de pruebas de software que necesitábamos en un solo paquete para ayudarnos a satisfacer el cumplimiento de DO-178C para una base de código muy grande”.
—Brenton Graefe, ingeniero de software
El grupo de desarrollo utiliza Parasoft DTP para albergar configuraciones de prueba y proporcionar el estado de todo el proyecto desde el cumplimiento de los estándares de prueba, cobertura y codificación. En este caso, siguen un estándar basado en MISRA C aumentado.
Los resultados
La solución de pruebas de software automatizadas de Parasoft proporciona niveles macro y micro de detalles sobre el estado de las pruebas y los resultados del sistema de ayuda a la navegación aérea de lo que era posible anteriormente. La cobertura detallada del código de Parasoft C/C++test brinda al grupo la información que les faltaba con su herramienta heredada.
Usando Parasoft DTP, el grupo puede ver todo el proceso del ciclo de vida del desarrollo de software y determinar a un alto nivel lo que necesitan de las pruebas.
El nivel de automatización de pruebas en el proyecto ha aumentado dramáticamente desde que se adoptó la solución de Parasoft. Como resultado, hay una reducción en la cantidad de tiempo que lleva probar el código. También hay una disminución en mano de obra y costos.
Vea de primera mano el valor de utilizar una solución de pruebas C/C++ unificada.
“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.
- Industria: Gobierno; Aeroespacial
- Tamaño de la empresa: 35,000+
- Ubicación: Washington DC
- Solución: Prueba C / C ++
