Towards Dependable Model Transformations: Qualifying Input Test Data

Franck Fleurey 1, 2 Benoit Baudry 1 Pierre-Alain Muller 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 : Model transformation is a core mechanism for model-driven engineering (MDE). Writing complex model transformations is error-prone, and efficient testing techniques are required as for any complex program development. Testing a model transformation is typically performed by checking the results of the transformation applied to a set of input models. While it is fairly easy to provide some input models, it is difficult to qualify the relevance of these models for testing. In this paper, we propose a set of rules and a framework to assess the quality of given input models for testing a given transformation. Furthermore, the framework identifies missing model elements in input models and assists the user in improving these models.
Document type :
Journal articles
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/inria-00477567
Contributor : Didier Vojtisek <>
Submitted on : Thursday, April 29, 2010 - 3:09:38 PM
Last modification on : Thursday, February 7, 2019 - 2:27:06 PM
Long-term archiving on : Thursday, September 30, 2010 - 4:27:20 PM

File

Fleurey07b.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00477567, version 1

Citation

Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon. Towards Dependable Model Transformations: Qualifying Input Test Data. Software & Systems Modeling, Springer Verlag, 2007. ⟨inria-00477567⟩

Share

Metrics

Record views

490

Files downloads

188