Abstract:Mutation testing, a mainstream fault-based software testing technique, can mimic a wide variety of software faults by seeding them into the target program and resulting in the so-called mutants. Test data generated in mutation testing should be able to kill as many mutants as possible, hence guaranteeing a high fault-detection effectiveness of testing. Nevertheless, the test data generation can be very expensive, because mutation testing normally involves an extremely large number of mutants and some mutants are hard to kill. It is thus a critical yet challenging job to find an efficient way to generate a small set of test data that are able to kill multiple mutants at the same time as well as reveal those hard-to-detect faults. In this paper, we propose a new approach for test data generation in mutation testing, through the novel applications of the Markov chain usage model and the estimation of distribution algorithm. We first utilize the Markov chain usage model to reduce the so-called mutant branches in weak mutation testing and generate a minimal set of extended paths. Then, we regard the problem of generating test data as the problem of covering extended paths and use an estimation of distribution algorithm based on probability model to solve the problem. Finally, we develop a framework, TAMMEA, to implement the new approach of generating test data for mutation testing. The empirical studies based on fifteen object programs show that TAMMEA can kill more mutants using fewer test data compared with baseline techniques. In addition, the computation overhead of TAMMEA is lower than that of the baseline technique based on the traditional genetic algorithm, and comparable to that of the random method. It is clear that the new approach improves both the effectiveness and efficiency of mutation testing, thus promoting its practicability.

Towards Mutation Analysis for Use Cases

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams

Automatic Early Defects Detection in Use Case Documents

Test Case Generation using Mutation Operators and Fault Classification

Mutation Testing: Principal, Optimization and Application

A New Mutation Analysis Method for Testing Java Exception Handling

Positive and Negative Testing with Mutation-Driven Model Checking

Applying Interface-Contract Mutation in Regression Testing of Component-Based Software

Test Data Generation for Mutation Testing Based on Markov Chain Usage Model and Estimation of Distribution Algorithm

An Exploratory Study on Using Large Language Models for Mutation Testing

Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants -- First Results

Data-driven Mutation Analysis for Cyber-Physical Systems

A Fault Model and Mutation Testing of Access Control Policies

To Detect Abnormal Program Behaviours via Mutation Deduction

Automatic Test Generation for Mutation Testing on Database Applications.

An Approach to Test Data Generation for Killing Multiple Mutants

MQP: Mutants Quality Prediction for Cost-Effective Mutation Testing

Functional Testbench Qualification by Mutation Analysis

Heuristics for Strongly Killing Mutants in Software Mutation Testing

Mutation Testing in Practice: Insights from Open-Source Software Developers

Mutation Analysis with Execution Taints