Test Data Generation for Model Transformations Combining Partition and Constraint Analysis

Carlos Alberto González Pérez 1 Jordi Cabot 1
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : Model-Driven Engineering (MDE) is a software engineering paradigm where models play a key role. In a MDE-based development process, models are successively transformed into other models and eventually into the final source code by means of a chain of model transformations. Since writing model transformations is an error-prone task, mechanisms to ensure their reliability are greatly needed. One way of achieving this is by means of testing. A challenging aspect when testing model transformations is the generation of adequate input test data. Most existing approaches generate test data following a black-box approach based on some sort of partition analysis that exploits the structural features of the source metamodel of the transformation. However, these analyses pay no attention to the OCL invariants of the metamodel or do it very superficially. In this paper, we propose a mechanism that systematically analyzes OCL constraints in the source metamodel in order to fine-tune this partition analysis and therefore, the generation of input test data. Our mechanism can be used in isolation, or combined with other black-box or white-box test generation approaches.
Type de document :
Communication dans un congrès
D. DiRuscio; D. Varro. ICMT 2014 - 7th International Conference on Model Transformation, Jul 2014, York, United Kingdom. 8568, pp.25-41, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-08789-4_3 〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00972008
Contributeur : Carlos Alberto González Pérez <>
Soumis le : jeudi 3 avril 2014 - 13:48:05
Dernière modification le : mercredi 11 avril 2018 - 02:01:25

Identifiants

Citation

Carlos Alberto González Pérez, Jordi Cabot. Test Data Generation for Model Transformations Combining Partition and Constraint Analysis. D. DiRuscio; D. Varro. ICMT 2014 - 7th International Conference on Model Transformation, Jul 2014, York, United Kingdom. 8568, pp.25-41, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-08789-4_3 〉. 〈hal-00972008〉

Partager

Métriques

Consultations de la notice

531