Fugu-MT 論文翻訳(概要): Concolic Testing of Quantum Programs

論文の概要: Concolic Testing of Quantum Programs

arxiv url: http://arxiv.org/abs/2405.04860v2
Date: Mon, 29 Jul 2024 11:51:40 GMT
ステータス: 処理完了
システム内更新日: 2024-07-30 23:18:12.328602
Title: Concolic Testing of Quantum Programs
Title（参考訳）: 量子プログラムの衝突試験
Authors: Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo,
Abstract要約: 本稿では,量子プログラムに特化して設計された最初のココリックテストフレームワークを提案する。このフレームワークは量子状態の量子化と量子変数の記号化方法を示す量子条件文を定義する。
参考スコア（独自算出の注目度）: 5.3611583388647635
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: This paper presents the first concolic testing framework specifically designed for quantum programs. The framework defines quantum conditional statements that quantify quantum states and presents a symbolization method for quantum variables. Utilizing this framework, we generate path constraints for each concrete execution path of a quantum program. These constraints guide the exploration of new paths, with a quantum constraint solver determining the outcomes to generate novel input samples and enhance branch coverage. We implemented this framework in Python and integrated it with Qiskit for practical evaluation. Experimental results demonstrate that our concolic testing framework significantly improves branch coverage and the quality of quantum input samples, demonstrating its effectiveness and efficiency in quantum software testing.
Abstract（参考訳）: 本稿では,量子プログラムに特化して設計された最初のココリックテストフレームワークを提案する。このフレームワークは量子状態の量子化と量子変数の記号化方法を示す量子条件文を定義する。このフレームワークを利用することで、量子プログラムの具体的な実行パス毎に経路制約を生成する。これらの制約は新しい経路の探索を導くもので、量子制約ソルバが結果を決定し、新しい入力サンプルを生成し、分岐カバレッジを高める。我々はこのフレームワークをPythonで実装し、実践的な評価のためにQiskitと統合した。実験結果から,我々のコンコリックテストフレームワークは,量子入力サンプルのブランチカバレッジと品質を著しく向上させ,量子ソフトウェアテストの有効性と効率性を実証した。

関連論文リスト

Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
量子コンピューティングは、アルゴリズムを設計する新しい方法の基礎となる。どの場の量子スピードアップが達成できるかという新たな課題が生じる。量子サブルーチンの設計は、従来のサブルーチンよりも効率的で、新しい強力な量子アルゴリズムに固い柱を向ける。
論文参考訳（メタデータ） (2024-02-26T09:32:07Z)
A Quantum-Classical Collaborative Training Architecture Based on Quantum State Fidelity [50.387179833629254]
我々は,コ・テンク (co-TenQu) と呼ばれる古典量子アーキテクチャを導入する。 Co-TenQuは古典的なディープニューラルネットワークを41.72%まで向上させる。他の量子ベースの手法よりも1.9倍も優れており、70.59%少ない量子ビットを使用しながら、同様の精度を達成している。
論文参考訳（メタデータ） (2024-02-23T14:09:41Z)
Learning Quantum Processes with Quantum Statistical Queries [0.0]
本稿では,量子統計クエリモデル内で量子プロセス学習を研究するための最初の学習フレームワークを紹介する。保証可能な性能保証を伴う任意の量子プロセスに対する効率的なQPSQ学習者を提案する。この研究は、量子プロセスの学習可能性を理解するための重要なステップであり、セキュリティへの影響に光を当てている。
論文参考訳（メタデータ） (2023-10-03T14:15:20Z)
Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing [2.8611507672161265]
本稿では,マルチサブルーチン量子プログラムの特定のテスト要件について述べる。テストプロセスの観点から、テスト基準とテクニックに重点を置いています。我々は、様々な変異体やランダムな入力を含む、典型的な量子サブルーチンの包括的なテストを行う。
論文参考訳（メタデータ） (2023-06-30T05:31:56Z)
Design by Contract Framework for Quantum Software [1.9988400064884826]
本稿では,量子ソフトウェアのための設計・設計フレームワークを提案する。特定の手順によって構築された全ての量子回路の入力および出力状態に関するアサーションを提供する。我々のフレームワークは量子ソフトウェアの全手順を検証するのに十分な表現力を持っている。
論文参考訳（メタデータ） (2023-03-31T00:21:28Z)
Extending the Q-score to an Application-level Quantum Metric Framework [0.0]
量子デバイスの性能を評価することは、量子デバイスをスケールし、最終的に実際に使用するための重要なステップである。顕著な量子計量は、アトスのQスコア計量によって与えられる。 Qスコアは、異なる問題、ユーザ設定、ソルバを使用したベンチマークを可能にする量子メトリクスのフレームワークを定義する。
論文参考訳（メタデータ） (2023-02-01T18:03:13Z)
Assessing requirements to scale to practical quantum advantage [56.22441723982983]
大規模量子アプリケーションに必要なリソースを推定するために,スタックの層を抽象化し,量子リソース推定のためのフレームワークを開発する。 3つのスケールされた量子アプリケーションを評価し、実用的な量子優位性を達成するために数十万から数百万の物理量子ビットが必要であることを発見した。私たちの研究の目標は、より広範なコミュニティがスタック全体の設計選択を探索できるようにすることで、実用的な量子的優位性に向けた進歩を加速することにあります。
論文参考訳（メタデータ） (2022-11-14T18:50:27Z)
Application-Oriented Performance Benchmarks for Quantum Computing [0.0]
ベンチマークスイートは、広く使用可能なように設計されている。我々の手法は、今後5年以内に出現するであろう量子コンピューティングハードウェアの進歩を予想するために構築されている。
論文参考訳（メタデータ） (2021-10-07T01:45:06Z)
On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
そこで我々は,古典的な3つのハードラーニング問題に対処するために,QAEに基づく効果的な3つの学習プロトコルを考案した。私たちの研究は、ハード量子物理学と量子情報処理タスクを達成するための高度な量子学習アルゴリズムの開発に新たな光を当てています。
論文参考訳（メタデータ） (2021-06-29T14:01:40Z)
Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。 QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
論文参考訳（メタデータ） (2020-10-20T12:06:27Z)
QUANTIFY: A framework for resource analysis and design verification of quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。 Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文参考訳（メタデータ） (2020-07-21T15:36:25Z)

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