Locating Buggy Segments in Quantum Program Debugging

by   Naoto Sato, et al.

When a bug is detected by testing a quantum program on a quantum computer, we want to determine its detailed 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 that is represented as the number of executed quantum gates can be reduced with the proposed method compared with naive methods.


page 1

page 2

page 3

page 4


A Comprehensive Study of Bug Fixes in Quantum Programs

As quantum programming evolves, more and more quantum programming langua...

Bug Characteristics in Quantum Software Ecosystem

With the advance in quantum computing in recent years, quantum software ...

Charactering and Detecting CUDA Program Bugs

While CUDA has become a major parallel computing platform and programmin...

Characterizing and Detecting CUDA Program Bugs

While CUDA has become a major parallel computing platform and programmin...

Identifying Bug Patterns in Quantum Programs

Bug patterns are erroneous code idioms or bad coding practices that have...

MorphQ: Metamorphic Testing of Quantum Computing Platforms

As quantum computing is becoming increasingly popular, the underlying qu...

Carving out the low surface brightness universe with NoiseChisel

NoiseChisel is a program to detect very low signal-to-noise ratio (S/N) ...

Please sign up or login with your details

Forgot password? Click here to reset