arrow
返回

Schrödinger's bug: a survey on quantum software debugging

delete2026-03-05
delete0
PRE
AI
R
Rosa, Evandro *
S
Santiago, Rafael
DOI:10.1007/s11128-026-05114-3delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
量子计算为经典上难以处理的问题提供了指数级的加速潜力,但量子编程仍然容易出错。传统的调试方法往往不足,因为量子力学原理使得状态检查具有干扰性,而经典模拟具有指数级的时间复杂度。本文综述了量子断言作为识别和定位量子程序中错误的关键技术。我们根据其评估阶段将这些技术分为两类:经典运行时断言和量子运行时断言。对于每个类别,我们分析了当前方法的优势、局限性、时间复杂度和适用性。我们的研究发现,可扩展的量子调试仍然是一个开放性问题——这一挑战即使在容错硬件问世后也将持续存在。最后,本研究突出了关键挑战,并提出了未来开发新型量子调试技术的方向。
Keyword:
Quantum Computing
Quantum Programming
Debug
Assertion

期刊

Q
Quantum Information Processing
IF:
2.2
论文数:
275
被引数:
0

机构

U
universidade federal de santa catarina (ufsc)
学者数:
1.5W
论文数: 1.1W
被引数: 9
引用论文

引用论文

暂无论文信息