論文の概要: A Comprehensive Study of Bug Fixes in Quantum Programs
- arxiv url: http://arxiv.org/abs/2201.08662v1
- Date: Fri, 21 Jan 2022 12:14:42 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-28 06:15:28.567502
- Title: A Comprehensive Study of Bug Fixes in Quantum Programs
- Title(参考訳): 量子プログラムにおけるバグ修正の総合的研究
- Authors: Junjie Luo, Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, Jianjun Zhao
- Abstract要約: 96の現実世界のバグとその修正をQiskit、Cirq、Q#、ProjectQの4つの人気量子プログラミング言語から収集し調査する。
我々の研究は、量子プログラムのバグの比率が高いのは、量子固有のバグ(80%以上)であり、バグ修正領域のさらなる研究が必要であることを示している。
- 参考スコア(独自算出の注目度): 2.4210353446643804
- License: http://creativecommons.org/licenses/by/4.0/
- 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.
- Abstract(参考訳): 量子プログラミングが進化するにつれて、ますます多くの量子プログラミング言語が開発されている。
その結果、量子プログラムのデバッグとテストがますます重要になっている。
古典的なプログラムのバグ修正は長い道のりを歩んでいるが、量子プログラムの研究が不足している。
そこで本稿では,量子プログラムにおけるバグフィックスに関する包括的研究を行う。
96の現実世界のバグとその修正を、Qiskit、Cirq、Q#、ProjectQの4つの人気のある量子プログラミング言語から収集し、調査する。
我々の研究は、量子プログラムのバグの比率が高いのは、量子固有のバグ(80%以上)であり、バグ修正領域のさらなる研究が必要であることを示している。
また、量子プログラムのバグパターンを要約して拡張し、量子プログラムの研究にもっと適用できるように、最も重要な部分である数学関連のバグを分割する。
本研究は,量子プログラムにおけるバグの特徴を要約し,量子プログラムのテストとデバッグの基盤を提供する。
関連論文リスト
- Q-PAC: Automated Detection of Quantum Bug-Fix Patterns [4.00671924018776]
量子ソフトウェアの品質向上のための研究課題(Q-Repair)を提案する。
最終的な目標は、機械学習技術を使用して、既存の量子バグの修正パターンを自動的に予測することだ。
本フレームワークでは,抽象構文木,構文フィルタ,意味チェックを用いた7つのバグフィックスパターン検出器を開発した。
論文 参考訳(メタデータ) (2023-11-29T15:09:32Z) - LintQ: A Static Analysis Framework for Qiskit Quantum Programs [25.224363728139917]
本稿では,量子プログラムのバグを検出するための静的解析フレームワークLintQを提案する。
我々のアプローチは、基礎となる量子コンピューティングプラットフォームを参照することなく、量子コンピューティングの共通概念を推論するために設計された一連の抽象化によって実現されている。
提案手法は,実世界の7,568個のQiskitベースの量子プログラムを新たに収集したデータセットに適用し,LintQが80.5%の精度で様々なプログラミング問題を効果的に同定することを示す。
論文 参考訳(メタデータ) (2023-10-01T16:36:09Z) - The QUATRO Application Suite: Quantum Computing for Models of Human
Cognition [49.038807589598285]
量子コンピューティング研究のための新しい種類のアプリケーション -- 計算認知モデリング -- をアンロックします。
我々は、認知モデルから量子コンピューティングアプリケーションのコレクションであるQUATROをリリースする。
論文 参考訳(メタデータ) (2023-09-01T17:34:53Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - Quantum Machine Learning: from physics to software engineering [58.720142291102135]
古典的な機械学習アプローチが量子コンピュータの設備改善にどのように役立つかを示す。
量子アルゴリズムと量子コンピュータは、古典的な機械学習タスクを解くのにどのように役立つかについて議論する。
論文 参考訳(メタデータ) (2023-01-04T23:37:45Z) - Hello Quantum World! A rigorous but accessible first-year university
course in quantum information science [0.0]
Hello Quantum World!は、幅広い基本的な量子情報と計算の概念を導入します。
対象とするトピックには、重ね合わせ、絡み合い、量子ゲート、テレポーテーション、量子アルゴリズム、量子エラー補正などがある。
論文 参考訳(メタデータ) (2022-09-25T18:59:47Z) - On Testing and Debugging Quantum Software [9.12212813288783]
スタンドアローンまたはシステム・オブ・システムの一部として、量子コンピュータの様々なユースケースについて論じる。
量子コンピュータ固有の問題に注目し、これらの問題に対処するために必要な新しいテクニックをリストアップする。
論文 参考訳(メタデータ) (2021-03-16T16:20:32Z) - Quantum walk processes in quantum devices [55.41644538483948]
グラフ上の量子ウォークを量子回路として表現する方法を研究する。
提案手法は,量子ウォークアルゴリズムを量子コンピュータ上で効率的に実装する方法である。
論文 参考訳(メタデータ) (2020-12-28T18:04:16Z) - Universal quantum computation and quantum error correction with
ultracold atomic mixtures [47.187609203210705]
長距離エンタングゲートを用いた普遍量子計算のためのプラットフォームとして、2種の超低温原子種を混合して提案する。
1つの原子種は、情報の基本単位を形成する可変長の局所化された集合スピンを実現する。
本稿では,ゴッテマン・キタエフ・プレスキル符号の有限次元バージョンについて論じ,集合スピンに符号化された量子情報を保護する。
論文 参考訳(メタデータ) (2020-10-29T20:17:14Z) - An Application of Quantum Annealing Computing to Seismic Inversion [55.41644538483948]
小型地震インバージョン問題を解決するために,D波量子アニールに量子アルゴリズムを適用した。
量子コンピュータによって達成される精度は、少なくとも古典的コンピュータと同程度である。
論文 参考訳(メタデータ) (2020-05-06T14:18:44Z) - Is Your Quantum Program Bug-Free? [9.12212813288783]
量子コンピュータはますます主流になりつつある。
より多くのプログラマが量子プログラムの記述に目を向け始めている。
量子コンピュータのプログラムはどのようにデバッグされるべきなのか?
論文 参考訳(メタデータ) (2020-01-29T14:45:44Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。