Towards an Automated Test Generation for the Verification of Model Transformations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Towards an Automated Test Generation for the Verification of Model Transformations

Maher Lamari
  • Fonction : Auteur
  • PersonId : 981321

Résumé

It is widely accepted that model transformations play an important role in the MDA approach. As for any software, the validation and verification are essential in the life cycle of a model transformation. The proposition of an automatic approach that is based on functional testing techniques for the verification of model transformations reveals three main issues: the automatic generation of test data, the verification criteria, and the definition of the test oracle. The scope of this paper is restricted to the automatic generation of test data issue of the verification process. We first present a background on essential methods for test case generation and we argue their adaptation for the verification of model transformations. For an automated generation of test data we propose a formal language to be used for the specification of model transformations. We also propose a data partitioning technique that focuses on the structure of models in order to take into account the structural aspect of models when generating input test models. Our partitioning technique is to be combined with existing techniques to cover the whole characteristics of the value a model.
Fichier non déposé

Dates et versions

hal-01305783 , version 1 (21-04-2016)

Identifiants

Citer

Maher Lamari. Towards an Automated Test Generation for the Verification of Model Transformations. 2007 ACM Symposium on Applied Computing (SAC '07), Mar 2007, Seoul, South Korea. pp.998-1005, ⟨10.1145/1244002.1244220⟩. ⟨hal-01305783⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More