Bugs4Q:面向量子程序的真实缺陷基准
软件工程
2021-09-22 v2 编程语言
摘要
可复现缺陷与修复的真实基准对于调试与测试方法良好的实验评估至关重要。然而,迄今尚无能够系统评估量子程序调试与测试方法的合适基准套件。本文提出Bugs4Q,一个包含来自四个流行Qiskit组件(Terra、Aer、Ignis与Aqua)的三十六个真实、经人工验证的Qiskit缺陷的基准,并辅以复现缺陷行为的测试用例。Bugs4Q还提供访问Qiskit程序缺陷版与修复版及执行相应测试用例的接口,促进Qiskit程序调试与测试工具的可复现实证研究及对比。Bugs4Q公开于 https://github.com/Z-928/Bugs4Q。
引用
@article{arxiv.2108.09744,
title = {Bugs4Q: A Benchmark of Real Bugs for Quantum Programs},
author = {Pengzhan Zhao and Jianjun Zhao and Zhongtao Miao and Shuhan Lan},
journal= {arXiv preprint arXiv:2108.09744},
year = {2021}
}
备注
The short version of this paper will appear in the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021), New Ideas and Emerging Results (NIER) track, November 15-19, 2021