Seminario web destacado: MISRA C++ 2023: todo lo que necesita saber | Vea ahora

Aviación Civil

Desarrollo y pruebas de software para la aviación civil

Herramientas de prueba de software de aviación civil de Parasoft,
Confiado por más de 30 años

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.

Abordar el desarrollo de software moderno de hoy
Desafíos en la aviación civil

Protéjase contra los riesgos de seguridad

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.

Siga las mejores prácticas de prueba y desarrollo recomendadas por la industria

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.

Reduzca la complejidad mediante el uso de una herramienta unificada

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.

Soluciones de Parasoft para la aviación civil

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/C++ y JSF AV C++.

Benefíciese del enfoque Parasoft

Reduzca el costo de desarrollar software de alta calidad, sin sacrificar el tiempo de comercialización.

Múltiples metodologías de prueba integradas en una sola herramienta

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.

Informes avanzados y
Analytics

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.

Kit de calificación dedicado
para DO-178C

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.

estrellas

"La prueba Parasoft C / C ++ se ha convertido en la base de las
desarrollo de software en Schaeffler Technologies AG y ha
estado facilitando un desarrollo y mantenimiento eficiente en tiempos
de alcance y complejidad cada vez mayores ".

- Schaeffler Tecnologías AG