Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
复制标题
Bugs4Q：量子程序真实错误的基准
DOI：
10.1109/ase51524.2021.9678908
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Shuhan Lan
中科院分区：
文献类型：
--
作者：
Pengzhan Zhao;Jianjun Zhao;Zhongtao Miao;Shuhan Lan
可再现的错误和修复的现实基准对于对调试和测试方法的良好实验评估至关重要。但是，尚无合适的基准套件可以系统地评估量子程序的调试和测试方法。本文提出了Bugs4q，这是来自四个流行的Qiskit元素（Terra，Aer，Ignis和Aqua）的36个真实，手动验证的Qiskit错误的基准，并补充了用于再现虫子行为的测试用例。 BUGS4Q还提供了访问Qiskit程序的错误和固定版本并执行相应测试用例的接口，从而促进了可重复的经验研究以及Qiskit程序调试和测试工具的比较。 BUGS4Q可在https://github.com/z-928/bugs4q上公开获取
Realistic benchmarks of reproducible bugs and fixes are vital to good experimental evaluation of debugging and testing approaches. However, there is no suitable benchmark suite that can systematically evaluate the debugging and testing methods of quantum programs until now. This paper proposes Bugs4Q, a benchmark of thirty-six real, manually validated Qiskit bugs from four popular Qiskit elements (Terra, Aer, Ignis, and Aqua), supplemented with the test cases for reproducing buggy behaviors. Bugs4Q also provides interfaces for accessing the buggy and fixed versions of the Qiskit programs and executing the corresponding test cases, facilitating the reproducible empirical studies and comparisons of Qiskit program debugging and testing tools. Bugs4Q is publicly available at https://github.com/Z-928/Bugs4Q
用于测试和调试 Quantum 程序的基于投影的运行时断言
影响因子：
--
作者：
Li, Gushu;Zhou, Li;Yu, Nengkun;Ding, Yufei;Ying, Mingsheng;Xie, Yuan
通讯作者：
Xie, Yuan