Vea qué solución de pruebas de API resultó ganadora en el informe GigaOm Radar. Obtenga su informe analítico gratuito >>
DO-178C
Cumplimiento de DO-178C
Satisfaga la verificación y validación de software de DO-178C con las soluciones de prueba de Parasoft C/C++. Reduzca el costo de lograr el cumplimiento de DO-178C automatizando los métodos de prueba requeridos por la norma.
DO-178C
¿Qué es DO-178C?
DO-178C Es una norma internacional que rige el desarrollo de software en sistemas y equipos aerotransportados para garantizar la seguridad funcional durante todo el ciclo de vida de los productos de aviación.
Cumplir con la norma DO-178C
Domine los requisitos de verificación DO-178C, evite fallas críticas y garantice la certificación de aeronavegabilidad para que su software aerotransportado cumpla con los más altos estándares de seguridad.
Guía para el cumplimiento de la norma DO-178C para la industria aeroespacial y de defensa
Conozca la estricta norma de seguridad funcional DO-178C. Descubra un marco completo para crear un proceso de cumplimiento estable y sostenible.
Beneficios que Parasoft aporta al DO-178C
Cumpla con los objetivos de DO-178C automatizando los métodos de verificación y validación, como revisiones de códigos, trazabilidad de requisitos, análisis estático, pruebas unitarias, cobertura de códigos y más. Reduzca los costos de desarrollo y acelere los plazos de certificación mientras mantiene el cumplimiento de la seguridad.
Análisis estático
Examine automáticamente su código fuente utilizando el potente motor de análisis de código de Parasoft para la detección temprana de posibles errores, vulnerabilidades de seguridad y estándar de codificación violaciones, sin ejecutar el código.
Cumplir con los estándares de cumplimiento DO-178C | Parasoft brinda soporte de cumplimiento para estándares de codificación generales y específicos de la aviación, garantizando aplicaciones C y C++ sólidas y confiables. |
Pruebas de seguridad de análisis estático (SAST) | Integre el cumplimiento de las reglas y pautas de codificación de seguridad de estándares como CWE, CERT, OWASP y DISA ASD STIG en sus procesos de análisis estático para garantizar una seguridad de software sólida para sistemas aéreos. |
Análisis de flujo de control | El análisis del flujo de control de Parasoft reconoce las posibles rutas de ejecución a través de un programa y cómo el control se mueve de una parte del código a otra. Esto ayuda a detectar posibles problemas relacionados con la lógica, el flujo, la estructura y más del programa. |
Análisis de flujo de datos | El análisis del flujo de datos permite detectar vulnerabilidades como variables no inicializadas, fallas de inyección y manejo inseguro de datos dentro del software de aviónica crítico. |
Recorridos y inspecciones | Mejore el análisis estático con tutoriales o el módulo de revisión de código. Diseñada para que las revisiones por pares sean más prácticas y productivas al automatizar la preparación, la notificación y el seguimiento, nuestra solución identifica automáticamente el código actualizado, lo relaciona con los revisores designados y realiza un seguimiento del progreso de cada elemento de revisión hasta su cierre. |
Pruebe de forma más inteligente con IA y ML | Parasoft incorpora inteligencia artificial y aprendizaje automático para mejorar la productividad en el flujo de trabajo de análisis estático de su equipo, marcando y priorizando las infracciones que deben corregirse primero. Si usa el editor de VS Code, aplique nuestra extensión de prueba C/C++ y aproveche el asistente de IA de Parasoft para explicar las infracciones del análisis estático y recibir sugerencias para corregirlas. |
Análisis dinámico – DO-178C
Nuestro marco integral de pruebas de software para C y C++ admite pruebas unitarias, pruebas de integración, pruebas de sistema y más. El marco automatiza la creación de pruebas e implica ejecutar el programa con varias entradas y configuraciones para detectar problemas que se manifiestan durante la ejecución.
Examen de la unidad | Aísle la unidad que se va a probar con un marco de stubbing automatizado y simulacros para validar que cada unidad funcione como se espera y para garantizar que se comporte correctamente para una variedad de entradas, incluidos los casos en los que el código dependiente no está disponible. |
Generación automatizada de casos de prueba | La generación automática de casos de prueba crea automáticamente casos de prueba, incluidos casos extremos y condiciones de error, que las pruebas escritas manualmente para código C y C++ podrían no cubrir. Esto mejora el proceso de prueba al reducir el esfuerzo manual, garantizar la coherencia y aumentar la cobertura de las pruebas. |
Cobertura del código estructural | Cumpla con todos los requisitos de cobertura de código DO-178C con el soporte de Parasoft para varios tipos de cobertura, incluidos los de declaración, rama, MC/DC y código de objeto o ensamblado. Estos tipos de cobertura y otros ayudan a garantizar la seguridad, protección y confiabilidad del código al identificar código no probado, código inactivo y defectos potenciales. |
Trazabilidad de requisitos
Automatice y garantice la trazabilidad bidireccional DO-178C entre requisitos, casos de prueba, resultados de pruebas, código fuente y revisiones de código para cumplir con los objetivos DO-178C y garantizar el cumplimiento.
Informes de cumplimiento
Realice un seguimiento automático del cumplimiento de la norma DO-178C y genere informes para demostrar el cumplimiento de estándares regulatorios y organizacionales específicos con nuestro panel de informes dinámico. También admite estrategias de informes avanzadas utilizando datos históricos, incluso para bases de código grandes y código heredado donde la visibilidad suele ser un desafío.
Incorpore análisis estático y dinámico en su flujo de trabajo de CI / CD
Nuestro análisis estático, pruebas unitarias, pruebas de regresión, cobertura de código y trazabilidad de requisitos se integran fácilmente en su flujo de trabajo de CI/CD. Los equipos también pueden integrar algunas de estas capacidades en otros marcos de prueba como GoogleTest para pruebas continuas, lo que permite la entrega de código seguro, confiable y protegido, al mismo tiempo que agiliza el cumplimiento de los estándares DO-178C.
Calificación de la herramienta
Las soluciones de pruebas de C/C++ de Parasoft incluyen kits de calificación de herramientas para validar su uso en aplicaciones críticas para la seguridad en cualquier ecosistema de desarrollo. Estos kits automatizan la evaluación de nuestras capacidades de análisis estático, pruebas unitarias y cobertura de código para garantizar que cumplan con los requisitos de cumplimiento definidos por DO-330 y DO-178C.
Soluciones para ayudar a cumplir los objetivos de DO-178C
Prueba C / C ++
C/C++test es una potente solución automatizada de pruebas de software para aplicaciones críticas de seguridad. Ofrece análisis estático, análisis dinámico, trazabilidad de requisitos y mucho más. Garantiza el cumplimiento de la norma DO-178C y se integra a la perfección con IDEs de C y C++, pipelines de CI/CD e implementaciones en contenedores para cumplir con los requisitos de verificación y validación del estándar.
Más Información
Prueba C/C++ CT
CT de pruebas C/C++, diseñado específicamente para satisfacer las exigentes exigencias de las aplicaciones críticas para la seguridad aérea, automatizando los métodos de verificación de la cobertura de código y la trazabilidad de requisitos exigidos por DO-178C y DO-326A. Se integra a la perfección con frameworks de pruebas unitarias de código abierto populares como GoogleTest, pipelines de CI/CD e implementaciones en contenedores. Además, es una excelente extensión para VS Code.
Más Información
DTP
Parasoft DTP integra los resultados de las distintas prácticas de prueba y la trazabilidad de los requisitos para garantizar el cumplimiento de la norma DO-178C. El panel de informes proporciona una monitorización inteligente y continua de los resultados de las pruebas para una mayor visibilidad de las deficiencias, así como de lo que funciona y lo que no.
Más Información
Asegurar ++
Detecte automáticamente problemas de memoria, errores de tiempo de ejecución y vulnerabilidades de seguridad como corrupción de memoria, fugas de memoria, desbordamiento / subdesbordamiento de búfer, desbordamientos de pila y visualice las asignaciones y desasignaciones de memoria con pantallas gráficas.
Más Información“La mejor herramienta de prueba de objetivo DO-178 que he probado”.
En general, la experiencia del usuario superó con creces lo que esperábamos de la competencia.
Con otras herramientas, se necesitaron SEMANAS para instrumentar correctamente nuestra base de código y extraer la cobertura del objetivo. Con Parasoft, me llevó 16 horas en dos días de trabajo y me encontré con muy pocos problemas que fueran culpa de la herramienta. Parasoft ha implementado muchas soluciones de sentido común para los problemas planteados por DO-178 y DO-330, y la gran mayoría de las veces funcionaron de inmediato sin problemas, a diferencia de cualquiera de estas otras herramientas.
- Timothy F., ingeniero de software
¿Por qué Parasoft?
Parasoft ofrece ventajas únicas para la verificación y validación de DO-178C con soluciones modernas e integrales que automatizan procesos críticos como el análisis estático y dinámico, la trazabilidad de requisitos y la cobertura de código estructural. Nuestras soluciones se integran sin problemas en los procesos de CI/CD existentes, lo que reduce el esfuerzo manual y garantiza el cumplimiento. A continuación, se muestran otras formas en las que Parasoft ayuda a los equipos de software integrado.
Integraciones dedicadas
Nuestras soluciones de pruebas C/C++ brindan integraciones dedicadas con entornos de desarrollo críticos para la seguridad como INTEGRITY-178 tuMP de Green Hills Software, Wind River VxWorks y otras soluciones certificadas. Integraciones adicionales con IDE integrados, depuradores y canales de CI/CD, admiten entornos específicos de la industria aeroespacial como Eclipse, VS Code, Green Hills MULTI, Wind River Workbench, ARM MDK, ARM DS-5, TI CCS, Visual Studio y más.
Apoyamos las prácticas de DevSecOps y garantizamos que la seguridad y el cumplimiento normativo se incorporen sin problemas al ciclo de vida del desarrollo. Estas integraciones permiten un flujo de trabajo fluido que cumple con los requisitos complejos y críticos para la seguridad del desarrollo de software aeroespacial.
Pruebas a nivel de sistema para aplicaciones aeroespaciales
Realice pruebas a nivel de sistema basadas en red, fundamentales para el desarrollo de sistemas de software aeroespacial, utilizando nuestras soluciones. Automatice las pruebas de API funcionales de extremo a extremo con la creación avanzada de pruebas en SOAtest, que admite aplicaciones con múltiples interfaces y protocolos, lo que garantiza la integridad y seguridad del sistema.
Cree integraciones antes, estabilice las dependencias y obtenga el control total de los datos de prueba con Virtualize. Como resultado, los equipos de desarrollo aeroespacial aceleran las pruebas sin esperar el acceso a los servicios o sistemas dependientes, que pueden estar incompletos o no estar disponibles durante las fases críticas de prueba.
Ahorro de tiempo y costes
Ahorre tiempo y dinero considerables utilizando nuestras soluciones de automatización de pruebas. Puede confiar en que haremos que todo sea lo menos complicado posible y le brindaremos todo el apoyo que necesite para alcanzar sus objetivos de seguridad y cumplir con la norma DO-178C. Los materiales educativos, como seminarios web, documentos técnicos y blogs, también actúan como herramientas complementarias permanentes.
Pruebas de hardware y software específicas
Aproveche SOAtest y Virtualize para realizar pruebas a nivel de sistema y basadas en red, fundamentales para los vehículos definidos por software (SDV). Automatice las pruebas de API funcionales de extremo a extremo con la creación avanzada de pruebas funcionales en SOAtest para aplicaciones con múltiples interfaces y protocolos.
Cree integraciones antes, estabilice las dependencias y obtenga el control total de los datos de prueba con Virtualize. Los equipos pueden avanzar rápidamente sin tener que esperar a tener acceso a servicios dependientes que están incompletos o no están disponibles.
Preguntas Frecuentes
Recursos relacionados
Mejore sus pruebas de software con las soluciones de Parasoft.