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 metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/inria-00456951
Contributor : Didier Vojtisek <>
Submitted on : Tuesday, February 16, 2010 - 10:42:34 AM
Last modification on : Tuesday, December 4, 2018 - 10:18:01 AM
Long-term archiving on : Friday, June 18, 2010 - 9:00:49 PM

File

Mottu08a.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00456951⟩

Share

Metrics

Record views

374

Files downloads

266