[论文解读] On Testing and Debugging Quantum Software

Andriy Miranskyy, Lei Zhang+1 more|arXiv (Cornell University)|Mar 16, 2021

Quantum Computing Algorithms and ArchitectureComputer Science参考文献 80被引用 1

一句话总结

本文通过解决量子计算特有的挑战，如波函数坍缩、不可克隆性以及叠加态等，提出了针对量子软件的专用测试与调试策略。文章倡导采用近似态克隆、测量结果的统计分析以及编译器辅助的代码插桩等技术，以实现在噪声中等规模量子设备上有效调试量子程序。

ABSTRACT

Quantum computers are becoming more mainstream. As more programmers are starting to look at writing quantum programs, they need to test and debug their code. In this paper, we discuss various use-cases for quantum computers, either standalone or as part of a System of Systems. Based on these use-cases, we discuss some testing and debugging tactics that one can leverage to ensure the quality of the quantum software. We also highlight quantum-computer-specific issues and list novel techniques that are needed to address these issues. The practitioners can readily apply some of these tactics to their process of writing quantum programs, while researchers can learn about opportunities for future work.

研究动机与目标

• 识别并解决阻碍传统软件测试与调试的量子计算机特有问题。
• 提出可在现实场景中实际应用的量子程序测试与调试策略。
• 突出强调有效量子软件质量保障所必需的新技术，如近似克隆与统计分析。
• 为实践者提供现有方法的应用指导，并为研究人员指明未来工具与方法论开发的需求。

提出的方法

• 利用近似量子态克隆技术，生成多个量子态副本以进行统计分析。
• 通过测量结果的统计聚合，实证重构概率分布并验证预期行为。
• 提出在编译器层面进行插桩，自动插入克隆与测量代码，以实现运行时断言。
• 在特定情况下应用已知的正交态克隆方法，实现精确复制。
• 引入算法量子比特与量子体积作为性能指标，以指导在真实硬件约束下的测试。
• 建议在实际量子硬件部署前，先通过经典计算机上的混合仿真进行小规模测试。

实验结果

研究问题

• RQ1 传统软件测试与调试技术如何适应量子计算的独特约束？
• RQ2 为应对波函数坍缩与不可克隆定理等量子特有挑战，需要哪些新技术？
• RQ3 当直接测量会破坏叠加态时，近似态克隆如何实现有效调试？
• RQ4 编译器在自动化测试与断言生成方面可如何协助量子程序？
• RQ5 硬件指标如量子体积与算法量子比特在指导有效测试策略方面发挥何种作用？

主要发现

• 近似量子态克隆使对量子态分布的实证分析成为可能，从而在不直接观测叠加态的情况下检测逻辑错误。
• 对于已知的正交态，精确克隆是可行的，为特定情况下的确定性调试提供了有效路径。
• 通过对多次运行中重复测量结果的统计分析，可验证预期的概率分布，作为回归测试的一种形式。
• 编译器辅助的插桩可自动插入克隆与测量代码，实现自动化断言并减少人工工作量。
• 量子体积与算法量子比特指标有助于评估硬件可靠性，并指导在真实性能约束下的测试。
• 对于未知输入态，尚无通用调试解决方案，需依赖逐案分析与基于启发式的方法。