Qualifying input test data for model transformations |
| |
Authors: | Franck Fleurey Benoit Baudry Pierre-Alain Muller Yves Le Traon |
| |
Affiliation: | (1) IRISA, Campus Universitaire de Beaulieu, 35042 Rennes Cedex, France;(2) ENST Bretagne, 2 rue de la Chataigneraie, CS 17607, 35576 Cesson Sévigné Cedex, France |
| |
Abstract: | Model transformation is a core mechanism for model-driven engineering (MDE). Writing complex model transformations is error-prone, and efficient testing techniques are required as for any complex program development. Testing a model transformation is typically performed by checking the results of the transformation applied to a set of input models. While it is fairly easy to provide some input models, it is difficult to qualify the relevance of these models for testing. In this paper, we propose a set of rules and a framework to assess the quality of given input models for testing a given transformation. Furthermore, the framework identifies missing model elements in input models and assists the user in improving these models. |
| |
Keywords: | Software testing Model transformation Test criteria Test qualification Metamodelling Model-based testing |
本文献已被 SpringerLink 等数据库收录! |
|