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と統合した。実験結果から,我々のコンコリックテストフレームワークは,量子入力サンプルのブランチカバレッジと品質を著しく向上させ,量子ソフトウェアテストの有効性と効率性を実証した。

関連論文リスト

Validate Quantum State Preparation Programs [0.0]
本稿では、Coq証明アシスタントで実装された高保証フレームワークであるPqasmについて述べる。このフレームワークの鍵は、量子重ね合わせ状態を含むプログラムのプログラム正当性保証を、重ね合わせのないプログラム状態に対するプログラム正当性保証に還元することである。我々は、QuickChickプロパティベースのテストフレームワークを使用して状態準備プログラムをテストする。
論文参考訳（メタデータ） (2025-01-09T23:35:26Z)
Parallel Quantum Computing Simulations via Quantum Accelerator Platform Virtualization [44.99833362998488]
本稿では,量子回路実行の並列化モデルを提案する。このモデルはバックエンドに依存しない機能を利用することができ、任意のターゲットバックエンド上で並列量子回路の実行を可能にする。
論文参考訳（メタデータ） (2024-06-05T17:16: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)
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)
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)
Preparing random states and benchmarking with many-body quantum chaos [48.044162981804526]
時間に依存しないハミルトン力学の下で自然にランダム状態アンサンブルの出現を予測し、実験的に観察する方法を示す。観測されたランダムアンサンブルは射影測定から現れ、より大きな量子系のサブシステムの間に構築された普遍的相関に密接に関連している。我々の研究は、量子力学におけるランダム性を理解するための意味を持ち、より広い文脈でのこの概念の適用を可能にする。
論文参考訳（メタデータ） (2021-03-05T08:32:43Z)
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)

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