research-article

On testing quantum programs

Authors:

Andriy Miranskyy,

Lei ZhangAuthors Info & Claims

ICSE-NIER '19: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results

Pages 57 - 60

https://doi.org/10.1109/ICSE-NIER.2019.00023

Published: 27 May 2019 Publication History

Abstract

A quantum computer (QC) can solve many computational problems more efficiently than a classic one. The field of QCs is growing: companies (such as D-Wave, IBM, Google, and Microsoft) are building QC offerings. We position that software engineers should look into defining a set of software engineering practices that apply to QC's software. To start this process, we give examples of challenges associated with testing such software and sketch potential solutions to some of these challenges.

References

[1]

R. P. Feynman, "Simulating physics with computers," International journal of theoretical physics, vol. 21, no. 6--7, pp. 467--488, 1982.

[2]

J. Preskill, "Quantum computing and the entanglement frontier," arXiv preprint arXiv:1203.5813, 2012.

[3]

A. Aspuru-Guzik, A. D. Dutoi, P. J. Love, and M. Head-Gordon, "Simulated quantum computation of molecular energies," Science, vol. 309, no. 5741, pp. 1704--1707, 2005.

[4]

D. J. Bernstein, J. Buchmann, and E. Dahmen, Eds., Post-Quantum Cryptography. Berlin Heidelberg: Springer-Verlag, 2009.

Digital Library

[5]

"Y2K bug --- Definition, Hysteria, & Facts --- Britannica.com," accessed on 2018-09-25. {Online}. Available: https://www.britannica.com/technology/Y2K-bug

[6]

P. W. Shor, "Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer," SIAM J. Comput., vol. 26, no. 5, pp. 1484--1509, Oct. 1997. {Online}. Available

Digital Library

[7]

M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge Univ. Press, 2010.

Digital Library

[8]

U. Vazirani, "A survey of quantum complexity theory," in Proceedings of Symposia in Applied Mathematics, vol. 58, 2002, pp. 193--220.

[9]

"P7131 - Standard for Quantum Computing Performance Metrics & Performance Benchmarking," accessed on 2018-09-25. {Online}. Available: https://standards.ieee.org/project/7131.html

[10]

C. Pomerance, "A tale of two sieves," Notices Amer. Math. Soc, vol. 43, pp. 1473--1485, 1996.

[11]

"IBM Q Experience," accessed on 2018-09-25. {Online}. Available: https://quantumexperience.ng.bluemix.net/qx/experience

[12]

A. W. Cross, L. S. Bishop, J. A. Smolin, and J. M. Gambetta, "Open quantum assembly language," arXiv preprint arXiv:1707.03429, 2017.

[13]

"D-Wave 2000Q goes on sale --- WIRED UK," accessed on 2018-09-25. {Online}. Available: https://www.wired.co.uk/article/d-wave-2000q-quantum-computer

[14]

K. Svore, A. Geller, M. Troyer, J. Azariah, C. Granade, B. Heim, V. Kliuchnikov, M. Mykhailova, A. Paz, and M. Roetteler, "Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL," in Proceedings of the Real World Domain Specific Languages Workshop 2018, ser. RWDSL2018. New York, NY, USA: ACM, 2018, pp. 7:1--7:10. {Online}. Available

Digital Library

[15]

D. Castelvecchi, "Quantum computers ready to leap out of the lab in 2017," Nature News, vol. 541, no. 7635, pp. 9--10, 2017.

[16]

R. Vijay, C. Macklin, D. Slichter, S. Weber, K. Murch, R. Naik, A. N. Korotkov, and I. Siddiqi, "Stabilizing Rabi oscillations in a superconducting qubit using quantum feedback," Nature, vol. 490, pp. 77--80, 2012.

[17]

"Quantum computing | Microsoft," accessed on 2018-09-25. {Online}. Available: https://www.microsoft.com/en-us/quantum/

[18]

Y. Huang and M. Martonosi, "QDB: From Quantum Algorithms Towards Correct Quantum Programs," arXiv preprint arXiv:1811.05447, 2018.

[19]

E. Cialini, A. Loreto, and D. Godwin, "Method, system, and program for determining discrepancies between database management systems," 2007, US Patent App. US20070100783A1.

[20]

U. Mahadev, "Classical verification of quantum computations," in 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), Oct 2018, pp. 259--267.

[21]

S. Aaronson and A. Arkhipov, "The computational complexity of linear optics," in Proceedings of the Forty-third Annual ACM Symposium on Theory of Computing, ser. STOC '11. ACM, 2011, pp. 333--342. {Online}. Available

Digital Library

[22]

T. Giordani, F. Flamini, M. Pompili, N. Viggianiello, N. Spagnolo, A. Crespi, R. Osellame, N. Wiebe, M. Walschaers, A. Buchleitner, and F. Sciarrino, "Experimental statistical signature of many-body quantum interference," Nature Photonics, vol. 12, no. 3, pp. 173--178, Mar. 2018. {Online}. Available

[23]

L. Valiant, "The complexity of computing the permanent," Theoretical Computer Science, vol. 8, no. 2, pp. 189 -- 201, 1979. {Online}. Available: http://www.sciencedirect.com/science/article/pii/0304397579900446

[24]

P. Clifford and R. Clifford, "The classical complexity of boson sampling," in Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, ser. SODA '18, 2018, pp. 146--155. {Online}. Available: http://dl.acm.org/citation.cfm?id=3174304.3175276

