Model transformation testing : oracle issue - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

Model transformation testing : oracle issue

(1) , (1) , (1)


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⟩
203 View
276 Download


Gmail Facebook Twitter LinkedIn More