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 metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-00711819
Contributor : Carlos Alberto González Pérez <>
Submitted on : Friday, June 29, 2012 - 3:59:49 PM
Last modification on : Friday, June 22, 2018 - 9:29:19 AM
Long-term archiving on: Sunday, September 30, 2012 - 2:21:05 AM

File

atltest.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

1398

Files downloads

4193