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.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: How to effectively apply mutation testing techniques in the field of quantum computing to ensure the correctness and reliability of quantum programs. Specifically, the authors have developed a tool named QCRMut, which aims to test quantum programs by randomly generating mutants of quantum circuits. Different from traditional mutation testing in classical computing, quantum computing has unique challenges, such as the states of qubits and the operational characteristics of quantum gates. Therefore, this tool needs to specifically consider these characteristics and be able to handle the immutable positions in the quantum circuit structure to ensure that the mutated quantum circuit still maintains its structural integrity. ### Main Problems and Solutions 1. **Requirements for Quantum Mutation Testing**: - With the progress of quantum hardware, such as the launch of systems like IBM Quantum System Two, quantum computing is gradually approaching practical applications. Therefore, ensuring the effectiveness of quantum software has become crucial. - Mutation testing, as a widely - used technique in classical computing, is introduced into quantum computing to evaluate the quality of quantum programs. 2. **Limitations of Existing Methods**: - Previous quantum mutation testing tools (such as Muskit and QMutPy) mainly focused on comprehensive coverage of code lines or Python syntax tree nodes, but this method is not fully applicable in quantum circuits. - These tools failed to fully consider the unique structure and characteristics of quantum circuits, such as the invariance of input positions and the equivalence of quantum gates. 3. **Features of the QCRMut Tool**: - **Random Generation of Mutants**: QCRMut adopts a randomized method to generate mutants, rather than exhaustive generation as in previous tools. - **Preserving Immutable Positions**: This tool can mark and preserve certain immutable positions in the quantum circuit when generating mutants, which is very important for future metamorphic testing. - **Based on Quantum - Gate Operations**: QCRMut utilizes the concept of equivalence classes of quantum gates to ensure that the correctness of the circuit is not destroyed during the mutation process. 4. **Research Objectives**: - **RQ1**: Can this tool generate correct mutated quantum circuits? - **RQ2**: Can this tool maintain the necessary space invariance? - **R - Q3**: What are the time and space efficiencies of this tool? - **RQ4**: What are the advantages of this tool compared with existing tools? Through the research of these problems, the authors hope to verify the effectiveness of QCRMut and provide new ideas and methods for future quantum mutation testing. ### Summary The main purpose of this paper is to develop a mutation testing tool QCRMut suitable for quantum computing to address the unique challenges in quantum computing and ensure the reliability and correctness of quantum programs. Through randomly generating mutants, preserving immutable positions, and operating based on quantum gates, QCRMut provides a new and effective method for quantum mutation testing.

QCRMut: Quantum Circuit Random Mutant generator tool

Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations

Muskit: a Mutation Analysis Tool for Quantum Software Testing

Mutation-based Test Generation for Quantum Programs with Multi-Objective Search

MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform

QuCAT: A Combinatorial Testing Tool for Quantum Software

Application of ZX-calculus to Quantum Architecture Search

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

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

Quantum software testing: State of the art

A Programmable True Random Number Generator Using Commercial Quantum Computers

MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing

MQP: Mutants Quality Prediction for Cost-Effective Mutation Testing

Testing Quantum Programs with Multiple Subroutines

Improving the Reliability of Quantum Circuits by Evolving Heterogeneous Ensembles

HybridQ: A Hybrid Simulator for Quantum Circuits

Application of Combinatorial Testing to Quantum Programs

QuSBT: Search-Based Testing of Quantum Programs

Testing and Debugging Quantum Circuits

A Systematic Methodology to Compute the Quantum Vulnerability Factors for Quantum Circuits

Volumetric Benchmarking of Error Mitigation with Qermit