Las pruebas impulsadas por IA ahora son más inteligentes. Descubra SOAtest 2025.1. >>
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 puedan 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 dedicarse a desarrollar productos principales, las organizaciones pueden aprovechar las herramientas unificadas de Parasoft C/C++test y C/C++test CT. que se construyen teniendo en cuenta el panorama más amplio. Las soluciones de prueba de Parasoft C/C++ están listas para implementarse 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 y las mejores prácticas de ingeniería de software, complementados con especificaciones para la certificación de aeronaves. La prueba Parasoft C/C++ y la prueba C/C++ CT para el desarrollo y las pruebas de C y C++ respaldan una amplia gama de mejores prácticas que han demostrado mejorar la seguridad y confiabilidad del software en aviónica.
Las soluciones de prueba de Parasoft C/C++ automatizan 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 integral 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, Parasoft C/C++test y C/C++test CT satisfacen 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 esfuerzo reducido de aprendizaje y configuración, en el que los desarrolladores no tienen que aprender varias herramientas y pueden centrarse en sus actividades principales. Los integradores de herramientas o los arquitectos también se benefician, ya que ahorran el tiempo que de otro modo sería 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 herramientas. En lugar de simplemente brindar soporte de calificación en forma de una 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 la ejecución de los casos de prueba del conjunto de pruebas exhaustivo proporcionado, así como la generación de los informes finales necesarios para documentar el proceso de calificación. El kit de calificación de Parasoft C/C++test CT está en desarrollo.
“Parasoft C/C++test se ha convertido en la base para la seguridad orientada
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
Recursos de aviación civil
Alcance sus objetivos de calidad y seguridad de software en todo momento.