Webinaire en vedette : MISRA C++ 2023 : tout ce que vous devez savoir | Voir le séminaire

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  aide les utilisateurs à réduire le coût de la 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-178B / C

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, les contextes configurables et les mécanismes de reporting du test Parasoft C / C ++ fournissent aux équipes de développement logiciel des outils éprouvés qui les aident à atteindre la conformité DO-178B / C. Les utilisateurs de tests Parasoft C / C ++ sont en mesure de réduire le coût de la conformité DO-178B / C en gagnant du temps grâce aux méthodologies de test logiciel avancées. 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).

Texte à gauche en caractères blancs sur fond bleu : Développement d'un logiciel conforme DO-178C pour les systèmes aéroportés. Sur la droite, un plan frontal d'un avion commercial sur la piste.
whitepaper

Développement d'un logiciel conforme DO-178C pour les systèmes embarqués

Parasoft aide à alléger le fardeau de la conformité en offrant 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-178B / C. Lisez cet article pour en savoir plus sur cette manière pratique de prévenir, d'exposer et de corriger les erreurs à l'aide du test Parasoft C / C ++.

Télécharger