Noise-Aware Quantum Software Testing

06/29/2023
by   Asmar Muqeet, et al.
0

Quantum Computing (QC) promises computational speedup over classic computing for solving some complex problems. However, noise exists in current and near-term quantum computers. Quantum software testing (for gaining confidence in quantum software's correctness) is inevitably impacted by noise, to the extent that it is impossible to know if a test case failed due to noise or real faults. Existing testing techniques test quantum programs without considering noise, i.e., by executing tests on ideal quantum computer simulators. Consequently, they are not directly applicable to testing quantum software on real QC hardware or noisy simulators. To this end, we propose a noise-aware approach (named QOIN) to alleviate the noise effect on test results of quantum programs. QOIN employs machine learning techniques (e.g., transfer learning) to learn the noise effect of a quantum computer and filter it from a quantum program's outputs. Such filtered outputs are then used as the input to perform test case assessments (determining the passing or failing of a test case execution against a test oracle). We evaluated QOIN on IBM's 23 noise models with nine real-world quantum programs and 1000 artificial quantum programs. We also generated faulty versions of these programs to check if a failing test case execution can be determined under noise. Results show that QOIN can reduce the noise effect by more than 80%. To check QOIN's effectiveness for quantum software testing, we used an existing test oracle for quantum software testing. The results showed that the F1-score of the test oracle was improved on average by 82% for six real-world programs and by 75% for 800 artificial programs, demonstrating that QOIN can effectively learn noise patterns and enable noise-aware quantum software testing.

READ FULL TEXT
research
08/31/2023

QuCAT: A Combinatorial Testing Tool for Quantum Software

With the increased developments in quantum computing, the availability o...
research
08/19/2022

Testing Quantum Programs with Multiple Subroutines

Errors in quantum programs are challenging to track down due to the unce...
research
06/02/2022

MorphQ: Metamorphic Testing of Quantum Computing Platforms

As quantum computing is becoming increasingly popular, the underlying qu...
research
03/16/2021

On Testing and Debugging Quantum Software

Quantum computers are becoming more mainstream. As more programmers are ...
research
09/11/2022

Using Quantum Computers to Speed Up Dynamic Testing of Software

Software under test can be analyzed dynamically, while it is being execu...
research
06/30/2023

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing

Quantum computing has emerged as a promising field with the potential to...
research
11/28/2019

Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer

In this paper, we propose Poq, a runtime assertion scheme for debugging ...

Please sign up or login with your details

Forgot password? Click here to reset