TY - GEN
T1 - A model-level mutation tool to support the assessment of the test case quality
AU - Granda, Maria Fernanda
AU - Condori-Fernández, Nelly
AU - Vos, Tanja E.J.
AU - Pastor, Oscar
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2017.
PY - 2017
Y1 - 2017
N2 - Although mutation testing is a well-known technique for assessing the quality of tests, there is not a lot of support available for model-level mutation analysis. It is also considered to be expensive due to: (i) the large number of mutants generated; (ii) the time-consuming activity of determining equivalent mutants; and (iii) the mutant execution time. It should also be remembered that real software artefacts of appropriate size including real faults are hard to find and prepare appropriately. In this paper we propose a mutation tool to generate valid First Order Mutants (FOM) for Conceptual Schemas (CS) based on UML Class Diagrams and evaluate its effectiveness and efficiency in generating valid and non-equivalent mutants. Our main findings were: (1) FOM mutation operators can be automated to avoiding non-valid mutants (49.1%). (2) Fewer equivalent mutants were generated (7.2%) and 74.3% were reduced by analysing the CS static structure in six subject CSs.
AB - Although mutation testing is a well-known technique for assessing the quality of tests, there is not a lot of support available for model-level mutation analysis. It is also considered to be expensive due to: (i) the large number of mutants generated; (ii) the time-consuming activity of determining equivalent mutants; and (iii) the mutant execution time. It should also be remembered that real software artefacts of appropriate size including real faults are hard to find and prepare appropriately. In this paper we propose a mutation tool to generate valid First Order Mutants (FOM) for Conceptual Schemas (CS) based on UML Class Diagrams and evaluate its effectiveness and efficiency in generating valid and non-equivalent mutants. Our main findings were: (1) FOM mutation operators can be automated to avoiding non-valid mutants (49.1%). (2) Fewer equivalent mutants were generated (7.2%) and 74.3% were reduced by analysing the CS static structure in six subject CSs.
KW - Class diagram mutants
KW - Model-level mutation
KW - Mutation tool
KW - Test cases quality
UR - https://www.scopus.com/pages/publications/84995938220
U2 - 10.1007/978-3-319-52593-8_2
DO - 10.1007/978-3-319-52593-8_2
M3 - Contribución a la conferencia
AN - SCOPUS:84995938220
T3 - Lecture Notes in Information Systems and Organisation
SP - 17
EP - 37
BT - Lecture Notes in Information Systems and Organisation
PB - Springer Heidelberg
T2 - 25th International Conference on Information Systems Development, ISD 2016
Y2 - 24 August 2016 through 26 August 2016
ER -