論文の概要: 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の量子プログラムは、量子コンピューティングと古典コンピューティングの間に重要な橋渡しとなる量子プログラムの基本的なクラスである。 多くの重要な量子アルゴリズムはオラクル量子プログラム上に構築されており、開発中の正確性を保証することが不可欠である。 ソフトウェアテストはプログラムの信頼性を向上させるための確立されたアプローチであるが、オラクル量子プログラムをテストするための体系的な手法は開発されていない。 本稿では,一般的なオラクル量子プログラムのためのブラックボックステストフレームワークを提案する。 我々はこれらのプログラムを正式に定義し、それらのテストの基礎理論を確立し、詳細なテストフレームワークを提案する。 我々はプロトタイプツールを開発し、フレームワークの有効性を評価するために広範囲な実験的な評価を行う。 提案したフレームワークは,オラクル量子プログラムのテストにおいて開発者を大いに支援し,量子ソフトウェアの信頼性を高めるための洞察を提供する。

関連論文リスト

• Quantum Executor: A Unified Interface for Quantum Computing [46.36953285198747]
  Quantum Executorは、不均一なプラットフォーム間で量子実験をオーケストレーションするために設計された、バックエンドに依存しない実行エンジンである。 主な機能は、非同期および分散実行のサポート、カスタマイズ可能な実行戦略、量子実験を管理するための統一APIである。
  論文  参考訳（メタデータ） (2025-07-10T09:55:32Z)
• Context-Aware Unit Testing for Quantum Subroutines [14.117812847408523]
  量子ソフトウェアをテストすることは、量子情報の非決定論的性質、基盤となるヒルベルト空間の高次元性、複雑なハードウェアノイズ、および量子システムの固有の非局所的性質による固有の課題を示す。 量子システムにおける単体テストに関連する計算複雑性に対処するために、文脈認識をテストプロセスに組み込むことを提案する。
  論文  参考訳（メタデータ） (2025-06-12T04:58:56Z)
• Using quantum annealing to generate test cases for cyber-physical systems [35.26972474219581]
  本稿では,サイバー物理システムにおけるテストケース生成の高速化のための突然変異に基づく手法を提案する。 我々は、量子アニールを用いて、改善のためのテストケースの重要な領域を特定し、ターゲットにします。 我々のアプローチは、このプロセスをD-Waveの量子アニールを用いて解を見つけるアルゴリズムに機械化する。
  論文  参考訳（メタデータ） (2025-04-30T14:20:58Z)
• 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)
• Symbolic quantum programming for supporting applications of quantum computing technologies [0.0]
  本稿の主な焦点は、ツール開発による最も直接的なメリットを享受できる量子コンピューティング技術である。 量子ソフトウェア開発の分野で最も人気のあるアプローチについて、簡単な調査を行い、その長所と短所を示すことを目指しています。 次に、シンボリックアプローチを用いた量子プログラムの開発を支援するソフトウェアアーキテクチャとその予備実装について述べる。
  論文  参考訳（メタデータ） (2023-02-18T18:30:00Z)
• 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)
• Preparing random states and benchmarking with many-body quantum chaos [48.044162981804526]
  時間に依存しないハミルトン力学の下で自然にランダム状態アンサンブルの出現を予測し、実験的に観察する方法を示す。 観測されたランダムアンサンブルは射影測定から現れ、より大きな量子系のサブシステムの間に構築された普遍的相関に密接に関連している。 我々の研究は、量子力学におけるランダム性を理解するための意味を持ち、より広い文脈でのこの概念の適用を可能にする。
  論文  参考訳（メタデータ） (2021-03-05T08:32:43Z)

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

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