ATLTest: A White-Box Test Generation Approach for ATL Transformations

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 : MDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the specification of such transformations is an error-prone task, techniques to guarantee their quality must be provided. Testing is a well-known technique for finding errors in programs. In this sense, adoption of testing techniques in the model transformation domain would be helpful to improve their quality. So far, testing of model transformations has focused on black-box testing techniques. Instead, in this paper we provide a white-box test model generation approach for ATL model transformations.
Type de document :
Communication dans un congrès
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Sep 2012, Innsbruck, Austria. 2012
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00711819
Contributeur : Carlos Alberto González Pérez <>
Soumis le : vendredi 29 juin 2012 - 15:59:49
Dernière modification le : vendredi 22 juin 2018 - 09:29:19
Document(s) archivé(s) le : dimanche 30 septembre 2012 - 02:21:05

Fichier

atltest.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00711819, version 1

Citation

Carlos Alberto González Pérez, Jordi Cabot. ATLTest: A White-Box Test Generation Approach for ATL Transformations. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Sep 2012, Innsbruck, Austria. 2012. 〈hal-00711819〉

Partager

Métriques

Consultations de la notice

1309

Téléchargements de fichiers

970