Abstract
Mutation testing is a well established fault-based technique for assessing and improving the quality of test suites. Mutation testing is time-consuming and computationally expensive by nature. Therefore, automated tool support is indispensable for conducting mutation testing. Little research has been devoted to applying mutation testing to the Abstract State Machines (ASM) formalism. This paper presents Mu AsmetaL, an As metal-based experimental system for conducting automated mutation analysis. Mu AsmetaL supports the generation of As metal-based mutants (produced by applying a set of 44 mutation operators categorized into 4 classes), executes test cases against the produced mutants, and reports the analysis results. An empirical evaluation of Mu AsmetaL has been conducted using a set of 6 publicly available As metal specifications.
Original language | English |
---|---|
Title of host publication | Proceedings - 12th International Conference on Information Technology |
Subtitle of host publication | New Generations, ITNG 2015 |
Editors | Shahram Latifi, Kohei Arai, Glauco Carneiro, Narayan Debnath, Luiz Alberto Vieira Dias, Ray Hashemi, Teruya Minamoto, Yenumula Reddy, Kashif Saleem, Fangyan Shen, Christoph Thuemmler |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Pages | 421-426 |
Number of pages | 6 |
ISBN (Electronic) | 9781479988273 |
DOIs | |
State | Published - 26 May 2015 |
Publication series
Name | Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015 |
---|
Bibliographical note
Publisher Copyright:© 2015 IEEE.
Keywords
- Abstract State Machines (ASM)
- AsmetaL
- Mutants
- Mutation testing
- fault-based
- quality
- test suite
ASJC Scopus subject areas
- Computer Networks and Communications
- Computer Science Applications
- Information Systems