[论文解读] Testing Quantum Programs with Multiple Subroutines

Peixun Long, Jianjun Zhao|arXiv (Cornell University)|Aug 19, 2022

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文提出了一种针对 Q# 中多子程序量子程序的新型测试框架，填补了现有方法中的关键空白。该框架引入了三种新的覆盖标准——经典-叠加态划分、经典-叠加态混合划分和纠缠划分——用于对量子变量进行等价类划分，从而支持单元测试与集成测试。该框架已实现在 QSharpTester 工具中，可在个人计算机上以可接受的性能成功检测出基准程序中几乎全部的故障突变。

ABSTRACT

Errors in quantum programs are challenging to track down due to the uncertainty of quantum programs. Testing is, therefore, an indispensable method for assuring the quality of quantum software. Existing testing methods focus only on testing quantum programs with quantum circuits or single subroutines and, therefore, cannot effectively test quantum programs with multi-subroutines. In this paper, we first discuss several critical issues that must be considered when testing multi-subroutine quantum programs and point out the limitations and problems with existing testing methods. We then present a novel framework for testing multi-subroutine quantum programs that allow for both unit and integration testing. Our framework includes two novel test coverage criteria for the equivalent class partition of quantum variables to guide our testing tasks and techniques to test quantum programs with several common patterns. We also discuss how to generate test cases based on our framework. To evaluate the effectiveness of our testing framework, we implemented a tool called QSharpTester for testing Q\# programs with multiple subroutines. We used it to conduct experiments on hundreds of mutation programs deriving from seven original Q\# programs. The experimental results show that our testing methods can deal with broader types of quantum programs than existing ones and perform well on almost all faulty mutation programs.

研究动机与目标

• 为解决多子程序量子程序缺乏系统化测试支持的问题，这类程序在实践中很常见，但现有测试方法研究不足。
• 识别并阐明以往研究中被忽视的多子程序量子程序测试中的关键问题。
• 开发一个全面的测试框架，支持多子程序量子程序的单元测试与集成测试。
• 定义针对量子变量特性的新型测试覆盖标准，包括叠加态与纠缠态。
• 实现并评估一个名为 QSharpTester 的工具，用于通过变异测试对具有多子程序的 Q# 程序进行测试。

提出的方法

• 引入 IO 标记以显式定义每个子程序的输入与输出，从而支持结构化测试。
• 提出三种新颖的测试覆盖标准：经典-叠加态划分、经典-叠加态混合划分和纠缠划分，用于对量子变量进行等价类划分。
• 基于输入选择原则与输出检测技术设计测试用例生成策略，包括基于投影与基于测量的输出验证方法。
• 支持对多子程序量子程序中两种常见程序模式的测试，提升了实际适用性。
• 在 QSharpTester 中实现该框架，该工具与 Q# 模拟器集成，用于执行与评估测试用例。
• 在七个原始 Q# 程序及其 244 个变异版本上，采用四种变异类型进行变异测试，以评估有效性。

实验结果

研究问题

• RQ1 多子程序量子程序的独特属性（如量子态叠加、纠缠与不可克隆性）如何影响测试策略？
• RQ2 为有效测试跨越经典态、叠加态与纠缠态的量子变量，需要哪些新型覆盖标准？
• RQ3 如何系统性地指导测试用例生成，以检测量子特异性错误，同时保持效率？
• RQ4 与现有方法相比，所提出的框架在多大程度上能够检测出多子程序量子程序中的故障？
• RQ5 该框架能否在标准硬件上利用 Q# 模拟器高效实现并可扩展？

主要发现

• 所提出的框架在基准测试集中成功检测出几乎所有故障突变程序，展现出极强的故障检测能力。
• 该框架识别出部分等价突变，表明其对微妙量子行为具有敏感性，也存在误报的潜在可能。
• 在个人计算机上使用 Q# 模拟器，测试任务在可接受的时间内完成，证实了实际可扩展性。
• 三种新型覆盖标准——经典-叠加态划分、经典-叠加态混合划分与纠缠划分——能够有效且有针对性地测试量子变量。
• 所实现的工具 QSharpTester 支持单元测试与集成测试，为多子程序量子程序测试提供了系统化方法。
• 与现有方法相比，该框架在处理更广泛的量子程序类型以及检测与量子特性相关的错误方面表现更优。