Home // ICSEA 2013, The Eighth International Conference on Software Engineering Advances // View article

Applying Mutation Testing to ATL Specifications: An Experimental Case Study

Authors:
Yasser Khan
Jameleddine Hassine

Keywords: Model transformation; Model Driven Engineering; mutation testing; mutation operators; Atlas Transformation Language;

Abstract:
Mutation testing is a well-established fault-based technique for assessing and improving the quality of test suites. In order to support mutation testing for model transformations, we define a set of eleven mutation operators for the Atlas Transformation Language (ATL). The effectiveness of the resulting operators, generated automatically using our prototype tool MuATL, is evaluated using a case study of an ATL program that refactors a given UML use case model. Our analysis shows that the proposed operators can successfully detect inadequacies in a given test suite.

Pages: 25 to 30

Copyright: Copyright (c) IARIA, 2013

Publication date: October 27, 2013

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-304-9

Location: Venice, Italy

Dates: from October 27, 2013 to October 31, 2013