A Comprehensive Study of Bug Fixes in Quantum Programs

As quantum programming evolves, more and more quantum programming languages are being developed. As a result, debugging and testing quantum programs have become increasingly important. While bug fixing in classical programs has come a long way, there is a lack of research in quantum programs. To thi...

Full description

Saved in:
Bibliographic Details
Published in:2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) pp. 1239 - 1246
Main Authors: Luo, Junjie, Zhao, Pengzhan, Miao, Zhongtao, Lan, Shuhan, Zhao, Jianjun
Format: Conference Proceeding
Language:English
Published: IEEE 01.03.2022
Subjects:
Bug fixing
Computer bugs
Computer languages
Conferences
Debugging
empirical study
Programming
quantum program debugging
quantum software testing
Software
Testing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract As quantum programming evolves, more and more quantum programming languages are being developed. As a result, debugging and testing quantum programs have become increasingly important. While bug fixing in classical programs has come a long way, there is a lack of research in quantum programs. To this end, this paper presents a comprehensive study on bug fixing in quantum programs. We collect and investigate 96 real-world bugs and their fixes from four popular quantum programming languages (Qiskit, Cirq, Q#, and ProjectQ). Our study shows that a high proportion of bugs in quantum programs are quantum-specific bugs (over 80%), which requires further research in the bug fixing domain. We also summarize and extend the bug patterns in quantum programs and subdivide the most critical part, math-related bugs, to make it more applicable to the study of quantum programs. Our findings summarize the characteristics of bugs in quantum programs and provide a basis for studying testing and debugging quantum programs.
AbstractList As quantum programming evolves, more and more quantum programming languages are being developed. As a result, debugging and testing quantum programs have become increasingly important. While bug fixing in classical programs has come a long way, there is a lack of research in quantum programs. To this end, this paper presents a comprehensive study on bug fixing in quantum programs. We collect and investigate 96 real-world bugs and their fixes from four popular quantum programming languages (Qiskit, Cirq, Q#, and ProjectQ). Our study shows that a high proportion of bugs in quantum programs are quantum-specific bugs (over 80%), which requires further research in the bug fixing domain. We also summarize and extend the bug patterns in quantum programs and subdivide the most critical part, math-related bugs, to make it more applicable to the study of quantum programs. Our findings summarize the characteristics of bugs in quantum programs and provide a basis for studying testing and debugging quantum programs.
Author Miao, Zhongtao
Luo, Junjie
Lan, Shuhan
Zhao, Pengzhan
Zhao, Jianjun
Author_xml – sequence: 1
  givenname: Junjie
  surname: Luo
  fullname: Luo, Junjie
  organization: Kyushu University,Japan
– sequence: 2
  givenname: Pengzhan
  surname: Zhao
  fullname: Zhao, Pengzhan
  organization: Kyushu University,Japan
– sequence: 3
  givenname: Zhongtao
  surname: Miao
  fullname: Miao, Zhongtao
  organization: Kyushu University,Japan
– sequence: 4
  givenname: Shuhan
  surname: Lan
  fullname: Lan, Shuhan
  organization: Kyushu University,Japan
– sequence: 5
  givenname: Jianjun
  surname: Zhao
  fullname: Zhao, Jianjun
  organization: Kyushu University,Japan
BookMark eNotzNtKwzAYAOAIeuGmTyBCXqA1yZ_jZS2bCsPT9HqE9M8M2HSkrbi3V9Cr7-5bkNM8ZCTkmrOac-Zuts3j6lWBBFELJkTNGJfmhCy41kqCsRrOiW5oO_SHgh-Yx_SFdDvN3ZEOkd7Oe7pO3zjSlOnL7PM09_S5DPvi-_GCnEX_OeLlv0vyvl69tffV5unuoW02VRIMpsrHTgb04JBzE0VnnbMiaC0RwYSoEDXIzgFoE62SKL10AZSKgVumvYUlufp7EyLuDiX1vhx3v4ky1sAPnvpCqA
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/SANER53432.2022.00147
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE/IET Electronic Library
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 1665437863
9781665437868
EndPage 1246
ExternalDocumentID 9825787
Genre orig-research
GroupedDBID 6IE
6IL
CBEJK
RIE
RIL
ID FETCH-LOGICAL-i203t-afd4cea39e117f2d89982c664ee37cf5ee634d93367f854e4a49c355fc1806a83
IEDL.DBID RIE
ISICitedReferencesCount 14
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000855050800135&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Thu Jun 29 18:36:50 EDT 2023
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i203t-afd4cea39e117f2d89982c664ee37cf5ee634d93367f854e4a49c355fc1806a83
PageCount 8
ParticipantIDs ieee_primary_9825787
PublicationCentury 2000
PublicationDate 2022-March
PublicationDateYYYYMMDD 2022-03-01
PublicationDate_xml – month: 03
  year: 2022
  text: 2022-March
PublicationDecade 2020
PublicationTitle 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
PublicationTitleAbbrev SANER
PublicationYear 2022
Publisher IEEE
Publisher_xml – name: IEEE
Score 2.3009079
Snippet As quantum programming evolves, more and more quantum programming languages are being developed. As a result, debugging and testing quantum programs have...
SourceID ieee
SourceType Publisher
StartPage 1239
SubjectTerms Bug fixing
Computer bugs
Computer languages
Conferences
Debugging
empirical study
Programming
quantum program debugging
quantum software testing
Software
Testing
Title A Comprehensive Study of Bug Fixes in Quantum Programs
URI https://ieeexplore.ieee.org/document/9825787
WOSCitedRecordID wos000855050800135&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA5t8eBJpRXf5ODRtbt551ilxVOpL-itZJOJ7sGtdLui_95kt1QQL95CYAgzyTAzyfdlELpUObGGE0hAaJIwZWVwKeBJnlKnjHcyJ6ZpNiGnUzWf61kHXW25MADQgM_gOg6bt3y3tHW8Khtq1RywLupKKVqu1oaUk6V6-Diajh94JEqGso_EfzizX01Tmpgx2fvfavto8EO-w7NtWDlAHSj7SIxw9NwVvLaAcxzxf1946fFN_YInxSdUuCjxfR0MVb9F-Yi6qgboeTJ-ur1LNi0PkoKkdJ0E6zALhmrIMumJi9UQsUIwACqt5wCCMqcpFdIrzoAZpm1IGbzNVCqMooeoVy5LOEJYiNSJnArnuA_iWnNLUmYZGAkqZEHHqB91Xry3v1osNuqe_D19inajUVv01RnqrVc1nKMd-7EuqtVFsxXflSCL3w
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED_mFPRJZRO_zYOP1rVJmo_HKRuKs0ydsLfRJlftg51sq-h_b9OVCeKLbyFwhLvkuLvk98sBnKuEmjik6KHQ1OPKyNKlMPQSn1kVp1YmNK6aTcgoUuOxHjbgYsWFQcQKfIaXbli95dupKdxVWUer6oCtwbrrnFWztWpaTuDrzlM36j2GjipZFn7U_cQZ_GqbUkWN_vb_1tuB9g_9jgxXgWUXGpi3QHSJ890Zvi4h58QhAL_INCVXxQvpZ584J1lOHorSVMWbk3e4q3kbnvu90fWNVzc98DLqs4VX2ocbjJnGIJApta4eokYIjsikSUNEwbjVjAmZqpAjj7k2ZdKQmkD5IlZsD5r5NMd9IEL4ViRMWBumpbjWoaE-NxxjiarMgw6g5XSevC__tZjU6h7-PX0Gmzej-8FkcBvdHcGWM_ASi3UMzcWswBPYMB-LbD47rbblGxIMjyg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2022+IEEE+International+Conference+on+Software+Analysis%2C+Evolution+and+Reengineering+%28SANER%29&rft.atitle=A+Comprehensive+Study+of+Bug+Fixes+in+Quantum+Programs&rft.au=Luo%2C+Junjie&rft.au=Zhao%2C+Pengzhan&rft.au=Miao%2C+Zhongtao&rft.au=Lan%2C+Shuhan&rft.date=2022-03-01&rft.pub=IEEE&rft.spage=1239&rft.epage=1246&rft_id=info:doi/10.1109%2FSANER53432.2022.00147&rft.externalDocID=9825787