Sciweavers

ICMT
2009
Springer

Automatic Model Generation Strategies for Model Transformation Testing

14 years 3 days ago
Automatic Model Generation Strategies for Model Transformation Testing
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources such as well-formedness rules, transformation preconditions, and test strategies. Manually specifying such models is tedious since models must simultaneously conform to several meta-constraints. We propose automatic model generation via constraint satisfaction using our tool Cartier for model transformation testing. Due to the virtually infinite number of models in the input domain we compare strategies based on input domain partitioning to guide model generation. We qualify the effectiveness of these strategies by performing mutation analysis on the transformation using generated sets of models. The test sets obtained using partitioning strategies gives mutation scores of up to 87% vs. 72% in the case of unguided/random generation. These scores are based on analysis of 360 automatically generated test models ...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ICMT
Authors Sagar Sen, Benoit Baudry, Jean-Marie Mottu
Comments (0)