«

»

Reusable MDA Components: A Testing-for-Trust Approach

by Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
Abstract:
Making model transformations trustable is an obvious target for model-driven development since they impact on the design process reliability. Ideally, model transformations should be designed and tested so that they may be used and reused safely as MDA components. We present a method for building trustable MDA components. We first define the notion of MDA component as composed of its specification, one implementation and a set of associated test cases. The testing-for-trust approach checks the consistency between these three facets using the mutation analysis. It points out the lack of efficiency of the tests and the lack of precision of the specification. The mutation analysis thus gives a rate that evaluates: the level of consistency between the component’s facets and the level of trust we can have in a component. Relying on this estimation of the component trustability, developers can consciously trade reliability for resources.
Reference:
Reusable MDA Components: A Testing-for-Trust Approach (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2006.
Bibtex Entry:
@inproceedings{Mottu06b,
	Abstract = {Making model transformations trustable is an obvious target for model-driven
	development since they impact on the design process reliability.
	Ideally, model transformations should be designed and tested so that
	they may be used and reused safely as MDA components. We present
	a method for building trustable MDA components. We first define the
	notion of MDA component as composed of its specification, one implementation
	and a set of associated test cases. The testing-for-trust approach
	checks the consistency between these three facets using the mutation
	analysis. It points out the lack of efficiency of the tests and the
	lack of precision of the specification. The mutation analysis thus
	gives a rate that evaluates: the level of consistency between the
	component's facets and the level of trust we can have in a component.
	Relying on this estimation of the component trustability, developers
	can consciously trade reliability for resources.},
	Address = {Genova, Italy},
	keywords = {test, transformation, MDE, contracts},
	Author = {Mottu, Jean-Marie and Baudry, Benoit and {Le~Traon}, Yves},
	Booktitle = {Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS)},
	Month = oct,
	Title = {Reusable MDA Components: A Testing-for-Trust Approach},
	url = {http://www.irisa.fr/triskell/publis/2006/Mottu06b.pdf},
	x-abbrv = {MODELS},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Proceedings = {yes},
	X-Language = {EN},
	Year = {2006},
	X-Language = {EN},}