論文の概要: Toward Circuit-Aware Mutation Testing for Quantum Programs: Exact Visibility and Execution Planning

• arxiv url: http://arxiv.org/abs/2610.36976v1
• Date: Tue, 27 Oct 2026 10:31:07 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-28 21:04:31.566183
• Title: Toward Circuit-Aware Mutation Testing for Quantum Programs: Exact Visibility and Execution Planning
• Title（参考訳）: 量子プログラムの回路対応ミューテーションテストに向けて:実行可能性と実行計画
• Abstract要約: 量子プログラムでは、生き残ったミュータントはプログラムの振舞いをそのまま残したり、選択された入力や測定によって隠された変化を発生させたり、統計的証拠が不十分なため未検出のままである。 我々はこれらの原因を識別し、実行計画とテストの変更をガイドするサーキット・アウェア・フレームワークを開発した。 このフレームワークは、理想的なノイズのないプログラムと、1つのゲートまたはサブ回路を置き換える突然変異をカバーしている。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Mutation testing assesses test suites by introducing program changes and checking whether tests detect them. In quantum programs, a surviving mutant may leave program behavior unchanged, produce a change hidden by the chosen input or measurement, or remain undetected because statistical evidence is insufficient. We develop a circuit-aware framework to distinguish these causes and guide execution planning and test changes. The framework covers ideal, noiseless programs and mutations that replace one gate or subcircuit. The method traces how a mutation can affect measured outputs and combines established mathematical checks with statistical estimates. For supported cases, we establish conditions under which a test cannot reveal a mutation and exact formulas for its effect when the required state information is available. Under stated assumptions, we bound the mutation score while retaining surviving and unresolved mutants, and identify a restricted circuit family whose mutation effects admit efficient classical classification. The deliverables include a decision procedure, mathematical guarantees, worked examples of test changes and their implementation requirements, and a small-circuit reference implementation for differential expectation tests. These results help testers decide what to execute, what to change, and what remains unknown. The evidence is limited to proofs and executable examples under the ideal model.
• Abstract（参考訳）: ミューテーションテストは、プログラムの変更を導入し、テストがそれらを検出するかどうかをチェックすることでテストスイートを評価する。 量子プログラムでは、生き残ったミュータントはプログラムの振舞いをそのまま残したり、選択された入力や測定によって隠された変化を発生させたり、統計的証拠が不十分なため未検出のままである。 我々はこれらの原因を識別し、実行計画とテストの変更をガイドするサーキット・アウェア・フレームワークを開発した。 このフレームワークは、理想的なノイズのないプログラムと、1つのゲートまたはサブ回路を置き換える突然変異をカバーしている。 この方法では、突然変異が測定された出力にどのように影響するかをトレースし、確立された数学的チェックと統計的推定を組み合わせる。 支援されたケースに対しては、必要な状態情報が得られる場合に、テストが突然変異やその効果の正確な公式を明らかにすることができない条件を確立する。 提案された仮定の下では、未解決の変異体と未解決の変異体を維持しながら突然変異スコアを拘束し、突然変異効果が効率的な古典的分類を許容する制限された回路ファミリーを同定する。 成果物には、決定手順、数学的保証、テスト変更とその実装要件の作業例、微分期待テストのための小さな回路参照実装が含まれる。 これらの結果は、テスタが実行すべきこと、変更すべきこと、不明なことを決定するのに役立ちます。 証拠は、理想的なモデルの下での証明と実行可能な例に限られる。

関連論文リスト

• Testing and Verification of Quantum Compilers through Assurance Contracts and Evidence [0.25489046505746704]
  この調査は、検証済みの変換、等価チェック、差分および変成テスト、プロパティベースのテスト、およびリビジョン間の保証の証拠を比較します。 記録されたカバレッジ更新とソースレベルの選択決定は、レビューを宣言されたスコープ内で監査可能にする。
  論文  参考訳（メタデータ） (2026-09-24T01:24:49Z)
