CASO DE ESTUDIO
Carga de trabajo y tiempo reducidos para probar y documentar la calificación de la herramienta de prueba C/C++ para el cumplimiento de DO-178 C.
Obtenga comentarios continuos sobre el código en desarrollo.
Conjuntos de reglas de análisis estático personalizados para satisfacer los requisitos aeroespaciales internos.
Tiempo de lectura: 4 minutos.
Un líder en la industria aeroespacial y de defensa ha estado construyendo aviones de aviación civil y militar durante más de ochenta años. Durante este período de tiempo, evolucionaron desde la construcción de sistemas electromecánicos hasta el diseño y desarrollo de sistemas de aviación de hardware y software avanzados para varias plataformas. Durante los últimos 50 años, el grupo de aviónica ha estado cultivando una cultura de desarrollo para lograr, mantener y entregar sistemas aeronáuticos seguros y confiables.
Esta empresa líder en aviónica fabrica componentes que consisten en sistemas de actuación y control de vuelo con los más altos requisitos críticos para la seguridad. El fracaso es completamente inaceptable. Suministran sistemas a otros fabricantes de equipos originales, incluidos los fabricantes de helicópteros y aviones autónomos. La empresa se especializa en la creación de sistemas de aviónica compatibles con DO-178C para la seguridad y el conocimiento de la situación de las aeronaves, la gestión de radio y audio, la adquisición de datos y los sistemas informáticos de a bordo. Además, construyen sensores de temperatura y vibración.
Saltar a la sección
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Í >>
La empresa enfrentó dos desafíos principales relacionados con los estándares de codificación.
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.
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 MISRA 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:
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:
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.
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.
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.
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.
Descubra cómo su equipo de desarrollo de software de aviónica puede aprovechar una solución de prueba unificada para optimizar múltiples tecnologías de prueba automatizadas y maximizar el ROI de las pruebas. Descargar el whitepaper.
“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.
Reciba las últimas noticias y recursos sobre pruebas de software en su bandeja de entrada.
