2000 character limit reached
Locating Buggy Segments in Quantum Program Debugging (2309.04266v3)
Published 8 Sep 2023 in cs.SE
Abstract: When a bug is detected by testing a quantum program on a quantum computer, we want to determine its location to fix it. To locate the bug, the quantum program is divided into several segments, and each segment is tested. However, to prepare a quantum state that is input to a segment, it is necessary to execute all the segments ahead of that segment in a quantum computer. This means that the cost of testing each segment depends on its location. We can also locate a buggy segment only if it is confirmed that there are no bugs in all segments ahead of that buggy segment. Since a quantum program is tested statistically on the basis of measurement results, there is a tradeoff between testing accuracy and cost. Although these characteristics are unique to quantum programs and complicate locating bugs, they have not been investigated. We suggest for the first time that these characteristics should be considered to efficiently locate bugs. We are also the first to propose a bug-locating method that takes these characteristics into account. The results from experiments indicate that the bug-locating cost, represented as the number of executed quantum gates, can be reduced with the proposed method compared with naive methods.
- Metamorphic testing of oracle quantum programs. In Proceedings of the 3rd International Workshop on Quantum Software Engineering. 16–23.
- Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). 13–23. https://doi.org/10.1109/ICST49551.2021.00014
- Luis S. Barbosa. 2020. Software Engineering for ’Quantum Advantage’. In Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops (Seoul, Republic of Korea) (ICSEW’20). Association for Computing Machinery, New York, NY, USA, 427–429. https://doi.org/10.1145/3387940.3392184
- Andrew Cross. 2018. The IBM Q experience and QISKit open-source quantum computing software. In APS March meeting abstracts, Vol. 2018. L58–003.
- Software engineering for quantum programming: How far are we? Journal of Systems and Software 190 (2022), 111326. https://doi.org/10.1016/j.jss.2022.111326
- Qmutpy: A mutation testing tool for quantum algorithms and applications in qiskit. In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. 797–800.
- Sébastien Hélie. 2007. Understanding statistical power using noncentral probability distributions: Chi-squared, G-squared, and ANOVA. Tutorials in Quantitative Methods for Psychology 3, 2 (2007), 63–69.
- Property-based testing of quantum programs in Q#. In Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops. 430–435.
- Yipeng Huang and Margaret Martonosi. 2018. QDB: from quantum algorithms towards correct quantum programs. arXiv preprint arXiv:1811.05447 (2018).
- Yipeng Huang and Margaret Martonosi. 2019. Statistical assertions for validating patterns and finding bugs in quantum programs. In Proceedings of the 46th International Symposium on Computer Architecture. 541–553.
- Projection-based runtime assertions for testing and debugging quantum programs. Proceedings of the ACM on Programming Languages 4, OOPSLA (2020), 1–29.
- Quantum circuits for dynamic runtime assertions in quantum computation. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 1017–1030.
- Ji Liu and Huiyang Zhou. 2021. Systematic Approaches for Precise and Approximate Quantum State Runtime Assertion. In 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA). 179–193. https://doi.org/10.1109/HPCA51647.2021.00025
- Peixun Long and Jianjun Zhao. 2022. Testing Quantum Programs with Multiple Subroutines. (8 2022). arXiv:2208.09206 [cs.SE]
- A practical and efficient approach for Bayesian quantum state estimation. New Journal of Physics 22, 6 (2020), 063038.
- Muskit: A mutation analysis tool for quantum software testing. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1266–1270.
- Andriy Miranskyy and Lei Zhang. 2019. On Testing Quantum Programs. In 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER). 57–60. https://doi.org/10.1109/ICSE-NIER.2019.00023
- Is your quantum program bug-free? arXiv preprint arXiv:2001.10870 (2020).
- On testing and debugging quantum software. arXiv preprint arXiv:2103.09172 (2021).
- A Roadmap for Quantum Software Engineering: Applying the Lessons Learned from the Classics.. In Q-SET@ QCE. 5–13.
- Noise-Aware Quantum Software Testing. arXiv preprint arXiv:2306.16992 (2023).
- Michael A Nielsen and Isaac L Chuang. 2010. Quantum computation and quantum information. Cambridge university press.
- Matteo Paltenghi and Michael Pradel. 2023. MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform. In Proceedings of the 45th International Conference on Software Engineering (Melbourne, Victoria, Australia) (ICSE ’23). IEEE Press, 2413–2424. https://doi.org/10.1109/ICSE48619.2023.00202
- Quantum computing: A new software engineering golden age. ACM SIGSOFT Software Engineering Notes 45, 3 (2021), 12–14.
- The talavera manifesto for quantum software engineering and programming.. In QANSWER. 1–5.
- Fuyuhiko Tanaka. 2012. Bayesian estimation of the wave function. Physics Letters A 376, 36 (2012), 2471–2476. https://doi.org/10.1016/j.physleta.2012.06.026
- Poster: Fuzz testing of quantum program. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 466–469.
- Application of combinatorial testing to quantum programs. In 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). IEEE, 179–188.
- Quito: a coverage-guided test generator for quantum programs. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1237–1241.
- QuSBT: search-based testing of quantum programs. In Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings. 173–177.
- Mutation-based test generation for quantum programs with multi-objective search. In Proceedings of the Genetic and Evolutionary Computation Conference. 1345–1353.
- Louis F Williams Jr. 1976. A modification to the half-interval search (binary search) method. In Proceedings of the 14th annual Southeast regional conference. 95–101.
- Jianjun Zhao. 2020. Quantum software engineering: Landscapes and horizons. arXiv preprint arXiv:2007.07047 (2020).
- QChecker: Detecting Bugs in Quantum Programs via Static Analysis. In 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE). 50–57. https://doi.org/10.1109/Q-SE59154.2023.00014
- Identifying Bug Patterns in Quantum Programs. In 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). IEEE Computer Society, Los Alamitos, CA, USA, 16–21. https://doi.org/10.1109/Q-SE52541.2021.00011
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
