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

4.6 Implémentation des critères de couverture 131
L’idée générale est de créer des « drapeaux » sous forme de variables d’état flag_t_i dans
le modèle AltaRica. Ces drapeaux seront initialisés à la valeur faux et changeront de valeur dans
les assignations des transitions (i.e. dans la partie droite de la transition). Ainsi, une transition
quelconque « garde(s, f in ) |− e → s ′ » deviendra « garde(s, f in ) |− e → s ′ , flag_t_i := true ».
Observer la valeur de flag_t_i nous permettra de savoir si la transition associée a été éprouvée
ou non par un scénario de test. Le nombre de drapeaux dépend alors du nombre de transitions
initialement implémentées et du critère choisi (i.e. de l’objectif des tests à réaliser).
La figure 4.8 se veut reprendre le principe général de cette phase d’insertion des drapeaux.
Une fois l’ensemble des drapeaux créé, le jeu de tests est alors simulé sur le modèle. À la fin de
chaque test, la valeur des drapeaux est observée et on trace la correspondance entre le test et les
drapeaux qu’il active (i.e. les transitions qu’il franchit). Ainsi, il y aura autant d’observations que
de tests.
Modèle AltaRica
Choix du critère de
couverture
Écriture des transitions
sous Forme Normale
Disjonctive
Dépliage des transitions
suivant le critère choisi
Création et insertions des
drapeaux flag_t_i dans
chacune des transitions
Simulation du jeu de tests
+ Observation des
drapeaux activés après
chaque test
Figure 4.8 – Observation de la satisfaction des critères de couverture sur les transitions
Dans ce qui suit, nous présentons deux applications se voulant servir d’exemples à l’approche.
Le principe restera similaire lors de l’application d’autres critères de couverture.
4.6.1.2 Application 1 : Critère de couverture simple d’une transition
Si le critère choisi est le critère de couverture simple (section 4.5.3.2), notre objectif est de
franchir au moins une fois chaque transition codée dans le modèle. Pour rappel, le dépliage effectué
est en fait une absence de dépliage puisque l’on souhaite uniquement tester le franchissement de
la transition sans s’intéresser à la façon dont doit se faire ce franchissement. Nous définissons ainsi
un drapeau flag_t_i par transition implémentée par l’analyste dans le modèle.