A Generic and Generative White-Box Testing Framework for Model Transformations
By Dorian Leroy .
Advised by Manuel Wimmer
The aim of this work is to provide a comprehensive model transformation testing framework supporting all testing phases, ranging from test source model generation to fault localization.
Test model generation will be done following a white-box approach, leveraging the code of the transformation to achieve better results.
As the framework is aimed to be generic to any model transformation languages and to any domain-specific language, this opens up challenges such as defining generic coverage criteria.