量子程序缺陷修复的综合研究
A Comprehensive Study of Bug Fixes in Quantum Programs
摘要：
随着量子编程的发展，越来越多的量子编程语言正在开发中。因此，调试和测试量子程序变得越来越重要。虽然经典程序中的错误修复已经走过了很长的路，但在量子程序中缺乏研究。为此，本文提出了一个全面的研究量子程序中的错误修复。我们收集和调查了来自四种流行的量子编程语言Qiskit，Cirq，Q#和ProjectQ的96个真实世界的错误及其修复。我们的研究表明，量子程序中的错误有很大比例是量子特定的错误（超过80%），这需要在错误修复领域进行进一步的研究。我们还总结和扩展了量子程序中的错误模式，并对最关键的部分--数学相关错误进行了细分，使其更适用于量子程序的研究。我们的研究结果总结了量子程序中缺陷的特征，为研究量子程序的测试和调试提供了基础。
英文摘要：
As quantum programming evolves, more and more quantum programming languages are being developed. As a result, debugging and testing quantum programs have become increasingly important. While bug fixing in classical programs has come a long way, there is a lack of research in quantum programs. To this end, this paper presents a comprehensive study on bug fixing in quantum programs. We collect and investigate 96 real-world bugs and their fixes from four popular quantum programming languages Qiskit, Cirq, Q#, and ProjectQ). Our study shows that a high proportion of bugs in quantum programs are quantum-specific bugs (over 80%), which requires further research in the bug fixing domain. We also summarize and extend the bug patterns in quantum programs and subdivide the most critical part, math-related bugs, to make it more applicable to the study of quantum programs. Our findings summarize the characteristics of bugs in quantum programs and provide a basis for studying testing and debugging quantum programs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
