L'agence fédérale respecte la norme rigoureuse DO-178C avec une solution de test automatisée unifiée

Le projet

Une partie du système d'aide à la navigation aérienne repose sur des systèmes embarqués développés avec le langage de programmation C et en conformité avec RTCA DO-178C. Certaines parties du système sont développées pour concevoir le niveau d'assurance (DAL) B et d'autres parties pour DAL D. Dans de nombreux cas, les exigences de validation et de vérification incluent des tests rigoureux et la mesure de la couverture de code obtenue pendant les tests. Le DO-178C nécessite un niveau de couverture approprié. L'enregistrement des résultats des tests et la couverture sont des artefacts de développement importants.

L'agence fédérale et son entrepreneur principal étaient aux prises avec un ancien système de couverture de code qui était incompatible avec les exigences modernes du système d'aide à la navigation aérienne et la conformité à la réglementation dont ils avaient besoin. De plus, le manque d'intégration entre les différents outils de développement et de test provoquait des retards et des efforts accrus pour se mettre en conformité.

L'approche

L'agence fédérale avait besoin de trouver une solution moderne de test et de mesure de la couverture de code mise à jour qui fonctionnerait avec le système d'exploitation Wind River VxWorks et au sein de l'IDE Wind River Workbench.

Le maître d'œuvre du système d'aide à la navigation aérienne était déjà utilisateur du test Parasoft C/C++. L'agence fédérale a adopté le produit de cette relation. Cela a satisfait leur besoin d'une solution d'analyse statique moderne et a résolu leurs problèmes de tests unitaires et de couverture de code. La solution unifiée fournie par Parasoft était une alternative intéressante à leurs outils hérités.

La solution

Le groupe de développement du système d'aide à la navigation aérienne a choisi le test Parasoft C/C++ pour effectuer les opérations suivantes :

• Couverture du relevé
• Couverture des codes de succursale et MC/DC
• Analyse statique
• Tests unitaires

Le groupe utilise la solution unifiée au niveau du poste de travail dans son IDE, où les ingénieurs peuvent effectuer les opérations suivantes :

• Vérifiez le code et apportez des modifications.
• Exécutez une analyse statique.
• Traiter tout écart-type de codage.

"Parasoft C/C++test nous a fourni toutes les solutions d'automatisation des tests logiciels dont nous avions besoin dans un seul package pour nous aider à satisfaire à la conformité DO-178C pour une très grande base de code."

—Brenton Graefe, ingénieur logiciel

Le groupe de développement utilise Parasoft DTP pour héberger les configurations de test et fournir un statut à l'échelle du projet à partir des tests, de la couverture et de la conformité aux normes de codage. Dans ce cas, ils suivent une norme MISRA C augmentée.

Les Résultats

La solution de test logiciel automatisé Parasoft fournit des niveaux macro et micro de détails sur l'état des tests et les résultats du système d'aide à la navigation aérienne qu'auparavant. La couverture détaillée du code de Parasoft C/C++test donne au groupe les informations qui lui manquaient avec son ancien outil.

À l'aide de Parasoft DTP, le groupe peut visualiser l'ensemble du processus du cycle de vie du développement logiciel et déterminer à un niveau élevé ce dont il a besoin en matière de test.

Le niveau d'automatisation des tests dans le projet a considérablement augmenté depuis l'adoption de la solution Parasoft. En conséquence, il y a une réduction du temps nécessaire pour tester le code. Il y a aussi une diminution de la main-d'œuvre et des coûts.

« MISRA », « MISRA C » et le logo triangulaire sont des marques déposées de The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Tous droits réservés.