論文の概要: 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%以上)であり、バグ修正領域のさらなる研究が必要であることを示している。 また、量子プログラムのバグパターンを要約して拡張し、量子プログラムの研究にもっと適用できるように、最も重要な部分である数学関連のバグを分割する。 本研究は,量子プログラムにおけるバグの特徴を要約し,量子プログラムのテストとデバッグの基盤を提供する。

関連論文リスト

• The curse of random quantum data [62.24825255497622]
  量子データのランドスケープにおける量子機械学習の性能を定量化する。 量子機械学習におけるトレーニング効率と一般化能力は、量子ビットの増加に伴い指数関数的に抑制される。 この結果は量子カーネル法と量子ニューラルネットワークの広帯域限界の両方に適用できる。
  論文  参考訳（メタデータ） (2024-08-19T12:18:07Z)
• Quantum Information Processing with Molecular Nanomagnets: an introduction [49.89725935672549]
  本稿では,量子情報処理の導入について紹介する。 量子アルゴリズムを理解し設計するための基本的なツールを紹介し、分子スピンアーキテクチャ上での実際の実現を常に言及する。 分子スピンキュートハードウェア上で提案および実装された量子アルゴリズムの例を示す。
  論文  参考訳（メタデータ） (2024-05-31T16:43:20Z)
• Q-PAC: Automated Detection of Quantum Bug-Fix Patterns [4.00671924018776]
  量子ソフトウェアの品質向上のための研究課題(Q-Repair)を提案する。 最終的な目標は、機械学習技術を使用して、既存の量子バグの修正パターンを自動的に予測することだ。 本フレームワークでは,抽象構文木,構文フィルタ,意味チェックを用いた7つのバグフィックスパターン検出器を開発した。
  論文  参考訳（メタデータ） (2023-11-29T15:09:32Z)
• Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit [21.351834312054844]
  本稿では,量子プログラムのバグを検出するための静的解析フレームワークLintQを提案する。 我々のアプローチは、基礎となる量子コンピューティングプラットフォームを参照することなく、量子コンピューティングの共通概念を推論するために設計された一連の抽象化によって実現されている。 提案手法は,実世界の7,568個のQiskitベースの量子プログラムを新たに収集したデータセットに適用し,LintQが様々なプログラミング問題を効果的に同定することを示す。
  論文  参考訳（メタデータ） (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)
• 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)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。