| Item type |
SIG Technical Reports(1) |
| 公開日 |
2021-06-24 |
| タイトル |
|
|
タイトル |
Bugs4Q: A Benchmark of Real Bugs for Qiskit Programs |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Bugs4Q: A Benchmark of Real Bugs for Qiskit Programs |
| 言語 |
|
|
言語 |
eng |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
Kyushu University |
| 著者所属 |
|
|
|
Kyushu University |
| 著者所属 |
|
|
|
Kyushu University |
| 著者所属 |
|
|
|
Kyushu University |
| 著者所属(英) |
|
|
|
en |
|
|
Kyushu University |
| 著者所属(英) |
|
|
|
en |
|
|
Kyushu University |
| 著者所属(英) |
|
|
|
en |
|
|
Kyushu University |
| 著者所属(英) |
|
|
|
en |
|
|
Kyushu University |
| 著者名 |
Pengzhan, Zhao
Jianjun, Zhao
Zhongtao, Miao
Shuhan, Lan
|
| 著者名(英) |
Pengzhan, Zhao
Jianjun, Zhao
Zhongtao, Miao
Shuhan, Lan
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Realistic benchmarks of reproducible bugs and fixes are vital to good experimental evaluation of testing and analysis approaches. Unfortunately, until now, there is no suitable benchmark suite that can be used to evaluate testing and debugging tools for quantum programs systematically. This paper proposes Bugs4Q, a benchmark of thirty 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 analysis and testing tools. |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Realistic benchmarks of reproducible bugs and fixes are vital to good experimental evaluation of testing and analysis approaches. Unfortunately, until now, there is no suitable benchmark suite that can be used to evaluate testing and debugging tools for quantum programs systematically. This paper proposes Bugs4Q, a benchmark of thirty 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 analysis and testing tools. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA12894105 |
| 書誌情報 |
量子ソフトウェア（QS）
巻 2021-QS-3,
号 2,
p. 1-6,
発行日 2021-06-24
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2435-6492 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-QS21003002.pdf (782.6 kB)
