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

106 Chapitre 4. Processus pour la validation de modèle AltaRica
4.2.1 Différents niveaux de validation
Pour augmenter l’efficacité de l’activité de validation, nous souhaitons détecter au plus tôt
les potentielles erreurs d’implémentation dans le modèle. Dans cette optique, nous découpons
l’approche de validation en trois phases distinctes :
– une phase de validation unitaire qui consistera à valider le comportement de chacun des
composants de la ou des bibliothèques;
– une phase de validation de l’intégration qui focalisera son objectif sur la validation des
interfaces que chaque composant possède avec son environnement (i.e. avec les autres
composants du modèle) ;
– une phase de validation système qui s’intéressera, comme son nom l’indique, au comportement
du modèle représentant le système.
Ainsi, la validation unitaire aura pour but de démontrer que chaque composant effectue
la fonction prévue et seulement cette fonction. On pourra distinguer dans cette validation la
validation de la logique interne du composant (valider les états et les transitions entre états)
et la validation des calculs réalisés par le composant (est ce que les effets des évènements sont
correctement implémentées ?). La validation de l’intégration aura pour objectif de démontrer que
les composants sont correctement interfacés les uns avec les autres. La validation système validera
le comportement du modèle complet représentant le système considéré. Une vue du processus de
validation est résumée sur la figure 4.2.
Méthodologie de modélisation
Chapitre 3
↓
Validation unitaire de la
bibliothèque AltaRica
↓
Validation de l’intégration
↓
Validation système
du modèle AltaRica
Figure 4.2 – Processus de validation haut niveau
4.2.2 Proposition de processus général
Nous décrivons dans un premier temps un processus général de validation que nous croyons
applicable aux différents niveaux de validation décrits auparavant (unitaire, intégrée et système).
Ce processus est présenté sur la figure 4.3 qui montre comment les différentes étapes se succèdent
les unes aux autres. Brièvement, la stratégie générale de l’approche consiste à :
– se doter d’un jeu de tests (i.e. d’un jeu de scénarios à simuler sur le modèle) ;
– simuler ce jeu de tests sur le modèle AltaRica et de comparer les résultats obtenus par
rapport aux résultats attendus ;
– étudier le niveau de revue des modèles atteint lors de la simulation du jeu de tests (détecter
les portions de modèle éprouvées par les tests et celles ne l’étant pas) ;