Software Testing in the Quantum World
Rui Abreu, Shaukat Ali, Paolo Arcaini, Jose Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao

TL;DR
This paper discusses the challenges of testing large-scale quantum software directly on quantum hardware, emphasizing the need for new quality assurance methods due to classical simulation infeasibility.
Contribution
It identifies key challenges in quantum software testing and proposes software engineering perspectives for developing new testing approaches.
Findings
Classical simulation of large quantum programs is infeasible.
Testing must be adapted to operate directly on quantum hardware.
New quality assurance methods are essential for quantum software.
Abstract
Quantum computing offers significant speedups for simulating physical, chemical, and biological systems, and for optimization and machine learning. As quantum software grows in complexity, the classical simulation of quantum computers, which has long been essential for quality assurance, becomes infeasible. This shift requires new quality-assurance methods that operate directly on real quantum computers. This paper presents the key challenges in testing large-scale quantum software and offers software engineering perspectives for addressing them.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Distributed systems and fault tolerance · Software Reliability and Analysis Research
