Identifying Bug Patterns in Quantum Programs
Pengzhan Zhao,Jianjun Zhao,Lei Ma +2 more
- 01 Jun 2021
- pp 16-21
TL;DR: In this paper, the authors identify and categorize some bug patterns in the quantum programming language Qiskit and briefly discuss how to eliminate or prevent those bug patterns, which are usually caused by the misunderstanding of a programming language's features, the use of erroneous design patterns or simple mistakes sharing common behaviors.
read more
Abstract: Bug patterns are erroneous code idioms or bad coding practices that have been proved to fail time and time again, which are usually caused by the misunderstanding of a programming language's features, the use of erroneous design patterns, or simple mistakes sharing common behaviors. This paper identifies and categorizes some bug patterns in the quantum programming language Qiskit and briefly discusses how to eliminate or prevent those bug patterns. We take this research as the first step to provide an underlying basis for debugging and testing quantum programs.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Posted Content
Quantum Software Engineering: Landscapes and Horizons.
TL;DR: The survey summarizes the technology available in the various phases of the quantum software life cycle, including quantum software requirements analysis, design, implementation, test, and maintenance and covers the crucial issue of quantum software reuse.
172
QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit
Daniel Fortunato,Jose Campos,Rui Abreu +2 more
- 18 Jul 2022
TL;DR: Building on the definition of syntactically equivalent quantum gates, the efforts in developing a tool, coined QMutPy, leveraging the well-known open-source mutation tool MutPy are described, providing insight into the current state of quantum tests.
39
Software engineering for quantum programming: How far are we?
TL;DR: In this article , the authors mine all the GitHub repositories that make use of the most used quantum programming frameworks currently on the market and then conduct coding analysis sessions to produce a taxonomy of the purposes for which quantum technologies are used.
•Posted Content
Bugs in Quantum Computing Platforms: An Empirical Study
Matteo Paltenghi,Michael Pradel +1 more
TL;DR: In this article, the authors present the first in-depth study of bugs in quantum computing platforms and show that a significant fraction of these bugs (39.9%) are quantum-specific, calling for dedicated approaches to prevent and find them.
31
Mutation Testing of Quantum Programs: A Case Study With Qiskit
TL;DR: QMUTPY as discussed by the authors is an extension of the well-known and fully automated open-source mutation tool MULTPY, which is used to generate mutants based on qubit measurements and quantum gates.
References
Qiskit: An Open-source Framework for Quantum Computing
Gadi Aleksandrowicz,Thomas Alexander,Panagiotis Kl. Barkoutsos,Luciano Bello,Yael Ben-Haim,David Bucher,Francisco Jose Cabrera-Hernández,Jorge Carballo-Franquis,Adrian Chen,Chun-Fu Chen,Jerry M. Chow,Antonio D. Córcoles-Gonzales,Abigail J. Cross,Andrew W. Cross,Juan Cruz-Benito,Chris Culver,Salvador De La Puente González,Enrique De La Torre,Delton Ding,Eugene F. Dumitrescu,Ivan Duran,Pieter T. Eendebak,Mark Everitt,Ismael Faro Sertage,Albert Frisch,Andreas Fuhrer,Jay M. Gambetta,Borja Godoy Gago,Juan Gomez-Mosquera,Donny Greenberg,Ikko Hamamura,Vojtech Havlicek,Joe Hellmers,Łukasz Herok,Hiroshi Horii,Shaohan Hu,Takashi Imamichi,Toshinari Itoko,Ali Javadi-Abhari,Naoki Kanazawa,Anton Karazeev,Kevin Krsulich,Peng Liu,Yang Luh,Yunho Maeng,Manoel Marques,Francisco Martín-Fernández,Douglas McClure,David McKay,Srujan Meesala,Antonio Mezzacapo,Nikolaj Moll,Diego Moreda Rodríguez,Giacomo Nannicini,P. D. Nation,Pauline J. Ollitrault,Lee James O'Riordan,Hanhee Paik,Jesús Pérez,Anna Phan,Marco Pistoia,Viktor Prutyanov,Max Reuter,Julia E. Rice,Abdón Rodríguez Davila,Raymond Harry Rudy,Mingi Ryu,Ninad Sathaye,Chris Schnabel,Eddie Schoute,Kanav Setia,Yunong Shi,Adenilton Silva,Yukio Siraichi,Seyon Sivarajah,John A. Smolin,Mathias Soeken,Hitomi Takahashi,Ivano Tavernelli,Charles Taylor,Pete Taylour,Kenso Trabing,Matthew Treinish,Wes Turner,Desiree Vogt-Lee,Christophe Vuillot,Jonathan A. Wildstrom,Jessica Wilson,Erick Winston,Christopher J. Wood,Stephen P. Wood,Stefan Wörner,Ismail Yunus Akhalwaya,Christa Zoufal +93 more
- 23 Jan 2019
1.2K
Finding bugs is easy
David Hovemeyer,William Pugh +1 more
- 23 Oct 2004
TL;DR: It is found that even well tested code written by experts contains a surprising number of obvious bugs and that simple automatic techniques can be effective at countering the impact of both ordinary mistakes and misunderstood language features.
Quipper: a scalable quantum programming language
Alexander S. Green,Peter LeFanu Lumsdaine,Neil J. Ross,Peter Selinger,Benoît Valiron +4 more
- 16 Jun 2013
TL;DR: Quipper, a scalable, expressive, functional, higher-order quantum programming language, which is geared towards a model of computation that uses a classical computer to control a quantum device, but is not dependent on any particular model of quantum hardware.
Finding bugs is easy
David Hovemeyer,William Pugh +1 more
TL;DR: It is found that even well tested code written by experts contains a surprising number of obvious bugs, and that simple automatic techniques can be effective at countering the impact of both ordinary mistakes and misunderstood language features.
359
Q#: Enabling scalable quantum computing and development with a high-level domain-specific language.
Krysta M. Svore,Alan S. Geller,Matthias Troyer,John Azariah,Christopher Granade,Bettina Heim,Vadym Kliuchnikov,Mariia Mykhailova,Andres Paz,Martin Roetteler +9 more
TL;DR: Q# is presented, a quantum-focused domain-specific language explicitly designed to correctly, clearly and completely express quantum algorithms that provides a type system; a tightly constrained environment to safely interleave classical and quantum computations; specialized syntax; symbolic code manipulation to automatically generate correct transformations of quantum operations.
Related Papers (5)
Quinn Hanam,Fernando Brito,Ali Mesbah +2 more
- 01 Nov 2016
Eduardo Cunha Campos,Marcelo de Almeida Maia +1 more
- 09 Nov 2017
[...]
David Hovemeyer,William Pugh +1 more
- 23 Oct 2004
Tommaso Dal Sassc,Michele Lanza +1 more
- 01 Sep 2013