Seminario web bajo demanda destacado: Acelere el cumplimiento del software con IA Míralo ahora >>
El software de aviónica requiere absoluta seguridad y confiabilidad. Durante más de 30 años, Parasoft ha estado ayudando a las organizaciones a cumplir con estándares rigurosos a través de las mejores prácticas requeridas como pruebas unitarias, cobertura de código estructural, cobertura de código objeto, métricas de software, análisis de código estático e informes de trazabilidad de requisitos. En la aviación civil, las organizaciones confían en DO-178C (para sistemas aeroespaciales comerciales basados en software) y DO-278 (para comunicaciones, navegación, vigilancia y sistemas basados en software de gestión del tráfico aéreo). En las industrias militar y de defensa, donde no existen especificaciones de certificación estrictas, algunas organizaciones se ofrecen voluntariamente para adaptar los estándares DO-178/278 como un camino comprobado hacia la seguridad y protección suficientes para el software creado. Parasoft proporciona una solución integrada para ayudar a las organizaciones a cumplir con las rigurosas Estándares DO-178.
La seguridad se está convirtiendo en un problema serio para la aviónica aeroespacial y de defensa. La amenaza de interferencia maliciosa en el software de un avión en vuelo es un escenario real, que los equipos de desarrollo deben predecir y prevenir en una época marcada por el terrorismo. La solución centrada en la seguridad de Parasoft permite a los equipos obtener la retroalimentación crítica necesaria para garantizar que se entregue al mercado un software sólido y seguro.
Para hacer frente a la creciente complejidad de los sistemas de aviónica, las organizaciones pueden utilizar estándares de codificación para garantizar la creación de un código seguro y protegido, junto con el desarrollo de software adicional y las prácticas de prueba impuestas por los estándares regulatorios utilizados en la industria aeroespacial y de defensa. Parasoft ayuda a los equipos con estas técnicas necesarias, como el desarrollo basado en modelos, las pruebas basadas en requisitos, las pruebas unitarias y de integración, y el monitoreo de la cobertura de código o ensamblado / código objeto.
Seguir todas las recomendaciones de los estándares regulatorios requiere un marco compuesto por múltiples herramientas de software que pueden intercambiar información, por ejemplo, para preparar informes y documentación. En lugar de intentar integrar varias herramientas de software independientes, lo que a menudo se convierte en una pesadilla y consume un tiempo precioso que podría emplearse en el desarrollo de productos básicos, las organizaciones pueden aprovechar las herramientas unificadas de la prueba Parasoft C / C ++, que se creó con el panorama más amplio en mente. La prueba Parasoft C / C ++ está lista para ser implementada en los proyectos más complejos.
El cumplimiento del software para aeronaves comienza con los estándares de ingeniería de software y las mejores prácticas, complementados con especificaciones para la certificación de aeronaves. La prueba Parasoft C / C ++ es un conjunto de herramientas integrado para el desarrollo y las pruebas de C y C ++ que admite una amplia gama de mejores prácticas que han demostrado mejorar la seguridad y confiabilidad del software en aviónica.
La prueba de Parasoft C / C ++ automatiza el análisis estático de C y C ++ y las pruebas de unidades / componentes en el host y el destino con una cobertura de código completa que admite múltiples niveles de DO-178B / C. El análisis estático incluye soporte integrado para todos los estándares populares utilizados en software de aviación, como Misra C y JSF AV C ++.
Parasoft ayuda a las organizaciones a cumplir con DO-178B / C, que requiere explícitamente que el código fuente creado se ajuste a los estándares del código de software (DO-178C, 5.3.2.b). Todas las organizaciones que deseen cumplir con DO-178C deben demostrar el cumplimiento de los estándares del código.
Con este fin, la prueba Parasoft C / C ++ ayuda a los equipos a lograr el cumplimiento de múltiples estándares de codificación y mejorar la calidad del código. La prueba de Parasoft C / C ++ proporciona un conjunto de verificadores integrados (reglas) para verificar el cumplimiento de estándares como JSF, MISRA C 2012, MISRA C ++ 2008, AUTOSAR C ++ 14 y HIC ++.
“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.
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.
Reduzca el costo de desarrollar software de alta calidad, sin sacrificar el tiempo de comercialización.
En lugar de múltiples soluciones fragmentadas, la prueba Parasoft C / C ++ satisface múltiples metodologías de prueba de software requeridas por DO-178C, incluida la cobertura de código objeto. La amplitud de la solución de Parasoft se traduce en un menor esfuerzo de aprendizaje y configuración, en el que los desarrolladores no tienen que aprender varias herramientas y pueden concentrarse en sus actividades principales. Los integradores de herramientas o los arquitectos también se benefician, ahorrando el tiempo necesario para implementar interfaces entre herramientas para intercambiar datos o generar informes uniformes.
El sofisticado sistema de informes y análisis de Parasoft se integra con todo el conjunto de herramientas de prueba para la integración de datos en todo el equipo, informes convenientes y análisis avanzados. El motor de inteligencia de procesos de Parasoft agrega información relevante de diferentes fuentes, como código fuente, sistemas de administración de requisitos, herramientas de prueba y ALM, para proporcionar análisis de datos superiores que ayudan a los equipos a enfocar sus esfuerzos de la manera más productiva y aumentar la productividad al monitorear las tendencias en el desarrollo. proceso.
La prueba Parasoft C / C ++ es compatible con un kit de calificación dedicado DO-178C que cumple con las especificaciones estándar para el proceso de calificación de la herramienta. En lugar de simplemente proporcionar soporte de calificación en forma de colección de casos de prueba y plantillas para scripts e informes, que requieren mucha personalización, la Herramienta de soporte de calificación automatizada de Parasoft guía a los usuarios a través de todos los pasos necesarios para calificar la herramienta y automatiza la mayoría. del tedioso trabajo manual requerido para calificar la herramienta. Esto incluye ejecutar los casos de prueba del exhaustivo conjunto de pruebas proporcionado, así como generar los informes finales necesarios para documentar el proceso de calificación.
