Poster : Comparaison de modèles filtrée pour le test de transformations de modèles - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

Poster : Comparaison de modèles filtrée pour le test de transformations de modèles

Olivier Finot
  • Fonction : Auteur
Jean-Marie Mottu
  • Fonction : Auteur
  • PersonId : 20958
  • IdHAL : mottu-jm
Gerson Sunyé

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.
Fichier non déposé

Dates et versions

hal-00920300 , version 1 (18-12-2013)

Identifiants

  • HAL Id : hal-00920300 , version 1

Citer

Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbe. Poster : Comparaison de modèles filtrée pour le test de transformations de modèles. Journées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5. ⟨hal-00920300⟩
131 Consultations
0 Téléchargements

Partager

More