«

»

Mutation Analysis Testing for Model Transformations

by Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
Abstract:
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test data, and has been extensively studied both for procedural and object-oriented languages. In this paper, we study how it can be adapted to model oriented programming. Since no model transformation language has been widely accepted today, we propose generic fault models that are related to the model transformation process. First, we identify abstract operations that constitute this process: model navigation, model?s elements filtering, output model creation and input model modification. Then, we propose a set of specific mutation operators which are directly inspired from these operations. We believe that these operators are meaningful since a large part of the errors in a transformation are due to the manipulation of complex models regardless of the concrete implementation language.
Reference:
Mutation Analysis Testing for Model Transformations (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proceedings of the European Conference on Model Driven Architecture (ECMDA), 2006.
Bibtex Entry:
@inproceedings{Mottu06a,
	Abstract = {In MDE, model transformations should be efficiently tested so that
	it may be used and reused safely. Mutation analysis is an efficient
	technique to evaluate the quality of test data, and has been extensively
	studied both for procedural and object-oriented languages. In this
	paper, we study how it can be adapted to model oriented programming.
	Since no model transformation language has been widely accepted today,
	we propose generic fault models that are related to the model transformation
	process. First, we identify abstract operations that constitute this
	process: model navigation, model?s elements filtering, output model
	creation and input model modification. Then, we propose a set of
	specific mutation operators which are directly inspired from these
	operations. We believe that these operators are meaningful since
	a large part of the errors in a transformation are due to the manipulation
	of complex models regardless of the concrete implementation language.},
	Address = {Bilbao, Spain},
	keywords = {test, transformation, MDE},
	Author = {Mottu, Jean-Marie and Baudry, Benoit and {Le~Traon}, Yves},
	Booktitle = {Proceedings of the European Conference on Model Driven Architecture (ECMDA)},
	Month = jul,
	Title = {Mutation Analysis Testing for Model Transformations},
	url = {http://www.irisa.fr/triskell/publis/2006/Mottu06a.pdf},
	x-abbrv = {ECMDA},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Proceedings = {yes},
	Year = {2006},
	X-Language = {EN},}