Líder de la industria agiliza el flujo de trabajo y ofrece sistemas de aviónica seguros y protegidos

Vea una vista previa de la presentación de este líder en sistemas de aviónica en la Cumbre de cumplimiento y pruebas de software integrado 2021. Descubra cómo aprovecharon las tecnologías de pruebas automatizadas para ofrecer sistemas de aviónica seguros y protegidos de manera eficiente y maximizar el ROI de las pruebas.

PRESENTACIÓN COMPLETA DISPONIBLE AQUÍ >>

Los desafios

La empresa enfrentó dos desafíos principales relacionados con los estándares de codificación.

1. Incorporando un estándar de codificación para cumplir DO-178C y pasar la auditoría.
2. Encontrar una herramienta de prueba personalizable para hacer cumplir las reglas y estándares de su empresa.

Cumpliendo con DO-178C

Actualmente, la empresa debe diseñar, desarrollar y probar su sistema de control de vuelo según el estándar de proceso de aviónica más estricto, RTCA DO-178C DAL A. Parte de la fase de verificación y validación de DO-178C requiere la aplicación de análisis de código estático y el uso de una codificación estándar. El uso de un estándar de codificación para cumplir con DO-178C es vital. Incorporarlo trae desafíos.

Satisfacer a la autoridad de certificación de aviación es lo más importante. Si el sistema no pasa los requisitos de auditoría que vienen con DO-178C y recibe la certificación, entonces no se permite que se lleve a cabo la entrega del sistema. Estas obligaciones de auditoría existen para garantizar la seguridad. Verifican el cumplimiento de todos los requisitos DO-178C con pruebas que demuestran que el equipo siguió prácticas sólidas de desarrollo de software y que las pruebas se realizaron con resultados aprobados.

Prueba de estándares de codificación personalizados

La compañía de aviónica tiene sus propias mejores prácticas y altos estándares sobre cómo escribir código. Como tal, el equipo de desarrollo de software construyó e implementó sus propios estándares de codificación basados ​​en prácticas de codificación probadas acumuladas a lo largo de los años y las aumentó con estándares de la industria existentes como MIRA C e ISO C90.

La adopción de estos estándares personalizados evita las construcciones de codificación que causan comportamientos no deseados e impredecibles. También garantiza en todos los proyectos y grupos que el código sea:

• legible
• Uniforme
• Mantenible
• Comprobable
• Seguro
• Seguro
• Confiable

Con el objetivo de aumentar la eficiencia de su proceso de revisión de código, el equipo necesitaba una herramienta para automatizar y ayudar a realizar el análisis de código y la aplicación de la codificación. Otros requisitos para la herramienta incluyen:

• Cumplimiento de todas las reglas y pautas de codificación personalizadas.
• Documentación de la debida diligencia del equipo para auditorías posteriores.
• Trazabilidad, que también es requerida por DO-178C.

El desafío fue encontrar una herramienta de prueba que permitiera a la empresa personalizar las reglas y pautas de codificación. La empresa necesitaba una solución que fuera más allá de lo estándar.

El enfoque

Con la necesidad de personalizar completamente los conjuntos de reglas estándar de codificación, el líder de aviónica seleccionó la solución de prueba Parasoft C / C ++ para automatizar el análisis, las revisiones y la aplicación de las normas de codificación para su software crítico para la seguridad. Dependen del soporte de Parasoft para MISRA C, DO-178C y su propio conjunto de reglas personalizadas.

El objetivo de personalizar los estándares de codificación y automatizar las pruebas era aumentar la eficiencia general del desarrollo y hacer que el código fuera más fácil de revisar, depurar, actualizar y mantener.

La empresa también necesitaba una solución que se integrara en su proceso de desarrollo crítico para la seguridad. Integrarse sin problemas en su flujo de trabajo de desarrollo, Parasoft C / C ++test automatiza sus estándares de codificación y proceso de revisión.

Beneficios de la solución

La compañía de aviónica implementó la prueba Parasoft C / C ++ en su proceso de desarrollo de software crítico para la seguridad para producir beneficios notables.

• Proporcione comentarios continuos a los desarrolladores. Durante el desarrollo, el equipo utiliza la solución para analizar el código en desarrollo y recibe comentarios directos de los desarrolladores mientras trabajan. Obtienen información instantánea sobre el cumplimiento de estándares de codificación y la detección temprana de defectos.
• Ayude a incorporar nuevos desarrolladores. El personal nuevo puede ponerse al día con los estándares de la empresa. Los nuevos empleados pueden aprender rápidamente los estándares de codificación gracias al soporte y la retroalimentación inmediatos de las herramientas.
• Automatizar el proceso de revisión de código. La empresa automatizó las tediosas partes de su proceso de revisión de código para que el equipo pueda concentrarse en las partes de la revisión que requieren la intervención humana, como satisfacer los requisitos, el diseño y las decisiones de implementación.
• Habilite la personalización de reglas. Nuestro cliente desarrolló su propio conjunto de reglas de análisis estático para satisfacer sus requisitos específicos para sus proyectos aeroespaciales. Las capacidades de personalización de reglas de prueba de Parasoft C / C ++ fueron una característica importante para crear estas reglas.
• Prepare el software para ciclos de vida prolongados. En la industria aeronáutica, el software debe estar listo para volar durante 30 años o más. Esto significa que el mantenimiento y las actualizaciones son una consideración importante para el diseño y la implementación. Saber que su código cumple con los estándares corporativos significa que es más legible y fácil de mantener para futuros desarrolladores.
• Calificar herramientas. Los estándares críticos para la seguridad requieren que las herramientas utilizadas durante el desarrollo cumplan con los estándares de calidad implícitos en el producto que se está desarrollando. En este caso, la compañía busca calificar la prueba Parasoft C / C ++ para DO-178C, suplemento DO-330, Suplemento de consideraciones de calificación de herramientas de software. Parasoft proporciona calificación de la herramienta kits para este estándar y otros, lo que ayuda a reducir la carga de trabajo y el tiempo para realizar las pruebas y la documentación necesarias.

Los resultados

Con Parasoft C/C++test completamente integrado en su proceso de desarrollo de software, la empresa de aviónica creó un análisis de programa estático conjunto de reglas para evaluar el software de toda la empresa frente a su estándar de codificación centrado en la seguridad crítica.

Con las herramientas implementadas y el proceso incorporado como parte del flujo de trabajo de desarrollo, reciben comentarios inmediatos durante la codificación para ayudar a los desarrolladores a cumplir con los estándares personalizados y ayudar a los nuevos desarrolladores a ponerse al día.

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