論文の概要: A Black-box Testing Framework for Oracle Quantum Programs

• arxiv url: http://arxiv.org/abs/2505.07243v1
• Date: Mon, 12 May 2025 05:31:55 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-05-13 20:21:49.264673
• Title: A Black-box Testing Framework for Oracle Quantum Programs
• Title（参考訳）: Oracleの量子プログラムのためのブラックボックステスティングフレームワーク
• Authors: Peixun Long, Jianjun Zhao,
• Abstract要約: Oracleの量子プログラムは、量子コンピューティングと古典コンピューティングの間に重要な橋渡しとなる。 本稿では,一般的なオラクル量子プログラムのためのブラックボックステストフレームワークを提案する。
• 参考スコア（独自算出の注目度）: 2.8611507672161265
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Oracle quantum programs are a fundamental class of quantum programs that serve as a critical bridge between quantum computing and classical computing. Many important quantum algorithms are built upon oracle quantum programs, making it essential to ensure their correctness during development. While software testing is a well-established approach for improving program reliability, no systematic method has been developed to test oracle quantum programs. This paper proposes a black-box testing framework designed for general oracle quantum programs. We define these programs formally, establish the foundational theory for their testing, and propose a detailed testing framework. We develop a prototype tool and conduct extensive experimental evaluations to evaluate the framework's effectiveness. Our results demonstrate that the proposed framework significantly aids developers in testing oracle quantum programs, providing insights to enhance the reliability of quantum software.
• Abstract（参考訳）: Oracleの量子プログラムは、量子コンピューティングと古典コンピューティングの間に重要な橋渡しとなる量子プログラムの基本的なクラスである。 多くの重要な量子アルゴリズムはオラクル量子プログラム上に構築されており、開発中の正確性を保証することが不可欠である。 ソフトウェアテストはプログラムの信頼性を向上させるための確立されたアプローチであるが、オラクル量子プログラムをテストするための体系的な手法は開発されていない。 本稿では,一般的なオラクル量子プログラムのためのブラックボックステストフレームワークを提案する。 我々はこれらのプログラムを正式に定義し、それらのテストの基礎理論を確立し、詳細なテストフレームワークを提案する。 我々はプロトタイプツールを開発し、フレームワークの有効性を評価するために広範囲な実験的な評価を行う。 提案したフレームワークは,オラクル量子プログラムのテストにおいて開発者を大いに支援し,量子ソフトウェアの信頼性を高めるための洞察を提供する。

関連論文リスト

• Validating Quantum State Preparation Programs [0.0]
  本稿では、Coq証明アシスタントで実装された高保証フレームワークであるPqasmについて述べる。 このフレームワークの鍵は、量子重ね合わせ状態を含むプログラムのプログラム正当性保証を、重ね合わせのないプログラム状態に対するプログラム正当性保証に還元することである。 我々は、QuickChickプロパティベースのテストフレームワークを使用して状態準備プログラムをテストする。
  論文  参考訳（メタデータ） (2025-01-09T23:35:26Z)
• Concolic Testing of Quantum Programs [5.3611583388647635]
  本稿では,量子プログラムに特化して設計された最初のココリックテストフレームワークを提案する。 このフレームワークは量子状態の量子化と量子変数の記号化方法を示す量子条件文を定義する。
  論文  参考訳（メタデータ） (2024-05-08T07:32:19Z)
• On Reducing the Execution Latency of Superconducting Quantum Processors via Quantum Job Scheduling [47.39648643132327]
  本稿では,量子資源の利用効率を向上させるために,量子ジョブスケジューリング問題(QJSP)を導入する。 本稿では、回路幅、計測ショット数、量子ジョブの提出時間に関するノイズ対応量子ジョブスケジューラ(NAQJS)を提案する。 我々は,シミュレートされたカイスキットノイズモデルと,超伝導量子プロセッサのXiaohong(QuantumCTek)について広範な実験を行った。
  論文  参考訳（メタデータ） (2024-04-11T16:12:01Z)
• The QUATRO Application Suite: Quantum Computing for Models of Human Cognition [49.038807589598285]
  量子コンピューティング研究のための新しい種類のアプリケーション -- 計算認知モデリング -- をアンロックします。 我々は、認知モデルから量子コンピューティングアプリケーションのコレクションであるQUATROをリリースする。
  論文  参考訳（メタデータ） (2023-09-01T17:34:53Z)
• Quantum Conformal Prediction for Reliable Uncertainty Quantification in Quantum Machine Learning [47.991114317813555]
  量子モデルは暗黙の確率予測器を実装し、測定ショットを通じて各入力に対して複数のランダムな決定を生成する。 本稿では、そのようなランダム性を利用して、モデルの不確実性を確実に捉えることができる分類と回帰の両方の予測セットを定義することを提案する。
  論文  参考訳（メタデータ） (2023-04-06T22:05:21Z)
• Assessing requirements to scale to practical quantum advantage [56.22441723982983]
  大規模量子アプリケーションに必要なリソースを推定するために,スタックの層を抽象化し,量子リソース推定のためのフレームワークを開発する。 3つのスケールされた量子アプリケーションを評価し、実用的な量子優位性を達成するために数十万から数百万の物理量子ビットが必要であることを発見した。 私たちの研究の目標は、より広範なコミュニティがスタック全体の設計選択を探索できるようにすることで、実用的な量子的優位性に向けた進歩を加速することにあります。
  論文  参考訳（メタデータ） (2022-11-14T18:50:27Z)
• Qafny: A Quantum-Program Verifier [39.47005122712576]
  本稿では,量子プログラムの自動検証システムであるQafnyを紹介する。 Qafnyの核心は、量子演算を古典的な配列演算に変換する型誘導量子証明システムである。 我々はQafnyが量子ウォークアルゴリズム、Groverのアルゴリズム、Shorのアルゴリズムを含む重要な量子アルゴリズムを効率的に検証する方法を示す。
  論文  参考訳（メタデータ） (2022-11-11T18:50:52Z)
• Formal Verification of Quantum Programs: Theory, Tools and Challenges [0.0]
  サーベイは、量子プログラムの形式的検証分野への短い導入を目標としている。 この調査は、この分野が将来直面するであろういくつかの課題、すなわち複雑な量子アルゴリズムの開発について調査する。
  論文  参考訳（メタデータ） (2021-10-04T11:00:48Z)
• On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
  そこで我々は,古典的な3つのハードラーニング問題に対処するために,QAEに基づく効果的な3つの学習プロトコルを考案した。 私たちの研究は、ハード量子物理学と量子情報処理タスクを達成するための高度な量子学習アルゴリズムの開発に新たな光を当てています。
  論文  参考訳（メタデータ） (2021-06-29T14:01:40Z)

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

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