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

122 Chapitre 4. Processus pour la validation de modèle AltaRica
les chemins permettant de rendre vraie cette expression). Ce traitement est alors à réaliser en fonction
de l’activation souhaitée de l’expression booléenne, i.e. en fonction du critère de couverture
choisi.
Ici et inspiré de [52], nous présentons plusieurs possibilités de dépliage des disjonctions sans
toutefois en privilégier une particulière. Le principe général, illustré figure 4.7, est de déplier une
expression écrite sous FND en N cas distincts selon le critère souhaitant être couvert (N dépendant
alors du critère).
Cas 1
Expression booléenne
sous FND
...
Cas N
Figure 4.7 – Dépliage d’une expression booléenne sous FND
L’opération de dépliage fera alors apparaître des cas n’étant pas des conjonctions élémentaires.
Dans ce cas et tant que les cas identifiés lors d’un nouveau dépliage ne sont pas des
conjonctions élémentaires, on renouvèle l’opération de dépliage. Un exemple sera donné page 123.
Pour l’instant, nous nous contentons de mettre en concurrence le dépliage avec le critère qu’il
permet de couvrir et traiterons l’exemple du dépliage de l’expression « C 1 ∨ C 2 » où C 1 et C 2
sont des conjonctions élémentaires.
Remarque : Le dépliage d’une condition c conduira à la considération de deux cas : c = vrai et
c = faux.
Dépliage N° 1 : Dépliage pour critère de couverture sur les décisions
Ce premier dépliage n’en est en fait pas un ! En effet, on ne choisit pas quelle conjonction
vérifier pour activer C 1 ∨ C 2 (ce qui nous intéresse est simplement de l’activer et de ne pas
l’activer). Ainsi la disjonction C 1 ∨ C 2 conduira à traiter deux cas :
– C 1 ∨ C 2 = vrai ;
– (¬ C 1 ∧ ¬ C 2 ) = vrai.
Remarquons que ce dépliage ne dépends pas du nombre de conjonctions élémentaires présentes
dans l’expression (sous Forme Normale Disjonctive). Ainsi et quelque soit l’expression
E à déplier, le dépliage se fera en deux cas : un assurant que E a été évaluée à vrai, un
assurant que l’expression a été évaluée à faux.
Dépliage N° 2 : Dépliage pour critère de couverture sur les conditions
Ici, ce qui nous intéresse est de vérifier que chacune des conditions de la décision a été évaluée
à vrai et à faux. Couvrir la décision n’a pas d’importance ici. Ainsi pour la décision C 1 ∨
C 2 , le dépliage se fera en quatre cas :
– C 1 = vrai ;
– C 1 = faux ;
– C 2 = vrai ;
– C 2 = faux.