Méthodes pour la validation de modèles formels pour la ... - ISAE

4.2 Processus de validation du modèle AltaRica 107
Système réel
Jeu de tests
Modèle AltaRica
Simulation
Oui
Couverture du modèle
satisfaisante ?
Non
Oui
Sorties Modèle
= ?
Sorties attendues
Identification des parties
non encore couvertes
Génération de tests
supplémentaires et
simulation
Non
Fin
Identification de l’erreur
Modification du modèle
Figure 4.3 – Processus général de validation d’un modèle AltaRica
– générer des tests supplémentaires pour activer les parties non encore éprouvées par le jeu
de tests.
Remarquons que ce processus reste, de manière volontaire, d’assez haut niveau. En particulier
ici, il n’est fait nullement mention de l’obtention du jeu de tests. Dans cette optique et pour
rebondir sur la section 3.8, nous développerons particulièrement l’étape de validation unitaire (i.e.
la validation d’un composant élémentaire de la bibliothèque AltaRica). Pour cela et comme déjà
explicité dans cette même section 3.8, nous nous appuierons sur une représentation formelle (à
défaut semi-formelle) du comportement du composant étudié. Nous appellerons « spécification »
une telle représentation. Ainsi, la validation d’un modèle AltaRica sera transformée en un problème
classique de vérification entre une spécification et son implémentation.
4.2.3 Un processus adapté à la validation unitaire
La seule différence entre les figures 4.3 et 4.4 vient alors de l’étape consistant à obtenir un
jeu de tests : pour la validation unitaire, il pourra être généré grâce à la spécification obtenue
suite à la phase de modélisation (Chapitre 3).
Notons également à ce stade que ne sera pas étudiée dans ce mémoire la génération automatique
de modèle AltaRica à partir de la spécification obtenue. D’une manière générale, il existera
un risque en cas de définition de la spécification et du modèle AltaRica par une unique personne ou
une unique équipe. Ainsi, si cette spécification est sans aucun doute une ressource fondamentale
dans la construction d’un modèle AltaRica, nous ne souhaitons pas à l’heure actuelle générer à
partir de la spécification à la fois le modèle et les jeux de tests. Pour aller plus loin, il serait même
préférable que la spécification et le modèle AltaRica soient réalisés par des personnes ou équipes
différentes.
Une fois ce jeu de tests obtenu, nous nous intéresserons à la simulation des tests sur le
modèle AltaRica et à la couverture effective de ce modèle. Nous nous intéresserons à identifier
et mesurer quelles portions du modèle ont été effectivement testées par le jeu de scénarios. On