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

4.5 Critère de couverture de modèles AltaRica par des tests 123
Ici donc, ce critère n’implique pas la couverture du critère de couverture sur les décisions. En
particulier, on pourra couvrir les conditions en assurant une décision évaluée à vrai. Dans
ce cas là, le dépliage peut se faire en deux cas : « C 1 = vrai ∧ C 2 = faux » et « C 1 =
faux ∧ C 2 = vrai ». D’une manière générale et si p désigne le nombre de conditions de
la décision, le nombre de cas du dépliage sera majoré par « 2 × p ». Dans la suite, nous
n’utiliserons pas ce critère au profit du suivant.
Dépliage N° 3 : Dépliage pour critère de couverture sur les conditions et les décisions
Nous regroupons ici les deux critères précédents et souhaitons couvrir à la fois les décisions
et les conditions. Pour cela et pour la disjonction C 1 ∨ C 2 , le dépliage se fera en trois cas :
– C 1 = vrai ;
– C 2 = vrai ;
– (¬ C 1 ∧ ¬ C 2 ) = vrai.
Les deux premiers cas assurent que les conditions et la décision ont été évaluées à vrai. Le
dernier évalue les conditions et la décision à faux.
Dépliage N° 4 : Dépliage pour critère de couverture MC/DC
Pour satisfaire le critère de couverture MC/DC, on cherche à s’assurer que chaque condition
influe de manière indépendante sur la valeur de la décision. Ainsi, le dépliage de la disjonction
C 1 ∨ C 2 conduira à traiter trois cas :
– (C 1 ∧ ¬ C 2 ) = vrai ;
– (¬ C 1 ∧ C 2 ) = vrai ;
– (¬ C 1 ∧ ¬ C 2 ) = vrai.
Dépliage N° 5 : Dépliage pour critère de couverture des conditions multiples
Ce dépliage consiste à envisager toutes les combinaisons possibles des conditions de l’expression
considérée. Ainsi, le dépliage de la disjonction C 1 ∨ C 2 se fera en quatre cas :
– (C 1 ∧ C 2 ) = vrai ;
– (C 1 ∧ ¬ C 2 ) = vrai ;
– (¬ C 1 ∧ C 2 ) = vrai ;
– (¬ C 1 ∧ ¬ C 2 ) = vrai.
Ainsi, nous obtenons un dépliage d’une expression qui est fonction du critère de test souhaité.
En activant l’expression suivant les différents cas présentés, on est assuré de couvrir les critères
correspondants. Remarquons que si les cas permettent d’assurer la satisfaction du critère, il ne
constituent pas une condition nécessaire (i.e. le critère peut être satisfait avec un nombre inférieur
de cas à celui obtenu ici).
Exemple : Si l’expression est plus complexe, le dépliage sera obtenu par dépliage successif
de cette expression. Par exemple, en dépliant l’expression « a ∨ (b ∧ c) » (a, b et c désignant
des conditions) de façon à satisfaire le critère MC/DC (dépliage N°4), l’opération consistera en
plusieurs étapes successives :