Model transformation testing : oracle issue - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

Model transformation testing : oracle issue


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : inria-00456951 , version 1


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⟩
209 View
307 Download


Gmail Facebook X LinkedIn More