Bugs in Quantum computing platforms: an empirical study

Author:

Paltenghi Matteo1ORCID,Pradel Michael1ORCID

Affiliation:

1. University of Stuttgart, Germany

Abstract

The interest in quantum computing is growing, and with it, the importance of software platforms to develop quantum programs. Ensuring the correctness of such platforms is important, and it requires a thorough understanding of the bugs they typically suffer from. To address this need, this paper presents the first in-depth study of bugs in quantum computing platforms. We gather and inspect a set of 223 real-world bugs from 18 open-source quantum computing platforms. Our study shows that a significant fraction of these bugs (39.9%) are quantum-specific, calling for dedicated approaches to prevent and find them. The bugs are spread across various components, but quantum-specific bugs occur particularly often in components that represent, compile, and optimize quantum programming abstractions. Many quantum-specific bugs manifest through unexpected outputs, rather than more obvious signs of misbehavior, such as crashes. Finally, we present a hierarchy of recurrent bug patterns, including ten novel, quantum-specific patterns. Our findings not only show the importance and prevalence bugs in quantum computing platforms, but they help developers to avoid common mistakes and tool builders to tackle the challenge of preventing, finding, and fixing these bugs.

Funder

European Research Council

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Reference75 articles.

1. 2021. Overview on Quantum Initiatives Worldwide - Update Mid 2021 . https://www.qureca.com/overview-on-quantum-initiatives-worldwide-update-mid-2021/. 2021. Overview on Quantum Initiatives Worldwide - Update Mid 2021. https://www.qureca.com/overview-on-quantum-initiatives-worldwide-update-mid-2021/.

2. 2021. Qiskit/Qiskit. https://github.com/Qiskit/qiskit. 2021. Qiskit/Qiskit. https://github.com/Qiskit/qiskit.

3. Building Useful Program Analysis Tools Using an Extensible Java Compiler

4. Miltiadis Allamanis , Marc Brockschmidt , and Mahmoud Khademi . 2018 . Learning to Represent Programs with Graphs . In 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings. OpenReview.net. Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi. 2018. Learning to Represent Programs with Graphs. In 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings. OpenReview.net.

5. Getafix: learning to fix bugs automatically

Cited by 22 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. The quantum frontier of software engineering: A systematic mapping study;Information and Software Technology;2024-11

2. UPBEAT: Test Input Checks of Q# Quantum Libraries;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit;Proceedings of the ACM on Software Engineering;2024-07-12

4. Integrating Security and Privacy in Quantum Software Engineering;Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering;2024-06-18

5. Quantum computing challenges and solutions in software industry—A multivocal literature review;IET Quantum Communication;2024-06-02

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3