Abstract:Mutation analysis is a powerful dynamic approach that has many applications, such as measuring the quality of test suites or automatically locating faults. However, the inherent low scalability hampers its practical use. To accelerate mutation analysis, researchers propose approaches to reduce redundant executions. A family of fork-based approaches tries to share identical executions among mutants. Fork-based approaches carry all mutants in one process and decide whether to fork new child processes when reaching a mutated statement. The mutants carried by the parent process are split into groups and distributed to different processes to finish the remaining executions. However, existing fork-based approaches have two limitations: (1) the limited analysis scope on a single statement to compare and cluster mutants prevents their systems from detecting more equivalent mutants, and (2) the interpretation of the mutants and the runtime equivalence analysis introduce significant overhead.In this paper, we present a novel fork-based mutation analysis approach WinMut, which (1) groups mutants in a scope of mutated statements and, (2) removes redundant computations inside interpreters. WinMut not only reduces the number of invoked processes but also has a lower cost for executing a single process. Our experiments show that our approach can further accelerate mutation analysis with an average speedup of 5.57x on top of the state-of-the-art fork-based approach, AccMut.

Mutation-analysis Driven Functional Verification of a Soft Microprocessor.

Functional Testbench Qualification by Mutation Analysis

Efficient Mutation-Analysis Coverage For Constrained Random Verification

IP-XACT Based System Level Mutation Testing.

MorFuzz: Fuzzing Processor Via Runtime Instruction Morphing Enhanced Synchronizable Co-simulation.

HDL-Mutation Based Simulation Data Generation by Propagation Guided Search

LLM-Guided Formal Verification Coupled with Mutation Testing

Mutation-based diagnostic test generation for hardware design error diagnosis

Binary Mutation Testing Through Dynamic Translation

Mutation-Based Simulation Test Data Generation for Testing Complex Real-Time Software

Test Program Generation for Microprocessor Verification Using Local Modeling Strategy

SN4KE: Practical Mutation Testing at Binary Level

Heuristics for Strongly Killing Mutants in Software Mutation Testing

Using model-based test program generator for simulation validation

Coverage Matrix based Evolutionary Test Program Generation for Microprocessor Verification

Timed Model-Based Mutation Operators for Simulink Models

Positive and Negative Testing with Mutation-Driven Model Checking

A C-based RTL design verification methodology for complex microprocessor

Mutation Testing: Principal, Optimization and Application

Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System

Faster Mutation Analysis with Fewer Processes and Smaller Overheads