论文标题
对量子程序中错误修复的全面研究
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.
