¡Somos nominados al premio Embedded Award 2026 Tools y nos encantaría recibir su apoyo! Vota por C/C++test CT >>
Aviación Civil
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 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.
Reduzca el costo de desarrollar software de alta calidad, sin sacrificar el tiempo de comercialización.
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.
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 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.
“La prueba de Parasoft C / C ++ es ahora una parte integral de nuestras actividades críticas de desarrollo de software. Su integración en nuestro proceso de desarrollo de software resultó en una producción más eficiente de código de software con un rendimiento significativamente mayor. Para mantener nuestros niveles de calidad y eficiencia de producción actuales, prevemos que la solución proporcionada debe permanecer en nuestro arsenal de herramientas de software. Está previsto utilizar la solución también para el desarrollo de aplicaciones menos críticas ".
- Peter Matthijs, arquitecto de software de aviónica
