Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
108 Chapitre 4. Processus <strong>pour</strong> <strong>la</strong> <strong>validation</strong> <strong>de</strong> modèle AltaRica<br />
Système réel<br />
Validation expert<br />
Spécification du modèle<br />
AltaRica<br />
Modèle AltaRica<br />
Jeu <strong>de</strong> tests<br />
Simu<strong>la</strong>tion<br />
Oui<br />
Couverture du modèle<br />
satisfaisante ?<br />
Non<br />
Oui<br />
Sorties Modèle<br />
= ?<br />
Sorties Spécification<br />
I<strong>de</strong>ntification <strong>de</strong>s parties<br />
non encore couvertes<br />
Génération <strong>de</strong> tests<br />
supplémentaires et<br />
simu<strong>la</strong>tion<br />
Non<br />
Fin<br />
I<strong>de</strong>ntification <strong>de</strong> l’erreur<br />
Modification du modèle<br />
Figure 4.4 – Processus <strong>de</strong> <strong>validation</strong> unitaire d’un modèle AltaRica<br />
parlera <strong>de</strong> couverture <strong>de</strong> <strong>modèles</strong>. Nous définirons <strong>de</strong>s critères <strong>de</strong> couverture d’automates <strong>de</strong><br />
mo<strong>de</strong> et donc <strong>de</strong>s critères <strong>de</strong> couverture <strong>de</strong> <strong>modèles</strong> AltaRica. Ces notions seront définies dans <strong>la</strong><br />
prochaine section.<br />
Remarque : Précisons, étant donné qu’un modèle AltaRica est un automate <strong>de</strong> mo<strong>de</strong>, <strong>la</strong> correspondance<br />
entre les termes « <strong>validation</strong> <strong>de</strong> modèle AltaRica » et « <strong>validation</strong> d’automate<br />
<strong>de</strong> mo<strong>de</strong> ». Nous utiliserons au cours <strong>de</strong> cette section les <strong>de</strong>ux appel<strong>la</strong>tions<br />
selon le contexte.<br />
4.3 Vocabu<strong>la</strong>ire du test<br />
4.3.1 C’est quoi le test ?<br />
Les activités comme celles décrites au chapitre 3 ont <strong>pour</strong> objectif d’assurer <strong>la</strong> fidélité <strong>de</strong>s<br />
<strong>modèles</strong> réalisés (vis-à-vis <strong>de</strong>s systèmes qu’ils décrivent) et d’améliorer <strong>la</strong> confiance <strong>de</strong> l’utilisateur<br />
lors <strong>de</strong> l’emploi <strong>de</strong> ces <strong>modèles</strong>. Cependant, ces activités sont réalisées en amont <strong>de</strong> <strong>la</strong> phase<br />
d’implémentation et ne peuvent, à elles seules, garantir l’absence d’erreurs dans le modèle une<br />
fois cette phase effectuée.<br />
L’activité <strong>de</strong> test, décrite en détails dans [8], à un <strong>de</strong>ssein simi<strong>la</strong>ire (i.e. assurer <strong>la</strong> fidélité<br />
<strong>de</strong>s <strong>modèles</strong>, améliorer <strong>la</strong> confiance <strong>de</strong> leurs utilisateurs) mais est quant à elle réalisée à <strong>la</strong> suite <strong>de</strong><br />
l’implémentation. Cette activité, fondée sur <strong>la</strong> simu<strong>la</strong>tion d’un modèle, s’intéresse alors à détecter<br />
les différences entre <strong>de</strong>s résultats prédits (<strong>de</strong>s résultats attendus) et les résultats réellement fournis