• TTHE: Test-Time Harness Evolution [50.26245555541721]
  既存のアプローチでは、デプロイ前、トレーニング前、あるいはテスト時に凍結される固定されたエージェントワークフローの開発データを最適化する。 我々は、エージェントがテスト入力で生成するラベルのない実行トレースのみを使用して、評価自体にハーネスを最適化できるかどうかを問う。 評価中、TTHEは候補ハーネスの人口を維持し、それらの実行トレースの理由をエージェントプロジェクタを通じてそれらを洗練する。 その後、審査員は実行元プロキシ信号から改善されたハーネスをコミットし、選択したプログラムは継続してその後の入力を統治する。
  論文  参考訳（メタデータ） (2026-07-09T05:53:39Z)
• LLMorpheus: Mutation Testing using Large Language Models [5.448283690603358]
  本稿では,プログラムのソースコード内の指定された場所でプレースホルダーを導入する変異検査手法を提案する。 我々はLLMorpheusがStrykerJSでは生成できない既存のバグに似た変異体を生産できると考えている。
  論文  参考訳（メタデータ） (2024-04-15T17:25:14Z)
• An Empirical Evaluation of Manually Created Equivalent Mutants [54.02049952279685]
  手動で作成した突然変異体の10%未満は等価である。 驚くべきことに、我々の発見は、開発者の大部分が同等のミュータントを正確に識別するのに苦労していることを示している。
  論文  参考訳（メタデータ） (2024-04-14T13:04:10Z)
• Contextual Predictive Mutation Testing [17.832774161583036]
  MutationBERTは、ソースメソッドの突然変異とテストメソッドを同時にエンコードする予測突然変異テストのアプローチである。 精度が高いため、MutationBERTは、ライブミュータントをチェック・検証する以前のアプローチで費やされた時間の33%を節約する。 我々は、入力表現と、テストマトリックスレベルからテストスイートレベルまで予測を引き上げるためのアグリゲーションアプローチを検証し、同様の性能改善を見出した。
  論文  参考訳（メタデータ） (2023-09-05T17:00:15Z)
• Systematic Assessment of Fuzzers using Mutation Analysis [20.91546707828316]
  ソフトウェアテストでは、テスト品質を評価するためのゴールドスタンダードは突然変異解析である。 突然変異解析は、様々なカバレッジ対策を仮定し、大規模で多様な障害セットを提供する。 複数の突然変異をプールし、初めて(初めて)ファジィを突然変異解析と比較する現代の突然変異解析技術を適用します。
  論文  参考訳（メタデータ） (2022-12-06T15:47:47Z)
• Sequential Permutation Testing of Random Forest Variable Importance Measures [68.8204255655161]
  そこで本研究では、逐次置換テストと逐次p値推定を用いて、従来の置換テストに関連する高い計算コストを削減することを提案する。 シミュレーション研究の結果、シーケンシャルテストの理論的性質が当てはまることを確認した。 本手法の数値安定性を2つの応用研究で検討した。
  論文  参考訳（メタデータ） (2022-06-02T20:16:50Z)
• E-detectors: a nonparametric framework for sequential change detection [86.15115654324488]
  逐次的変化検出のための基本的かつ汎用的なフレームワークを開発する。 私たちの手順は、平均走行距離のクリーンで無症状な境界が伴います。 統計的および計算効率の両方を達成するために,これらの混合物を設計する方法を示す。
  論文  参考訳（メタデータ） (2022-03-07T17:25:02Z)
• Tracking the risk of a deployed model and detecting harmful distribution shifts [105.27463615756733]
  実際には、デプロイされたモデルのパフォーマンスが大幅に低下しないという、良心的なシフトを無視することは理にかなっている。 我々は,警告を発射する有効な方法は,(a)良性な警告を無視しながら有害なシフトを検知し,(b)誤報率を増大させることなく,モデル性能の連続的なモニタリングを可能にすることを論じる。
  論文  参考訳（メタデータ） (2021-10-12T17:21:41Z)
• Detection of Coincidentally Correct Test Cases through Random Forests [1.2891210250935143]
  そこで本研究では,アンサンブル学習と教師付き学習アルゴリズム,すなわちランダムフォレスト(RF)を組み合わせたハイブリッド手法を提案する。 また、偶然の正しいテストケースを、テスト状態の反転やトリミング(すなわち、計算から排除)のコスト効率良く解析する。
  論文  参考訳（メタデータ） (2020-06-14T15:01:53Z)

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

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