 |
 |
 |
 |
 |
 |
 |
 |
 |
Définir/Évaluer les tests du logiciel
- Tests unitaires, d'intégration et de validation -
OBJECTIFS DE LA METHODE 
Fournir au Maître d'Œuvre les moyens, méthodes, outils pour faire réaliser, par une équipe indépendante, les Tests Unitaires, d'Intégration (logiciel/logiciel, logiciel/matériel), de Validation des logiciels intégrés dans le système dont il a la charge.
Réaliser les plans et dossiers de Tests Unitaires, d'Intégration et de Validation.
Établir le dossier justificatif de vérification des tests effectués vis-à-vis des exigences de couverture du référentiel normatif applicable au projet.
DEMARCHE
RESULTATS
- > Pour chaque revue de phase de définition :
- Fiches d’avis décrivant les erreurs, incohérences, incomplétudes des documents de définition vis-à-vis des besoins fonctionnels et des exigences de Sûreté de Fonctionnement du logiciel à tester,
- Procédures de Tests Unitaires, Plan de Tests d'Intégration, Plna de Tests de Validation,
- Jeux de tests définis à partir de la documentation selon les exigences de couverture du référentiel normatif applicable au projet (classe d'équivalence, aux limites, hors limites, pannes des équipements, …),
- Spécification des bancs de tests et des simulations de l'environnement du logiciel, nécessaires à la réalisation des Tests d'Intégration et de Validation,
- > Pour chaque revue de phase de tests :
- Fiches d'Anomalies décrivant les incomplétudes des couvertures de tests, des résultats de tests et procédures de tests appliquées.
OUTILS
Pour la détermination des jeux de tests, SURLOG utilise ses outils spécialisés qui sont des facteurs significatifs de productivité :
- AGFL® : Analyse par Graphe Fonctionnel du Logiciel, qui génère, à partir de la spécification des fonctions et des composants du logiciel, l’ensemble des chemins fonctionnels du logiciel et les jeux de tests par classes d’équivalence.
- APRLS® : Analyse Préliminaire des Logiciels de Sûreté, qui identifie, à partir du code, les composants appelés ("à bouchonner"), les graphes d'appel ("à intégrer") de chaque traitement parallèle du logiciel, les entrées (paramètres, variables globales en entrée) et les sorties (paramètres, variables globales en sortie) à tester de chaque composant.
