Search papers, labs, and topics across Lattice.
This paper addresses the equivalent mutant problem in quantum software testing by introducing Transpiler-Based Equivalence (TBE), a method that identifies semantically equivalent mutants through transpilation and code comparison. The study evaluated TBE on a substantial dataset of 348,299 surviving mutants, successfully identifying 29,536 as equivalent with high precision and accuracy. These findings reveal that a significant portion of surviving mutants are indeed equivalent, thereby improving the efficiency of mutation testing in quantum circuits.
TBE reveals that over 32% of surviving quantum mutants are semantically equivalent, challenging assumptions about test suite effectiveness.
Mutation testing evaluates test suite quality by introducing artificial faults (mutants) and checking whether tests detect (kill) them. A central challenge is the equivalent mutant problem: some mutants are syntactically different from the original program but semantically identical to it and therefore cannot be killed by any test. If left unidentified, such mutants waste testing effort and distort mutation scores. In quantum software, mutation testing is increasingly used, but the equivalent mutant problem remains unsolved. A recent study generated more than 700,000 quantum circuit mutants and found that roughly half survived the available tests, making it unclear whether these survivors reflect weak tests or semantic equivalence. We propose Transpiler-Based Equivalence (TBE), a lightweight approach that identifies equivalent quantum mutants by transpiling original and mutated circuits under the same configuration and comparing their resulting OpenQASM code. We evaluate TBE on 348,299 surviving mutants, 92,011 of which are equivalent; TBE identifies 29,536 of them (32.1%) as equivalent while achieving 100% precision and 82% accuracy.
