Mutation Operators for Object Constraint Language Specification.
Kunxiang Jin, Kevin Lano · Research Portal (King's College London) · 2021
Mutation testing is a fault-based software testing technique for checking the effectiveness of a test suite through artificial defects. The mutation testing produces a satisfaction score, which is typically called the mutation score, to represent the quality of the input test suite. In mutation testing, from a programme P, a set of faulty programmes P′ called mutants, is generated by making, for each P′, a single simple change to the original programme P. To the best of our knowledge, no well-defined mutation operators for Object Constraint Language (OCL) specification has been proposed so far. The choice of mutation operators is an essential activity to ensure the accurate results of mutation testing. In this paper, we present a set of mutation operators to OCL specification. Since OCL is more and more popular in the scope of Model-Based Testing (MBT), the proposed mutation operators will help the mutation testing process, which involves the OCL specification. The paper presents the experimental results of an Android-platform financial application that is modelled by OCL specification. The results demonstrate the effectiveness of the proposed mutation operators for OCL specification.