QCRMut: Quantum Circuit Random Mutant generator tool

TL;DR

QCRMut is a novel tool for quantum mutation testing that uses a randomized approach to generate mutants while preserving circuit structure, aiding in quantum software validation.

Contribution

It introduces a quantum mutation generator leveraging the quantum circuit structure with randomization and immutability features, advancing quantum software testing methods.

Findings

Enables mutation testing for quantum programs.

Supports marking immutable circuit positions.

Facilitates future metamorphic testing applications.

Abstract

Quantum computing has been on the rise in recent years, evidenced by a surge in publications on quantum software engineering and testing. Progress in quantum hardware has also been notable, with the introduction of impressive systems like Condor boasting 1121 qubits, and IBM Quantum System Two, which employs three 133-qubit Heron processors. As this technology edges closer to practical application, ensuring the efficacy of our software becomes imperative. Mutation testing, a well-established technique in classical computing, emerges as a valuable approach in this context. In our paper, we aim to introduce QCRMut, a mutation tool tailored for quantum programs, leveraging the inherent Quantum Circuit structure. We propose a randomised approach compared to previous works with exhaustive creation processes and the capability for marking immutable positions within the circuit. These features facilitate the preservation of program structure, which is crucial for future applications such as metamorphic testing.