Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Carlos Alberto González Pérez Connect in order to contact the contributor
Submitted on : Friday, June 29, 2012 - 3:59:49 PM
Last modification on : Thursday, January 20, 2022 - 5:28:03 PM
Long-term archiving on: : Sunday, September 30, 2012 - 2:21:05 AM


Files produced by the author(s)


  • HAL Id : hal-00711819, version 1


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. ⟨hal-00711819⟩



Les métriques sont temporairement indisponibles