 |
 |
 |
 |
 |
 |
 |
 |
 |
Vérifier la couverture des tests du logiciel
OBJECTIFS DE LA METHODE 
Aider le maître d'ouvrage, l'exploitant ou l'évaluateur d'un système comportant du logiciel, à vérifier la couverture fonctionnelle des Tests Unitaires, d'Intégration et de Validation et leur complétude vis-à-vis des exigences de sûreté.
Identifier, par utilisation de l’outil AGFL® (Analyse par Graphe Fonctionnel du Logiciel), les scénarios de tests fonctionnels, de robustesse, de tolérance aux fautes et de tests par injection de fautes, qui doivent compléter les dossiers de tests pour aboutir à une couverture de type "classe d'équivalence".
"Classe d'équivalence" : La partition du domaine d'entrée d'un programme, de telle sorte qu'un test utilisant une valeur représentative d'une classe est équivalent à un test utilisant une autre valeur de cette classe. (Source : norme DO 178 B).
DEMARCHE
RESULTATS
- Description, pour le constituant modélisé (composant, sous-système ou système) de l'ensemble de ses chemins fonctionnels :
=>> conditions d'accès aux chemins (relation d'ordre fonction des entrées et des mémoires du constituant)
=>> affectation sur les sorties (sorties fonction des entrées et des mémoires du constituant), - Représentation matricielle synthétique de l'ensemble des tests par classes d'équivalence à réaliser,,
- Évaluation de la couverture par classes d'équivalence atteinte par les tests réalisés,,
- Identification des scénarios de tests par classes d'équivalence manquants pour obtenir la couverture des chemins fonctionels.
