Simplifiez les flux de travail de conformité avec le nouveau test C/C++ 2024.2 et l'automatisation pilotée par l'IA | Inscrivez-vous
DO-178B / C
Conformité DO-178B / C avec Parasoft
Qu'est-ce que DO-178B / C & ED 12 B / C?
Les DO-178B et DO-178C (appelés ED-12 B/C en Europe – référencés sur cette page sous le nom de DO-178B/C pour plus de simplicité) fournissent des conseils, utilisés par les ingénieurs logiciels aérospatiaux, pour garantir la navigabilité. La norme DO-178 n'est pas explicitement mandatée dans les exigences de navigabilité de la FAA, mais elle constitue un élément essentiel du processus d'approbation de la FAA pour la délivrance de son Technical Standard Order (TSO), de sorte que la norme DO-178 est considérée comme essentielle.
Application de la conformité DO-178B / C avec l'analyse du code source, les tests unitaires et la couverture du code
Parasoft C / C ++test et C/C++test CT aident les utilisateurs à réduire le coût de mise en conformité en automatisant les méthodes de test logiciel requises par la norme. La solution de Parasoft comprend l'analyse statique, l'analyse des métriques, les tests unitaires, la couverture du code et la couverture des objets/assemblages, offrant aux équipes un moyen pratique de prévenir, d'exposer et de corriger les erreurs dans leurs systèmes de sécurité fonctionnelle.
Comment Parasoft aide à atteindre la conformité DO-178C
Développer un logiciel compatible DO-178B / C pour les systèmes aéroportés n'est pas une tâche facile, mais Parasoft permet d'alléger le fardeau, offrant une large gamme d'outils de test et de vérification de développement (analyse de conformité aux normes de codage, analyse des surveillance, composants de flux de travail, etc.).
Les fonctions de test C/C++test et C/C++test CT de Parasoft, les contextes configurables et les mécanismes de reporting fournissent aux équipes de développement de logiciels des outils éprouvés qui les aident à atteindre la conformité DO-178B/C. Avec les deux solutions, les utilisateurs sont en mesure de réduire le coût de mise en conformité DO-178B/C en gagnant du temps grâce à des méthodologies avancées de test de logiciels. Les rapports et tableaux de bord générés automatiquement offrent aux équipes un moyen pratique de prévenir, d'exposer et de corriger les erreurs dans leurs logiciels, et de préparer la documentation requise pour les audits à l'aide de la qualification automatisée des outils.
Automatiser la couverture du code d'assemblage
L'outil de couverture d'assemblage de Parasoft (ASMTool) satisfait les recommandations de code d'objet exécutable définies par DO-178B / C niveau A. Avec peu d'effort, ASMTool peut générer des rapports de couverture structurelle à partir du code d'objet exécutable. La couverture structurelle est rapportée avec un aperçu facilement révisable du code généré par le compilateur qui n'est pas directement traçable aux instructions de code source. Il suit également les instructions de commutation, fournissant un aperçu complet des chemins d'exécution des tests au niveau des instructions du langage machine.
ASMTool prend également en charge la collecte de la couverture structurelle à partir du processus d'intégration logicielle (test du matériel cible) et de l'environnement de développement de bureau (Parasoft C / C ++test pour les tests unitaires).
Développement d'un logiciel conforme DO-178C pour les systèmes embarqués
Parasoft contribue à alléger le fardeau de la conformité en proposant une solution intégrée pour automatiser les processus de vérification et de validation des logiciels et les tâches de qualité des logiciels spécifiées dans DO-178C. Lisez cet article pour en savoir plus sur cette manière pratique de prévenir, d'exposer et de corriger les erreurs à l'aide de Parasoft pour les tests C/C++.
TéléchargerAméliorez vos tests logiciels avec les solutions Parasoft.