Digital Library

Cited By

Virgínio TBastos LBezerra CRibeiro MMachado I(2024)How Aware Are We of Test Smells in Quantum Software Systems? A Preliminary Empirical EvaluationProceedings of the XXIII Brazilian Symposium on Software Quality10.1145/3701625.3701676(383-393)Online publication date: 5-Nov-2024
https://dl.acm.org/doi/10.1145/3701625.3701676
Shi JXiao ZShi HJiang YLi X(2024)QuanTest: Entanglement-Guided Testing of Quantum Neural Network SystemsACM Transactions on Software Engineering and Methodology10.1145/368884034:2(1-32)Online publication date: 19-Aug-2024
https://dl.acm.org/doi/10.1145/3688840
Wang XMuqeet AYue TAli SArcaini P(2024)Test Case Minimization with Quantum AnnealersACM Transactions on Software Engineering and Methodology10.1145/368046734:1(1-24)Online publication date: 27-Jul-2024
https://dl.acm.org/doi/10.1145/3680467
Show More Cited By

Recommendations

Quantum Software Testing 101
ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings

Quantum software testing (QST) is an emerging research area within quantum software engineering (QSE) to ensure quantum software functional and non-functional correctness and dependability. Since quantum computers perform computations significantly ...
Quantum correlation swapping

Quantum correlations (QCs), including quantum entanglement and those different, are important quantum resources and have attracted much attention recently. Quantum entanglement swapping as a kernel technique has already been applied to quantum repeaters ...
Can quantum discord increase in a quantum communication task?

Quantum teleportation of an unknown quantum state is one of the few communication tasks which has no classical counterpart. Usually the aim of teleportation is to send an unknown quantum state to a receiver. But is it possible in some way that the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE-NIER '19: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results

May 2019

131 pages

Conference Chairs:
Anita Sarma
Oregon State University
,
Leonardo Murta
Universidade Federal Fluminense

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

IEEE Press

Publication History

Published: 27 May 2019

Check for updates

Qualifiers

Research-article

Conference

ICSE '19

Sponsor:

SIGSOFT
IEEE-CS

ICSE '19: 41st International Conference on Software Engineering

May 27, 2019

Quebec, Montreal, Canada

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

22
Total Citations
View Citations
70
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Virgínio TBastos LBezerra CRibeiro MMachado I(2024)How Aware Are We of Test Smells in Quantum Software Systems? A Preliminary Empirical EvaluationProceedings of the XXIII Brazilian Symposium on Software Quality10.1145/3701625.3701676(383-393)Online publication date: 5-Nov-2024
https://dl.acm.org/doi/10.1145/3701625.3701676
Shi JXiao ZShi HJiang YLi X(2024)QuanTest: Entanglement-Guided Testing of Quantum Neural Network SystemsACM Transactions on Software Engineering and Methodology10.1145/368884034:2(1-32)Online publication date: 19-Aug-2024
https://dl.acm.org/doi/10.1145/3688840
Wang XMuqeet AYue TAli SArcaini P(2024)Test Case Minimization with Quantum AnnealersACM Transactions on Software Engineering and Methodology10.1145/368046734:1(1-24)Online publication date: 27-Jul-2024
https://dl.acm.org/doi/10.1145/3680467
Wright CLuján MPetoumenos PGoodacre JErtl MKirsch C(2024)Quff: A Dynamically Typed Hybrid Quantum-Classical Programming LanguageProceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes10.1145/3679007.3685063(65-81)Online publication date: 13-Sep-2024
https://dl.acm.org/doi/10.1145/3679007.3685063
Li YPei HHuang LYin BCai K(2024)Automatic Repair of Quantum Programs via Unitary OperationACM Transactions on Software Engineering and Methodology10.1145/366460433:6(1-43)Online publication date: 28-Jun-2024
https://dl.acm.org/doi/10.1145/3664604
Long PZhao J(2024)Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration TestingACM Transactions on Software Engineering and Methodology10.1145/365633933:6(1-61)Online publication date: 27-Jun-2024
https://dl.acm.org/doi/10.1145/3656339
Hu TYe GTang ZTan SWang HLi MWang ZChristakis MPradel M(2024)UPBEAT: Test Input Checks of Q# Quantum LibrariesProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3652120(186-198)Online publication date: 11-Sep-2024
https://dl.acm.org/doi/10.1145/3650212.3652120
Ali SRoychoudhury APaiva AAbreu RStorey M(2024)Quantum Software Testing 101Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings10.1145/3639478.3643059(426-427)Online publication date: 14-Apr-2024
https://dl.acm.org/doi/10.1145/3639478.3643059
Sato NKatsube RRoychoudhury APaiva AAbreu RStorey MHierons RMadeira H(2024)Locating Buggy Segments in Quantum Program DebuggingProceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results10.1145/3639476.3639761(26-31)Online publication date: 14-Apr-2024
https://dl.acm.org/doi/10.1145/3639476.3639761
Salam MIlyas M(2024)Quantum computing challenges and solutions in software industry—A multivocal literature reviewIET Quantum Communication10.1049/qtc2.120965:4(462-485)Online publication date: 29-Dec-2024
https://dl.acm.org/doi/10.1049/qtc2.12096
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten