Poster : Comparaison de modèles filtrée pour le test de transformations de modèles
Résumé
Dans l'Ingénierie Dirigée par les Modèles, le traitement des modèles est réalisé automatiquement par des transformations. Nous nous intéressons au test de ces transformations de modèles et ici à la définition d'oracles qui analysent les modèles de sortie pour vérifier leur correction par rapport à la spécification. Une difficulté est que la spécification d'une transformation peut accepter plusieurs versions différentes du même modèle de sortie. Nous considérons ici l'oracle pour le test de ces transformations aux sorties polymorphes. Jusqu'à présent, il faut soit définir l'ensemble des modèles possibles en sortie de transformation, travail rendu difficile par la complexité de ces modèles, soit décomposer la vérification d'un modèle en vérifications de ses propriétés, communes ou non aux différentes variantes. Nous proposons dans cet article une méthode permettant de n'utiliser qu'un seul oracle. Elle consiste à comparer le modèle de sortie obtenu et un seul des modèles de sortie possibles, puis à filtrer le résultat de la comparaison. Par ce filtrage, nous obtenons un verdict en excluant du résultat de la comparaison les éléments non communs aux variantes du modèle. Finalement, nous étudions comment vérifier la partie non commune du modèle de sortie obtenu.