Testing Transformation Models Using Classifying Terms

Testing the correctness of the specification of a model transformation can be as hard as testing the model transformation itself. Besides, this test has to wait until at least one implementation is available. In this paper we explore the use of tracts and classifying terms to test the correctness of...

Full description

Saved in:
Bibliographic Details
Published inTheory and Practice of Model Transformation Vol. 10374; pp. 69 - 85
Main Authors Burgueño, Loli, Hilken, Frank, Vallecillo, Antonio, Gogolla, Martin
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2017
Springer International Publishing
SeriesLecture Notes in Computer Science
Online AccessGet full text

Cover

More Information
Summary:Testing the correctness of the specification of a model transformation can be as hard as testing the model transformation itself. Besides, this test has to wait until at least one implementation is available. In this paper we explore the use of tracts and classifying terms to test the correctness of a model transformation specification (a transformation model) on its own, independently from any implementation. We have validated the approach using two experiments and report on the problems and achievements found concerning conceptual and tooling aspects.
ISBN:9783319614724
331961472X
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-61473-1_5