Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
Authors:
- 1 November 2021
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1373-1376
Abstract
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/Bugs4QKeywords
All Related Versions
This publication has 15 references indexed in Scilit:
- Is your quantum program bug-free?2020
- Statistical assertions for validating patterns and finding bugs in quantum programs2019
- On Testing Quantum Programs2019
- BugsJS: a Benchmark of JavaScript Bugs2019
- Q#2018
- The ManyBugs and IntroClass Benchmarks for Automated Repair of C ProgramsIEEE Transactions on Software Engineering, 2015
- Defects4J: a database of existing faults to enable controlled testing studies for Java programs2014
- Extraction of bug localization benchmarks from history2007
- Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential ImpactEmpirical Software Engineering, 2005
- Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria2002