Model transformation testing : oracle issue

Jean-Marie Mottu 1 Benoit Baudry 1 Yves Le Traon 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The definition of an oracle function for model transformation is challenging because of the very complex nature of models resulting from a transformation. Validating the correctness of an output model requires checking a large number of properties on the structure and semantics of this model. The oracle function can thus be very complex if it checks every property. In this paper, we identify and discuss important issues that must be tackled to define model transformation testing oracles. We also propose several oracle functions and analyze how they take advantage of different model driven engineering techniques.
Type de document :
Communication dans un congrès
MoDeVVa workshop colocated with ICST'08, 2008, Lillehammer, Norway, Norway. 2008
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00456951
Contributeur : Didier Vojtisek <>
Soumis le : mardi 16 février 2010 - 10:42:34
Dernière modification le : mercredi 11 avril 2018 - 01:54:26
Document(s) archivé(s) le : vendredi 18 juin 2010 - 21:00:49

Fichier

Mottu08a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00456951, version 1

Citation

Jean-Marie Mottu, Benoit Baudry, Yves Le Traon. Model transformation testing : oracle issue. MoDeVVa workshop colocated with ICST'08, 2008, Lillehammer, Norway, Norway. 2008. 〈inria-00456951〉

Partager

Métriques

Consultations de la notice

249

Téléchargements de fichiers

160