Les solutions de Vector Software pour l'avionique et la DO-178B
Une sécurité à toute épreuve, même à 10 000 mètres d'altitude
La sécurité des passagers à bord d'un aéronef dépend énormément du bon fonctionnement des logiciels de bord. C'est pourquoi les organismes gouvernementaux comme la FAA (l'agence américaine de l'aéronautique) ont développé la norme DO-178B en concertation avec l'industrie. Toutefois, la certification de ces logiciels peut être très coûteux, car elle oblige les organisation à démontrer que leur code source répond à toutes les exigences du système, ce qui requiert de nombreux tests approfondis. Plus particulièrement, elles doivent démontrer l'absence de sections de code dont on ne peut justifier la présence, et qui pourraient donc avoir un effet indéfini durant l'exécution du logiciel.
La principale métrique utilisée afin d'évaluer si suffisamment de tests ont été exécutés est l'analyse de couverture logicielle. Celle-ci vise à démontrer que toutes les parties du code que l'on veut certifier ont été dûment exécutées par au moins un test démontrant qu'une exigence est bel et bien remplie. Pour une description plus complète des exigences de la DO-178B en ce qui a trait à la couverture logicielle, veuillez suivre ce lien.
Comment VectorCAST peut vous venir en aide
Le test structurel tel que défini par la DO-178B compotyr des tests de haut niveau et de bas niveau, ainsi que l'évaluation de la couverture de code que ces tests génèrent. Dans plusieurs cas, les tests de haut niveau (tels que le test système) sont effectués en premier. Durant de tels tests, VectorCAST/Cover peut-être utilisé afin de calculer le taux de couverture de code achevé durant le test. L'expérience démontre toutefois qu'il n'est pas possible d'atteindre une couverture pleine et entière durant le test système ou fonctionnel. Un taux variant entre 60% et 70% de couverture est beaucoup plus réaliste.
Cependant, il est possible d'utiliser des techniques de test unitaire et d'intégration afin d'exécuter les 30% à 40% du code toujours non testé. Le test unitaire requiert la présence d'un pilote de test et d'un nombre variable de bouchons afin d'isoler certaines fonctions de l'application et de les stimuler à l'aide de jeux de test de bas niveau. Ceux-ci sont utilisés en conjonction avec le test système afin de tester l'ensemble du code et d'ainsi pouvoir certifier le code à la norme DO-178B.
Les outils de test unitaire et d'intégration VectorCAST pour C/C++ et VectorCAST pour Ada sont idéal à cette fin. Les données de couverture achevées durant leur utilisation peuvent être facilement ajoutées à la couverture déjà réalisée durant le test système. Les rapports s'appuyant sur cette combinaison montrent alors la couverture totale qui a été effectuée.
Test sur processeur cible
Dans la plupart des cas, toutes les activités de test décrites ci-dessus doivent être exécutées sur une cible physique, ou beaucoup plus rarement sur simulateur. Dans le cas du test unitaire et d'intégration, le module VectorCAST/RSP rend la chose facile. Chaque module RSP est spécifique à un certain compilateur croisé et processeur cible donné, et automatisent entièrement le processus de test unitaire ou d'intégration effectué avec VectorCAST/C++ ou VectorCAST/Ada.
Lier jeux de test et exigences logicielles
L'outil VectorCAST/Requirements Gateway vous permet d'intégrer VectorCAST à un outil de gestion des exigences logicielles tel que DOORS, vous permettant ainsi de lier les jeux de test aux exigences logicielles et à sauvegarder les résultats des tests dans la base de données des exigences.
Tests de non-régression automatiques
Le code source utilisé dans le cadre de projets DO-178B demeure ordinairement en service pendant des décennies. Par contre, la norme DO-178B oblige les organisations à re-tester et re-certifier les nouvelles versions d'un même code, d'où un besoin criant pour des outils qui peuvent automatiser les tests de non-régression. VectorCAST/Manage pousse la logique encore plus loin on vous donnant un point d'accès central à tous vos environnements de test pour un projet donné. Vous pouvez donc facilement ré-exécuter vos tests déjà préparés et générer des rapports complets durant toute la durée du cycle de vie de l'application.
Qualification
La norme DO-178B précise également que la qualification d'un outil logiciel est nécessairement quand des activités prescrites par la DO-178B sont éliminées, réduites ou automatisées par un outil sans que les résultats générés par cet outil ne soient contre-vérifiés. Des kits de qualification DO-178B sont disponibles pour tous les produits VectorCAST. Les outils VectorCAST ont été qualifiés et utilisés pour la certification de plus de 50 projets DO-178B en avionique, ce qui inclut bon nombre de système de niveau A. Pour une description complète des étapes menant à la création d'un kit de qualification, veuillez visiter ce lien.
Étude de cas