Model transformation testing : oracle issue - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2008

Model transformation testing : oracle issue

Résumé

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.
Fichier principal
Vignette du fichier
Mottu08a.pdf (124.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00456951 , version 1 (16-02-2010)

Identifiants

  • HAL Id : inria-00456951 , version 1

Citer

Jean-Marie Mottu, Benoit Baudry, Yves Le Traon. Model transformation testing : oracle issue. MoDeVVa workshop colocated with ICST'08, 2008, Lillehammer, Norway, Norway. ⟨inria-00456951⟩
218 Consultations
334 Téléchargements

Partager

More