Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Didier Vojtisek Connect in order to contact the contributor
Submitted on : Tuesday, February 16, 2010 - 10:42:34 AM
Last modification on : Tuesday, June 15, 2021 - 4:27:56 PM
Long-term archiving on: : Friday, June 18, 2010 - 9:00:49 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads