«

»

Construction de tests qualifiés de transformation de modèles

by Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
Abstract:
In Model Driven Engineering, models are processed by model transformations that automate development steps leading to a complete executable system. In our research, we make contributions to model transformation testing. In this paper we propose to build qualified test for model transformations. First, we propose a set of functions to express test oracles for detecting faults in a transformation. We evaluate them regarding the characteristics and reuse of model transformations. Second, we study and model model transformation specific faults. Finally, we adapt mutation analysis to model transformations in order to qualify fault detecting effectiveness of a set of test models. We use mutation analysis to qualify test models and we extend its use to the qualification of test oracles.
Reference:
Construction de tests qualifiés de transformation de modèles (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, Hermes, volume 29, 2010.
Bibtex Entry:
@article{Mottu2010,
	Abstract = {
    In Model Driven Engineering, models are processed by model transformations that automate development steps leading to a complete executable system. In our research, we make contributions to model transformation testing. In this paper we propose to build qualified test for model transformations. First, we propose a set of functions to express test oracles for detecting faults in a transformation. We evaluate them regarding the characteristics and reuse of model transformations. Second, we study and model model transformation specific faults. Finally, we adapt mutation analysis to model transformations in order to qualify fault detecting effectiveness of a set of test models. We use mutation analysis to qualify test models and we extend its use to the qualification of test oracles.},
	Author = {Jean-Marie Mottu and Benoit Baudry and Yves Le Traon},
	Journal = {Technique et Science Informatiques, Num{'e}ro Sp{'e}cial Ing{'e}nierie dirig{'e}e par les mod{`e}les},
	Pages = {537 - 569},
	Publisher = {Hermes},
	Title = {Construction de tests qualifi{'e}s de transformation de mod{`e}les},
	x-abbrv = {TSI},
	Volume = {29},
	number = {4},
	X-International-Audience = {no},
	X-Language = {FR},
	Year = {2010},
	url = {http://www.irisa.fr/triskell/publis/2010/Mottu2010.pdf},
	keywords = {MDE, test, transformation},}