Robbe De Jongh: Instance generation from meta-models (for model transformation testing)

Testing model transformations is a tedious job. One needs to make a representative set out of the possibly infinite set of input models, run the transformation on it, and confirm that the output is the expected one. Generating input models automatically seems to be a good first step in automating the entire process. In this paper we discuss the ”model fragment” strategy of this generation (Brottier et al. (2006)) and we try our hands on making an algorithm to generate instance models for the RPG in metadepth. This algorithm in no way can be used as a general approach to solve this problem however, as it highly depends on knowledge about the requirements and the designed meta model.