MuAsmetaL: An Experimental Mutation System for AsmetaL

摘要

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 MuAsmetaL, an As metal-based experimental system for conducting automated mutation analysis. MuAsmetaL 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 MuAsmetaL has been conducted using a set of 6 publicly available As metal specifications.