Vea cómo integrar fácilmente el análisis estático, las pruebas unitarias y otros métodos de prueba de software C y C++ en su canalización de CI/CD. Regístrese para la demostración >>

TESTIMONIOS

La agencia federal cumple con el riguroso estándar DO-178C con una solución de prueba automatizada unificada

Tiempo de leer: 2 minutos

Descargar PDF "

La agencia federal cumple con el riguroso estándar DO-178C con una solución de prueba automatizada unificada

BAJADA DE PRECIO

Hora de probar el código

DISMINUIDO

Costes laborales

AUMENTADO

Productividad

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.

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.

DAR EL SIGUIENTE PASO

Solicitar una demostración para ver de primera mano el valor de usar una solución de prueba unificada de C/C++.

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