«

»

Towards Dependable Model Transformations: Qualifying Input Test Data

by Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon
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.
Reference:
Towards Dependable Model Transformations: Qualifying Input Test Data (Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon), In Journal of Software and Systems Modeling (SoSyM), volume 8, 2009.
Bibtex Entry:
@article{Fleurey07b,
	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.},
	keywords = {test, transformation, MDE},
	Author = {Fleurey, Franck and Baudry, Benoit and Muller, Pierre-Alain and Le Traon, Yves},
	Journal = {Journal of Software and Systems Modeling ({SoSyM})},
	Number = {2},
	Pages = {185-203},
	Title = {Towards Dependable Model Transformations: Qualifying Input Test Data},
	url = {http://www.irisa.fr/triskell/publis/2007/Fleurey07b.pdf},
	Volume = {8},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Language = {EN},
	Year = {2009},
	x-abbrv = {SOSYM},
}