arrow
Return

Mitigating Noise in Quantum Software Testing Using Machine Learning

delete2024-11-01
delete0
PRE
AI
A
Asmar Muqeet *
T
Tao Yue
S
Shaukat Ali
P
Paolo Arcaini
DOI:10.1109/TSE.2024.3462974delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Quantum Computing (QC) promises computational speedup over classic computing. However, noise exists in near-term quantum computers. Quantum software testing (for gaining confidence in quantum software's correctness) is inevitably impacted by noise, i.e., 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 test quantum software on real quantum computers or noisy simulators. Thus, we propose a noise-aware approach (named $\mathit{QOIN}$QOIN) to alleviate the noise effect on test results of quantum programs. $\mathit{QOIN}$QOIN employs machine learning techniques (e.g., transfer learning) to learn the noise effect of a quantum computer and filter it from a 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 $\mathit{QOIN}$QOIN on IBM's 23 noise models, Google's two available noise models, and Rigetti's Quantum Virtual Machine, with six real-world and 800 artificial 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 $\mathit{QOIN}$QOIN can reduce the noise effect by more than $80\%$80% on most noise models. We used an existing test oracle to evaluate $\mathit{QOIN}$QOIN's effectiveness in quantum software testing. The results showed that $\mathit{QOIN}$QOIN attained scores of $99\%$99%, $75\%$75%, and $86\%$86% for precision, recall, and F1-score, respectively, for the test oracle across six real-world programs. For artificial programs, $\mathit{QOIN}$QOIN achieved scores of $93\%$93%, $79\%$79%, and $86\%$86% for precision, recall, and F1-score respectively. This highlights $\mathit{QOIN}$QOIN's effectiveness in learning noise patterns for noise-aware quantum software testing.
Keywords:
Noise
Quantum computing
Qubit
Computers
Software testing
Logic gates
Computational modeling
Software testing and debugging
computing methodologies
quantum computing
and machine learning

Journal

IEEE Transactions on Software Engineering cover
IEEE Transactions on Software Engineering
IF:
5.6
Papers:
2.9K
Citations:
1.1W

Organization

U
university of oslo
Scholars:
4.2W
Papers: 3.5W
Citations: 53
N
national institute of informatics (nii) - japan
Scholars:
453
Papers: 420
Citations: 0
Cited Papers

Cited Papers

ABC of Atrial Fibrillation: DRUGS FOR ATRIAL FIBRILLATION
errBMJ
IF0
err1995-12-16
err0
errOAAI
errG. Y H Lip; R. D S Watson; S. P Singh
errShare
errSave
Slow injection of prostaglandin E1 decreases associated penile pain
err1996-06-01
err0
PREAI
errDavid Gheorghiu; Michael Godschalk; Sylvia Gheorghiu; Thomas Mulligan
errShare
errSave
Are non-brain-stem-dead cardiac donors acceptable donors?
err2002-01-01
err0
PREAI
errH Luckraz; J Parameshwar; K McNeil; S Tsui; J Dunning; J Wallwork; S Large
errShare
errSave
One-Stage Reconstruction of the Penis with Free Skin Flap: Report of Three Cases
err2008-03-08
err0
PREAI
errXue-Shu Kao; Jian-Hua Kao; Ching-Lian Ho; Zeng-Nian Yang; Hao-Ran Shi
errShare
errSave
When Does Model-Based Control Pay Off?
err2016-08-26
err0
errOAAI
errWouter Kool; Fiery A. Cushman; Samuel J. Gershman
errShare
errSave
SOQR: Secure Optimal QoS Routing in Wireless Ad Hoc Networks
err2017-03-01
err0
PREAI
errYang Xu; Jia Liu; Osamu Takahashi; Norio Shiratori; Xiaohong Jiang
errShare
errSave
A Note on Spatial Multipliers
err1978-10-01
err0
PREAI
errHarry W. Richardson; Peter Gordon
errShare
errSave
researcher View more