Cumplimiento de software DO-178C para la industria aeroespacial y de defensa

Los estándares de desarrollo de software críticos para la seguridad recomiendan que los fabricantes demuestren que las herramientas que utilizan para desarrollar software no generan problemas y brindan resultados correctos y predecibles.

El proceso de proporcionar dicha evidencia se conoce como calificación de la herramientaSi bien es un proceso necesario, la calificación de herramientas suele ser una actividad tediosa y que requiere mucho tiempo, y muchas organizaciones no la planifican. Para que esto sea sencillo, algunas herramientas están certificadas y tienen un historial de uso en el desarrollo de aplicaciones críticas para la seguridad.

En el caso del desarrollo de software de sistemas aerotransportados, la norma DO-330, Consideraciones sobre la calificación de herramientas de software, proporciona orientación sobre la calificación de herramientas. El objetivo es proporcionar un marco para un ciclo de vida de calificación de herramientas que incluya planificación, verificación, garantía de calidad y documentación. Existen diferentes niveles de calificación de herramientas, del 1 al 5, siendo el 5 el menos riguroso. El nivel se basa en el posible impacto de la herramienta en la seguridad del sistema.

A continuación se detallan algunos de los pasos clave involucrados en la calificación de herramientas, según DO-330.

El resultado final es una prueba en forma de documentación. El proceso de calificación descrito en DO-330 es complejo y lleva mucho tiempo. Los kits de calificación de Parasoft para pruebas C/C++ incluyen un práctico asistente de herramientas que incorpora la automatización y reduce el tiempo y el esfuerzo necesarios para la calificación de herramientas.

Herramientas precertificadas

La calificación de herramientas debe comenzar con la selección de la herramienta para garantizar que se esté utilizando una herramienta de desarrollo certificada por una organización como TOV SOD. Esto reducirá significativamente el esfuerzo en lo que respecta a la calificación de herramientas.

Prueba de Parasoft C/C++, prueba de C/C++ CT y DTP Están certificados por TOV SOD para seguridad funcional según IEC, ISO y otras normas de seguridad funcional de la industria, tanto para aplicaciones de destino integradas como basadas en host. Si bien el certificado no es suficiente para RTCA DO-178C/DO-330, demuestra un compromiso histórico de Parasoft en el suministro de productos de calidad.

Para satisfacer los requisitos de calificación de herramientas DO-330, el desarrollo de software C/C++ allana el camino para una calificación optimizada del análisis estático, las pruebas unitarias y los requisitos de cobertura para los estándares críticos de seguridad al ofrecer un kit de calificación de herramientas que automatiza el proceso de calificación de herramientas para cualquier host de desarrollo y/o ecosistema de destino.

Automatización de pruebas de calificación de herramientas

Tradicionalmente, la calificación de herramientas ha implicado una cantidad significativa de trabajo manual, pruebas y documentación para satisfacer una auditoría de certificación. Pero este proceso, que requiere mucha documentación, requiere interpretación y finalización manuales. Como resultado, consume mucho tiempo y se suma al ya pesado cronograma y presupuesto de pruebas de una organización.

Parasoft aprovecha su propia Cualificación de herramientas de automatización de pruebas de software con Kits de Calificación, que incluyen un flujo de trabajo documentado para reducir drásticamente la cantidad de esfuerzo requerido.

Beneficios de utilizar los Kits de Calificación

• Reduzca automáticamente el alcance de la calificación solo a las partes de la herramienta en uso.
• Automatizar al máximo las pruebas necesarias para la cualificación.
• Gestione cualquier prueba manual de la forma más elocuente posible e integre los resultados junto con las pruebas automatizadas.
• Genere automáticamente documentación lista para auditoría que informe exactamente qué se está calificando, ni más ni menos.

Calificar únicamente las herramientas utilizadas

No debería ser necesario realizar ningún trabajo adicional para calificar capacidades que no se hayan utilizado durante el desarrollo. Reducir el alcance de las pruebas, los informes y la documentación es una forma clave de reducir la carga de trabajo de calificación.

Por ejemplo, como parte del proceso y el kit de calificación de herramientas DO-178C/DO-330, los usuarios pueden seleccionar Parasoft C/C++test para el análisis estático del código C/C++ a fin de verificar su cumplimiento con el estándar MISRA C:2023. Luego, la herramienta selecciona solo las partes del conjunto de calificación necesarias para esta función.

Aproveche la automatización de pruebas y el análisis

Una ventaja única de las herramientas de automatización de pruebas de calificación es que se pueden utilizar para automatizar sus propias pruebas. Automatizar esto tanto como sea posible es clave para que sea lo menos complicado posible. Incluso las pruebas manuales, que son inevitables para cualquier herramienta de desarrollo, se gestionan de la forma más eficiente posible. Se proporcionan instrucciones paso a paso y los resultados se ingresan y almacenan como parte del registro de calificación.

Parasoft C/C++test recopila y almacena todos los resultados de las pruebas de cada compilación. Las pruebas se ejecutan como lo hacen para cualquier tipo de proyecto. Estos resultados se incorporan al asistente de estado de pruebas en los kits de calificación de Parasoft para proporcionar una descripción general completa de los resultados, como los que se muestran a continuación.

Gestión de defectos conocidos

Toda herramienta de desarrollo tiene errores conocidos y cualquier proveedor que venda productos para desarrollos críticos para la seguridad debe tenerlos documentados. Para lidiar con los defectos conocidos hay que hacer algo más que simplemente documentarlos.

La calificación de la herramienta requiere la prueba de que estos defectos no afectan los resultados utilizados para la verificación y validación. Para cada defecto conocido, el fabricante debe proporcionar una mitigación para cada uno de ellos y documentarlo a satisfacción del auditor certificador.

El proveedor de la herramienta tiene la obligación de automatizar al máximo el manejo de los defectos conocidos. Después de todo, el proveedor espera que los clientes se ocupen de los errores de software de terceros como parte de su carga de trabajo.

Los kits de calificación de pruebas Parasoft C/C++ incluyen un asistente para automatizar el registro de la mitigación de defectos conocidos, como se muestra en el siguiente ejemplo.

Automatización de la documentación de calificación de herramientas

El resultado final de la calificación de herramientas es documentación, y mucha documentación. Se registran y notifican todas las pruebas ejecutadas con resultados, todos los defectos conocidos con mitigación, los resultados de las pruebas manuales y las excepciones. Los kits de calificación de otros proveedores pueden ser solo documentación y, sin automatización, documentar el cumplimiento es tedioso.

En cambio, al utilizar los kits de calificación para pruebas C/C++, los documentos críticos se generan automáticamente como parte del flujo de trabajo.

En cada uno de estos documentos, solo se genera la documentación necesaria para la herramienta que se utiliza, ya que el alcance de la calificación se redujo al comienzo del proyecto. Los equipos reducen en gran medida la carga de documentación con la automatización y la reducción del alcance de la calificación.