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

136 Chapitre 4. Processus pour la validation de modèle AltaRica
l’expression peut être systématisé en appliquant de manière itérative les dépliages définis en section
4.5.1.2. Le dépliage pertinent étant obtenu, la création des drapeaux, leurs initialisations et
l’écriture des transitions sont triviales.
4.7.3 Retours sur la phase de simulation
D’une manière générale et pour les travaux futurs, l’automatisation de la phase de simulation
des scénarios de test présente plusieurs axes de travail.
Le premier besoin se situe au niveau de la simulation à proprement parler. Pour l’instant,
les cas d’études restent « scolaires » et le processus reste manuel. En particulier, la génération de
tests se fait à partir de la spécification du modèle AltaRica (e.g. d’un diagramme états-transitions)
et la simulation est réalisée par l’analyste sur le modèle AltaRica. Une amélioration utile serait
d’écrire, de manière automatique, ce jeu de tests sous forme de séquences directement lisibles par
le simulateur AltaRica (par exemple, par l’outil Cecilia TM OCAS). Ainsi, l’analyste n’aurait plus
besoin de simuler « à la main » chacun des évènements composant les différents scénarios de test.
Le second besoin se situe dans l’observation des drapeaux activés lors de la simulation. En
effet, après chacune des simulations, il est nécessaire de regarder quels drapeaux ont été activés
par le scénario et de remplir la table de traçabilité (section 4.7.1). Avant de lancer une nouvelle
simulation (i.e. avant de simuler un nouveau scénario de test), le modèle est réinitialisé et avec lui,
l’ensemble des drapeaux. L’opération est identique tout au long du jeu de tests et reste manuelle.
Il n’est donc pas possible, en l’état, de visionner de manière totalement automatique l’ensemble
des drapeaux ayant été activés par le jeu de tests. Ce besoin, combiné au précédent permettrait
une automatisation complète de la phase de simulation. Les différentes phases d’une telle approche
seraient :
– de transformer le jeu de tests en un jeu de séquences {seq 1 , seq 2 , ..., seq n } lisible par l’outil
supportant la simulation de modèle AltaRica ;
– à partir de ces séquences, d’obtenir une unique séquence ξ : seq 1 × reset × seq 2 × reset
× ... × seq n , où « reset » est une ré-initialisation du modèle (cet évènement devrait donc
être disponible) et où seq 1 × seq 2 signifie que seq 2 est simulée à la suite de seq 1 ;
– de simuler cette séquence ξ sur le modèle ;
– d’observer l’ensemble des drapeaux activés par cette séquence.
Cela permettrait d’obtenir rapidement la couverture d’un jeu de tests sur le modèle. En
contrepartie, l’observation du modèle par l’analyste à la suite de chacun des scénarios n’est plus
possible. Le processus décrit ci-dessus n’est alors pas applicable en l’état sur les outils disponibles
à l’heure actuelle. Cela ne représente que des possibilités qui devront être davantage étudiées dans
de futurs travaux.