Loading...
Please wait, while we are loading the content...
Similar Documents
Applying Mutation Testing to ATL Specifications: An Experimental Case Study
| Content Provider | Semantic Scholar |
|---|---|
| Author | Khan, Yasser A. Hassine, Jameleddine |
| Copyright Year | 2013 |
| 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. Keywords-Model transformation; Model Driven Engineering; mutation testing; mutation operators; Atlas Transformation Language; |
| Starting Page | 25 |
| Ending Page | 30 |
| Page Count | 6 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.thinkmind.org/download.php?articleid=icsea_2013_1_40_10196 |
| Journal | ICSEA 2013 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |