2012
DOI: 10.1007/978-3-642-33666-9_29
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: 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 wellknown 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 te… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
32
0

Year Published

2013
2013
2022
2022

Publication Types

Select...
4
3

Relationship

0
7

Authors

Journals

citations
Cited by 33 publications
(32 citation statements)
references
References 18 publications
0
32
0
Order By: Relevance
“…This technique enabled testing the execution of the implemented transformation, so the obtained result could be evaluated and compared to the expected result. The generation of test models by means of black-box technique has become more popular since they do not need to deal with the transformation language or technology (González and Cabot, 2012). …”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…This technique enabled testing the execution of the implemented transformation, so the obtained result could be evaluated and compared to the expected result. The generation of test models by means of black-box technique has become more popular since they do not need to deal with the transformation language or technology (González and Cabot, 2012). …”
Section: Discussionmentioning
confidence: 99%
“…Compared to software testing, model transformation testing bears an additional challenge: The complex nature of model transformation (González and Cabot, 2012). Generally, models are formed by elements of different kind and must conform to a meta-model, what hampers the generation of test case models and the analysis of the final result obtained.…”
Section: Discussionmentioning
confidence: 99%
“…In particular, given a set of input models generated from a specification, we plan to extend them to create new models that enable the testing of a transformation implementation according to some white-box coverage criterion (e.g. rule coverage, OCL expression coverage [21], etc.). The implementation of a mechanism for the detection and elimination of redundant models in the generated test sets is also future work.…”
Section: Discussion and Lines Of Future Workmentioning
confidence: 99%
“…For example, in [33], the authors propose using all possible overlapping models of each pair of rules in a transformation as input models for testing. More recently, [21] exploits the structure of ATL transformations to generate input models: they extract the dependency graph of the transformations (similar to a control flow graph), and each traversal of the graph is transformed into a set of constraints used to compute an input model by means of constraint solving. Coverage criteria.…”
Section: State Of the Artmentioning
confidence: 99%
See 1 more Smart Citation