Vérification des logiciels aérospatiaux avec VectorCAST
La certification des logiciels embarqués conformément aux normes DO-178C et ED-12C nécessite à la fois des tests basés sur les exigences et une couverture de code structurelle. La couverture requise augmente avec le niveau logiciel, pour atteindre le niveau MC/DC au niveau A. Ce livre blanc explique comment VectorCAST fournit ces preuves ainsi que les artefacts qu’un projet de certification doit présenter.
Contenu du livre blanc
- Mettez en correspondance chaque objectif de vérification des normes DO-178C et ED-12C avec une fonctionnalité de VectorCAST
- Élaborer des cas de test de fonctionnement normal et de robustesse à partir des exigences
- Démontrer une couverture structurelle de niveau A, y compris MC/DC
- Vérifier les données et contrôler les couplages entre les composants
- Réutiliser la couverture d’essai d’une phase à l’autre afin de réduire les tâches redondantes de bas niveau
- Valider VectorCAST en vue de la certification à l’aide de la matrice TQL et du kit de qualification
Niveaux logiciels et couverture structurelle
La norme DO-178C, publiée en Europe sous la référence EUROCAE ED-12C, définit les lignes directrices auxquelles se réfèrent les organismes d’avionique et les autorités de certification telles que la FAA, l’AESA et Transports Canada pour homologuer les logiciels embarqués. Une évaluation de la sûreté de fonctionnement du système détermine le niveau du logiciel, et chaque niveau est assorti de son propre objectif de couverture structurelle. Les niveaux A à C sont présentés ci-dessous ; les niveaux D et E ne comportent aucun objectif de couverture structurelle et concernent des conditions de défaillance mineures ainsi que des logiciels n’ayant aucune incidence sur l’aéronef ou l’équipage.
Niveau A
Condition de défaillance catastrophique
Couverture structurelle
Déclaration, décision et MC/DC
Niveau B
Condition de défaillance dangereuse
Couverture structurelle
Exposé des faits et décision
Niveau C
Condition de défaillance majeure
Couverture structurelle
Déclaration
Dans quels cas VectorCAST est-il indiqué ?
VectorCAST/C++ et VectorCAST/Ada automatisent les tests unitaires et d'intégration du code source C, C++ et Ada, en générant et en compilant automatiquement les stubs de test et les programmes pilotes. VectorCAST/QA recueille les données de couverture lors des tests fonctionnels ou système. Requirements Gateway relie les exigences aux cas de test, tandis que le Runtime Support Package étend l’exécution aux cibles embarquées et aux simulateurs. VectorCAST/Timing ajoute une analyse du timing dans le pire des cas, en calculant le timing à partir des données d’exécution mesurées afin de produire les preuves statistiques sur lesquelles repose un dossier de Sûreté de Fonctionnement.
Les tests sont indépendants du code source ; ainsi, les mêmes cas de test s’exécutent aussi bien sur l’hôte que sur un simulateur ou sur la cible. Lorsqu’une application est transférée vers un nouveau processeur ou un nouveau compilateur, le mécanisme de régression reconstruit les harnais de test et réexécute les tests existants dans le nouvel environnement.
Qualification de l'outil VectorCAST
Les normes DO-178C et ED-12C exigent la qualification d'un outil lorsque celui-ci automatise ou réduit un processus de vérification et que ses résultats ne font pas l'objet d'une vérification indépendante. VectorCAST assure la validation des exigences de bas niveau et génère des rapports de couverture ; il doit donc être qualifié. Vector propose un kit de qualification prêt à l'emploi, adapté à chaque projet. Ce livre blanc présente les niveaux de critères, la matrice des niveaux de qualification des outils et le contenu du kit de qualification.
Téléchargez le livre blanc
Consultez le compte rendu complet, comprenant les rapports de couverture, la matrice de qualification et des exemples détaillés, le tout dans un seul document.
Utilisation de VectorCAST pour la vérification logicielle selon la norme DO-178C
Livre blanc VectorCAST
Version 4.0 | Octobre 2026
