A model-level mutation tool to support the assessment of the test case quality

Maria Fernanda Granda*, Nelly Condori-Fernández, Tanja E.J. Vos, Oscar Pastor

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review


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.

Original languageEnglish
Title of host publicationLecture Notes in Information Systems and Organisation
PublisherSpringer Heidelberg
Number of pages21
Publication statusPublished - 2017

Publication series

NameLecture Notes in Information Systems and Organisation
ISSN (Print)2195-4968
ISSN (Electronic)2195-4976

Bibliographical note

Funding Information:
This work has been developed with the financial support by SENESCYT of the Republic of Ecuador, SHIP (SMEs and HEIs in Innovation Partnerships, ref: EACEA/A2/UHB/CL 554187), PERTEST (TIN2013-46928-C3-1-R), European Commission (CaaS project) and Generalitat Valenciana (PROMETEOII/2014/039).

Publisher Copyright:
© Springer International Publishing Switzerland 2017.


  • Class diagram mutants
  • Model-level mutation
  • Mutation tool
  • Test cases quality


Dive into the research topics of 'A model-level mutation tool to support the assessment of the test case quality'. Together they form a unique fingerprint.

Cite this