| Tweet | |
| H. Ohto, Y. Ishimoto, S. Matsumoto, and S. Kusumoto, "Reproducibility of Bugs4Q under Framework Evolution: Toward Supporting Quantum Program Migration," In 電子情報通信学会技術研究報告, 126(125), pp. 115-120, July 2026. | |
| ID | 901 |
| 分類 | 研究会・全国大会等 |
| タグ | quantum software automated migration software reproducibility software defects |
| 表題 (title) |
Reproducibility of Bugs4Q under Framework Evolution: Toward Supporting Quantum Program Migration |
| 表題 (英文) |
|
| 著者名 (author) |
Haruto Ohto, Yuta Ishimoto, Shinsuke Matsumoto, Shinji Kusumoto |
| 英文著者名 (author) |
Haruto Ohto, Yuta Ishimoto, Shinsuke Matsumoto, Shinji Kusumoto |
| 編者名 (editor) |
|
| 編者名 (英文) |
|
| キー (key) |
Haruto Ohto, Yuta Ishimoto, Shinsuke Matsumoto, Shinji Kusumoto |
| 書籍・会議録表題 (booktitle) |
電子情報通信学会技術研究報告 |
| 書籍・会議録表題(英文) |
|
| 巻数 (volume) |
126 |
| 号数 (number) |
125 |
| ページ範囲 (pages) |
115-120 |
| 組織名 (organization) |
|
| 出版元 (publisher) |
|
| 出版元 (英文) |
|
| 出版社住所 (address) |
|
| 刊行月 (month) |
7 |
| 出版年 (year) |
2026 |
| 採択率 (acceptance) |
|
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
The reproducibility of software defect datasets is essential for obtaining reliable and comparable research results. However, software defect datasets can suffer from reproduction failures, where reported bugs become non-reproducible over time. We studied the reproducibility of Bugs4Q, a representative defect dataset of real-world bugs in Qiskit programs, from both quantitative and qualitative perspectives. The study revealed that most reproduction failures stem not from quantum-specific characteristics but from framework version upgrades and dependency changes. Guided by these causes, we manually migrated Bugs4Q to the latest Qiskit version and substantially improved its reproducibility, releasing the result as Bugs4Q-Robust. This suggests that such failures can be addressed systematically, and that automatically migrating a defect dataset to newer framework versions may keep it reproducible in a scalable manner. However, evidence drawn solely from Qiskit limits the external validity of this approach. As a next step toward scalable dataset migration, we present a plan to study framework evolution in other quantum software frameworks and examine how the migration approach generalizes beyond Qiskit. |
| 論文電子ファイル | draft.pdf (application/pdf) [一般閲覧可] |
| BiBTeXエントリ |
@inproceedings{id901,
title = {Reproducibility of {Bugs4Q} under Framework Evolution: Toward Supporting Quantum Program Migration},
author = {Haruto Ohto and Yuta Ishimoto and Shinsuke Matsumoto and Shinji Kusumoto},
booktitle = {電子情報通信学会技術研究報告},
volume = {126},
number = {125},
pages = {115-120},
month = {7},
year = {2026},
}
|