論文の概要: QuCAT: A Combinatorial Testing Tool for Quantum Software
- arxiv url: http://arxiv.org/abs/2309.00119v1
- Date: Thu, 31 Aug 2023 20:17:38 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 11:31:54.236651
- Title: QuCAT: A Combinatorial Testing Tool for Quantum Software
- Title（参考訳）: QuCAT: 量子ソフトウェアのための組合せテストツール
- Authors: Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
- Abstract要約: 本稿では,量子プログラムのテストを行う量子ソフトウェアテストツールQuCATを紹介する。
最初の機能によって、ツールは与えられた強度のテストスイートを生成する。
2つ目の機能では、障害がトリガーされるまで強度を増してテストスイートを生成する。
- 参考スコア（独自算出の注目度）: 43.8945621250487
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: With the increased developments in quantum computing, the availability of
systematic and automatic testing approaches for quantum programs is becoming
increasingly essential. To this end, we present the quantum software testing
tool QuCAT for combinatorial testing of quantum programs. QuCAT provides two
functionalities of use. With the first functionality, the tool generates a test
suite of a given strength (e.g., pair-wise). With the second functionality, it
generates test suites with increasing strength until a failure is triggered or
a maximum strength is reached. QuCAT uses two test oracles to check the
correctness of test outputs. We assess the cost and effectiveness of QuCAT with
3 faulty versions of 5 quantum programs. Results show that combinatorial test
suites with a low strength can find faults with limited cost, while a higher
strength performs better to trigger some difficult faults with relatively
higher cost. Repository: https://github.com/Simula-COMPLEX/qucat-tool Video:
https://youtu.be/UsqgOudKLio
- Abstract（参考訳）: 量子コンピューティングの発展に伴い、量子プログラムの体系的および自動的なテストアプローチの可用性はますます重要になっている。
そこで我々は,量子プログラムの組合せテストのための量子ソフトウェアテストツール qucat を提案する。
QuCATは2つの用途機能を提供する。
最初の機能によって、ツールは与えられた強度(例えばペアワイド)のテストスイートを生成する。
第2の機能では、障害が発生するか、最大強度に達するまで、強度を上げてテストスイートを生成する。
qucatは2つのテストオラクルを使用して、テスト出力の正確性をチェックする。
5つの量子プログラムの3つの欠陥バージョンでQuCATのコストと有効性を評価する。
その結果,低強度の組合せテストスイートは,コストが制限された障害を見つけることができる一方で,高強度の試験スイートの方が,比較的高いコストで難しい障害を発生させる効果があることがわかった。
リポジトリ: https://github.com/simula-complex/qucat-tool video: https://youtu.be/usqgoudklio
関連論文リスト
- Quantum Wasserstein Compilation: Unitary Compilation using the Quantum Earth Mover's Distance [2.502222151305252]
次数1の量子ワッサーシュタイン距離に基づく量子ワッサーシュタインコンパイル(QWC)コスト関数を提案する。
生成逆数ネットワークにおいて、局所的なパウリ可観測値の測定に基づく推定方法を用いて、所定の量子回路を学習する。
論文 参考訳（メタデータ） (2024-09-09T17:46:40Z) - QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum
Circuits [82.50620782471485]
QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。
1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。
提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
論文 参考訳（メタデータ） (2024-01-10T22:33:00Z) - Parallelizing Quantum-Classical Workloads: Profiling the Impact of
Splitting Techniques [4.741651490006498]
我々はIBMのQuantum Cloud上で2つのワークロード分割手法を評価した。
その結果,(1)回路切断によるVQEは,アンカット版よりも基底状態推定が39%向上し,(2)データ並列化と特徴量削減を組み合わせたQSVMは,量子ワークロード実行時間の最大3倍向上することがわかった。
論文 参考訳（メタデータ） (2023-05-11T05:46:55Z) - Schrödinger as a Quantum Programmer: Estimating Entanglement via Steering [3.187381965457262]
我々は、量子ステアリング効果を用いて、一般的な二部状態の分離性をテストし、定量化する量子アルゴリズムを開発した。
我々の発見は、ステアリング、絡み合い、量子アルゴリズム、量子計算複雑性理論の間の有意義な関係を提供する。
論文 参考訳（メタデータ） (2023-03-14T13:55:06Z) - Experimental Implementation of an Efficient Test of Quantumness [49.588006756321704]
量子性の試験は、古典的なユーザーが古典的でない振る舞いを示すかどうかを決定するために量子デバイスに課題を発行するプロトコルである。
最近の量子コンピュータにおけるこのようなテストの実装の試みは、効率的な検証を伴うインタラクティブな課題か、非効率的な(指数時間)検証を伴う非インタラクティブな課題に依存している。
論文 参考訳（メタデータ） (2022-09-28T18:00:04Z) - Iterative Qubits Management for Quantum Index Searching in a Hybrid
System [56.39703478198019]
IQuCSは、量子古典ハイブリッドシステムにおけるインデックス検索とカウントを目的としている。
我々はQiskitでIQuCSを実装し、集中的な実験を行う。
その結果、量子ビットの消費を最大66.2%削減できることが示されている。
論文 参考訳（メタデータ） (2022-09-22T21:54:28Z) - Swap Test with Quantum-Dot Charge Qubits [0.0]
二重量子ドットにおける電荷量子ビットを用いたスワップテストの実装を提案する。
この研究は、半導体量子ビットにおける量子機械学習開発におけるツールボックスの強化の道を開いた。
論文 参考訳（メタデータ） (2021-12-31T15:30:03Z) - $i$-QER: An Intelligent Approach towards Quantum Error Reduction [5.055934439032756]
量子回路のエラーを評価するスケーラブルな機械学習ベースのアプローチである$i$-QERを導入する。
i$-QERは、教師付き学習モデルを使用して、与えられた量子回路で可能なエラーを予測する。
これにより、大きな量子回路を2つの小さなサブ回路に分割する。
論文 参考訳（メタデータ） (2021-10-12T20:45:03Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。