返回
Schrödinger's bug: a survey on quantum software debugging
DOI:10.1007/s11128-026-05114-3.png)
摘要
En 中文
量子计算为经典上难以处理的问题提供了指数级的加速潜力,但量子编程仍然容易出错。传统的调试方法往往不足,因为量子力学原理使得状态检查具有干扰性,而经典模拟具有指数级的时间复杂度。本文综述了量子断言作为识别和定位量子程序中错误的关键技术。我们根据其评估阶段将这些技术分为两类:经典运行时断言和量子运行时断言。对于每个类别,我们分析了当前方法的优势、局限性、时间复杂度和适用性。我们的研究发现,可扩展的量子调试仍然是一个开放性问题——这一挑战即使在容错硬件问世后也将持续存在。最后,本研究突出了关键挑战,并提出了未来开发新型量子调试技术的方向。
Keyword:
Quantum Computing
Quantum Programming
Debug
Assertion
期刊
Q
IF:
2.2
论文数:
275
被引数:
0
机构
引用论文
暂无论文信息

