Obtenez une prise en charge complète de MISRA C 2023 dans la nouvelle version de test Parasoft C/C++. Rejoignez notre webinaire le 8 juin. S'inscrire maintenant
DO-178B et DO-178 C (appelés ED-12 B / C en Europe - référencés sur cette page comme DO-178B / C pour plus de simplicité) fournissent des conseils, utilisés par les ingénieurs en logiciel aérospatial, pour assurer la navigabilité. La norme DO-178 n'est pas explicitement prescrite dans les exigences de navigabilité de la FAA, mais c'est un élément essentiel du processus d'approbation de la FAA pour l'émission de son ordre de norme technique (TSO), donc DO-178 est considéré comme essentiel.
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.
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.
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).
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