paperbot · PL 论文追踪

全部论文 待读 收藏

P2 QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit

QMutPy：面向 Qiskit 量子算法与应用的变异测试工具
ISSTA Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis2022匹配度 2/10 · 该论文聚焦量子程序变异测试工具 QMutPy，属于量子软件测试方向，与用户关注的静态分析、LLM/Agent、浮点程序分析和贝叶斯程序分析均无直接交集；仅在“概率/量子编程”标签上与程序分析有非常弱的关联。引用 49 inbox
Daniel Fortunato, José Campos, Rui Abreu
量子与概率编程测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：开发量子变异测试工具 QMutPy，为 Qiskit 量子程序提供量子门与测量变异算子并初步验证有效性。

量子程序测试缺乏成熟的知识与技术，难以有效评估量子程序测试质量。论文在语法等价量子门的定义基础上，基于开源变异测试工具 MutPy 开发了 QMutPy，面向 IBM Qiskit 中的量子算法与应用。工具设计并实现了针对量子比特测量和量子门的变异算子，可自动生成变异体。作者在 11 个真实 Qiskit 量子程序上开展初步研究，表明 QMutPy 是有效的量子变异测试工具，并能揭示当前量子测试的现状。QMutPy 已公开。

问题
量子程序测试缺乏成熟的知识与技术，难以有效评估量子程序测试质量。
方法
基于语法等价量子门的定义和开源工具 MutPy，设计实现 QMutPy，并提出面向量子比特测量与量子门的变异算子以生成变异体。
评估
在 11 个用 IBM Qiskit 编写的真实量子程序上进行初步研究，验证工具有效性并提供当前量子测试状态的洞察。
原文摘要（Abstract）

There is an inherent lack of knowledge and technology to test a quantum program properly. In this paper, building on the definition of syntactically equivalent quantum gates, we describe our efforts in developing a tool, coined QMutPy, leveraging the well-known open-source mutation tool MutPy. We further discuss the design and implementation of QMutPy, and the usage of a novel set of mutation operators that generate mutants for qubit measurements and gates. To evaluate QMutPy’s performance, we conducted a preliminary study on 11 real quantum programs written in the IBM’s Qiskit library. QMutPy has proven to be an effective quantum mutation tool, providing insight into the current state of quantum tests. QMutPy is publicly available at https://github.com/danielfobooss/mutpy. Tool demo: https://youtu.be/fC4tOY5trqc.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot7377,
  title = {QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit},
  author = {Daniel Fortunato and José Campos and Rui Abreu},
  booktitle = {ISSTA},
  year = {2022},
  doi = {10.1145/3533767.3543296}
}