«

»

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

by Sagar Sen, Benoit Baudry, Jean-Marie Mottu
Abstract:
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of knowledge that is expressed in different formalisms. Thus, in order to automatically generate test models it is necessary to interpret these different sources of knowledge and combine them into a consistent set of information that can be used for model synthesis. In this paper, we identify sources of testing knowledge and present our tool Cartier that uses Alloy as the first-order relational logic language to represent combined knowledge in the form of constraints. The constraints are solved leading to a selection of qualified test models from the input domain of a model transformation. We illustrate our approach using the Unified Modeling Language class diagram to relational database management systems transformation as a running example.
Reference:
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2008.
Bibtex Entry:
@inproceedings{Sen08a,
	Abstract = {Testing remains a major challenge for model transformation development.
	Test models that are used as test data for model transformations,
	are constrained by various sources of knowledge that is expressed
	in different formalisms. Thus, in order to automatically generate
	test models it is necessary to interpret these different sources
	of knowledge and combine them into a consistent set of information
	that can be used for model synthesis. In this paper, we identify
	sources of testing knowledge and present our tool Cartier that uses
	Alloy as the first-order relational logic language to represent combined
	knowledge in the form of constraints. The constraints are solved
	leading to a selection of qualified test models from the input domain
	of a model transformation. We illustrate our approach using the Unified
	Modeling Language class diagram to relational database management
	systems transformation as a running example.},
	Address = {Lillehammer, Norway},
	keywords = {test, transformation, MDE},
	Author = {Sen, Sagar and Baudry, Benoit and Mottu, Jean-Marie},
	Booktitle = {Proceedings of the International Conference on Software Testing, Verification and Validation (ICST)},
	Month = apr,
	Title = {On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing},
	Url = {http://www.irisa.fr/triskell/publis/2008/Sen08a.pdf},
	X-Country = {NO},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2008},
	x-abbrv = {ICST},
}