384
Chapitre 18 • Conception d’un modèle
résultats? On propose trois techniques dont l’applicabilité dépend de la complexité
du modèle.
1. Restriction du domaine de valeurs du modèle
Cette technique consiste en une redéfinition des données correctes par la modification ou l’ajout des contraintes de validation des données. On cherche à renforcer ces
contraintes de manière que les données qui les satisfont produisent toujours des
résultats corrects. Nous partirons de la règle de définition d’un résultat qui est
susceptible de renvoyer la valeur erreur, et déterminerons, en remontant vers les
données, les codomaines et domaines successifs, jusqu’à obtenir les propriétés des
données qui déterminent ces ensembles de valeurs. Illustrons cette technique par la
modification du modèle ci-dessous :
Donnée
A : réel
Résultats
B : réel
C : réel
Règles
B = 2 +
C = arcsin(B-2)
A ≥ 0
Calcul des valeurs de B admissibles dans l’expression arcsin(B-2) :
-1 ≤ B-2 ≤ 1
1 ≤ B ≤ 3
En remplaçant B par sa définition, on obtient la contrainte :
1 ≤ 2 +
≤ 3
puis en réduisant :
-1 ≤
≤ 1
Étant donné le codomaine [0..max] de la fonction
, cette relation se réduit à :
0 ≤
≤ 1
puis à :
0 ≤ A-1 ≤ 1
on en déduit donc la contrainte sur A :
1 ≤ A ≤ 2
On peut alors proposer une version correcte du modèle :
A 1
–
A 1
–
A 1
–
A 1
–