Desarrollo y pruebas de software para la aviación civil

La prueba Parasoft C / C ++ ayuda a las organizaciones a promover patrones de codificación seguros y lograr el cumplimiento de los estándares de codificación de seguridad. La prueba C / C ++ proporciona el conjunto más completo de verificadores (reglas) integrados del mercado para verificar el cumplimiento de estándares como CERT C, CERT C ++, UL 2900 y CWE.

La prueba Parasoft C / C ++ detecta problemas complejos similares al tiempo de ejecución al principio de la etapa de desarrollo al analizar las rutas de ejecución a través del código y encontrar posibles errores. Además de más de 2200 reglas y verificadores, Parasoft facilita a los equipos la verificación de las pautas de codificación específicas de la organización, con un editor especial para crear verificadores personalizados para extender (o reemplazar) las reglas integradas que se proporcionan con la herramienta. Con la prueba Parasoft C / C ++, los usuarios no tienen que escribir ningún script, y las pautas de codificación específicas de la organización se pueden automatizar por completo para reemplazar el proceso manual de verificación de cumplimiento.

DO-178C no enumera explícitamente las pruebas unitarias como un método de prueba obligatorio. Sin embargo, la norma requiere que se logre la cobertura de prueba de los requisitos de bajo nivel (DO-178C 6.4.4.b). En la mayoría de los casos, las pruebas unitarias son la forma más práctica de lograr este objetivo.

La prueba C / C ++ reduce el esfuerzo relacionado con la creación y el mantenimiento de casos de prueba unitaria al reducir la cantidad de secuencias de comandos necesarias y proporcionar vistas y editores gráficos convenientes para simplificar el proceso.

El diseño del marco de pruebas unitarias de pruebas de C ++ se crea teniendo en cuenta las pruebas de software críticas para la seguridad. Se pueden crear stubs y casos de prueba con valores para la estimulación del software probado como código fuente o con editores gráficos con capacidades de generación de código fuente. Los usuarios pueden almacenar y revisar los artefactos de prueba creados junto con los archivos del proyecto. La inicialización de las variables y los parámetros de entrada para la estimulación del software probado se realiza exactamente de la misma manera que durante la operación del software de producción, para un enfoque superior.

La prueba C / C ++ se puede utilizar para ejecutar pruebas unitarias en la plataforma host, el simulador de procesador de destino o en el destino integrado. Esta flexibilidad permite a los desarrolladores ejecutar pruebas con frecuencia dentro de su IDE y en la canalización de CI / CD, donde se suelen utilizar simuladores, así como con hardware real, para fines de cumplimiento con DO-178C. El arnés de prueba de Parasoft C / C ++ se optimizó para tener una sobrecarga adicional mínima para la huella binaria y los ciclos del procesador. Las integraciones dedicadas con depuradores y IDE integrados hacen que el proceso de ejecución de casos de prueba unitaria sea fluido y automatizado.

Las pruebas unitarias se vuelven mucho más fáciles y productivas si se pueden usar junto con un marco de stubbing / burla. El poderoso módulo de prueba de Parasoft C / C ++ para crear stubs y simulacros puede ayudar en la inyección de fallas o en las pruebas de robustez (DO-178C 6.4.2.2), reducir las dependencias del código probado o simplemente eliminar el código fuente aún no implementado .

DO-178C requiere explícitamente lograr la cobertura de prueba de la estructura del software (DO-178C 6.4.4.c) para cumplir con el estándar. Parasoft C / C ++test admite todas las métricas de cobertura requeridas por DO-178C (declaración, rama, MC / DC) y más (ruta, condición simple, línea, bloque, función, llamada). La herramienta presenta resultados de cobertura de código de todos los niveles de prueba, incluidas las pruebas de unidad, integración y nivel de sistema.

La prueba de Parasoft C / C ++ reduce el tiempo necesario para analizar los resultados de cobertura y encontrar las lagunas en el proceso de prueba. Los desarrolladores pueden revisar los resultados de la cobertura de código dentro del IDE con vistas dinámicas y filtrar los resultados según la métrica, la función / método o el caso de prueba específico.

La Herramienta de cobertura de ensamblaje de Parasoft (ASMTool) satisface las recomendaciones del Código de objeto ejecutable establecidas por DO-178B / C Nivel A. Con poco esfuerzo, ASMTool puede generar informes de cobertura estructural a partir del Código de objeto ejecutable. La cobertura estructural se informa con una visión fácilmente revisable del código generado por el compilador que no se puede rastrear directamente a las declaraciones del código fuente. También realiza un seguimiento de las declaraciones de conmutación, lo que proporciona una visión completa de las rutas de ejecución de la prueba en el nivel de instrucción del lenguaje de máquina.

ASMTool también admite la recopilación de cobertura estructural tanto del proceso de integración de software (pruebas de hardware de destino) como del entorno de desarrollo de escritorio (Parasoft C / C ++test para pruebas unitarias).

Los informes de trazabilidad de requisitos de prueba de Parasoft C / C ++ ayudan a las organizaciones a cumplir con DO-178C, que enumera explícitamente las pruebas basadas en requisitos como un objetivo (DO-178C 6.4.4.1). Parasoft se integra con el sistema de gestión de requisitos del equipo para proporcionar informes de trazabilidad que muestran la correlación entre los requisitos y la
siguientes:

● Código fuente creado para implementar estos requisitos.
● Casos de prueba creados para probar los requisitos.
● Resultados de pruebas ejecutadas y resultados de cobertura de código.

Los informes de trazabilidad brindan información clara y completa sobre el progreso del desarrollo, y los equipos pueden determinar fácilmente cuántos requisitos ya se implementaron y cuán exhaustivamente se probaron.

DO-178C presenta 5 niveles de software (SL) A a E. El nivel de software para un sistema se determina durante el proceso de evaluación de seguridad, en función de la condición de falla que puede resultar del comportamiento anómalo del software. El nivel de software A representa el nivel más estricto con las prácticas más rigurosas requeridas en el desarrollo y las pruebas de software aeroespacial.

Para respaldar la calificación de la herramienta como se describe en DO-178C / DO-330, la prueba Parasoft C / C ++ es compatible con un Kit de calificación dedicado, que automatiza el proceso de calificación de la herramienta, guiando a los usuarios a través de todos los pasos necesarios para realizar la calificación y producir documentación necesaria. Una herramienta de soporte de calificación dedicada automatiza la mayor parte del tedioso trabajo manual requerido para calificar la herramienta, incluida la ejecución de los casos de prueba del exhaustivo conjunto de pruebas proporcionado y la generación de los informes finales necesarios para documentar el proceso de calificación.