論文の概要: Delta Debugging in the Absence of Test Oracles Through Metamorphic Testing

• arxiv url: http://arxiv.org/abs/2607.00929v1
• Date: Wed, 01 Jul 2026 13:32:42 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-02 19:56:07.915903
• Title: Delta Debugging in the Absence of Test Oracles Through Metamorphic Testing
• Title（参考訳）: メタモルフィックテストによるテストオラクルの存在下でのデルタデバッグ
• Abstract要約: 本稿では,デルタデバッギングの適用性を高めるための新しいアプローチDDMTを提案する。 私たちの重要な洞察は、オラクルに依存しないテスト関数を再設計し、それをリダクション手順に組み込むことです。 被験者66名を対象にDDMTの評価を行った。
• 参考スコア（独自算出の注目度）: 4.58866559719705
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: Delta debugging provides an automatic way to minimize a program input while preserving a certain property. However, its effectiveness fundamentally relies on the availability of test oracles to determine whether a reduced input still preserves the specific property. Consequently, the oracle problem substantially limits the applicability of existing delta debugging techniques, particularly for oracle-deficient programs where output correctness cannot be directly determined. To address this problem, this paper proposes a novel approach, DDMT, to enhance the applicability of delta debugging, especially facilitating its application to oracle-deficient programs. Our key insight is to redesign an oracle-independent test function and incorporate it into the reduction procedure of delta debugging such that the property-preservation validation can be accomplished without requiring a test oracle. To this end, DDMT employs the technique of metamorphic testing, which is a property-based and oracle-independent testing method. It establishes a metamorphic testing-based test function, using it as a replacement for the original test function adopted by delta debugging. The experiments evaluate DDMT on 66 subjects across both oracle-available and oracle-deficient scenarios, with different delta debugging approaches. The results positively confirm that DDMT can enhance the applicability of delta debugging while often preserving or improving reduction effectiveness and query efficiency. Furthermore, compared to the relevant delta debugging approaches, DDMT is also able to achieve performance improvements with proper configurations.
• Abstract（参考訳）: デルタデバッグは、特定のプロパティを保持しながらプログラム入力を最小限にする自動方法を提供する。 しかし、その有効性は、入力の縮小が特定の特性を保っているかどうかを判断するために、テストオラクルの可用性に基本的に依存している。 その結果、オラクル問題は既存のデルタデバッギング技術、特に出力正当性を直接決定できないオラクル欠陥プログラムの適用性を著しく制限する。 そこで本研究では,デルタデバッギングの適用性を高めるための新しいアプローチDDMTを提案する。 我々の重要な洞察は、オラクルに依存しないテスト関数を再設計し、それをデルタデバッギングの削減手順に組み込むことです。 この目的のためにDDMTは、プロパティベースでオラクルに依存しないテスト手法であるメタモルフィックテスト(メタモルフィックテスト)の手法を採用している。 デルタデバッギングで採用されたオリジナルのテスト関数の代替として、メタモルフィックテストベースのテスト関数を確立する。 実験では,66名の被験者を対象に,デルタデバッギングアプローチの異なるオラクルとオラクルの双方でDDMTを評価した。 その結果、DDMTがデルタデバッギングの適用性を高めつつ、還元効率とクエリ効率をよく維持または改善できることを確認した。 さらに、関連するデルタデバッギングアプローチと比較して、DDMTは適切な設定でパフォーマンスの改善も達成できる。

関連論文リスト

• TTHE: Test-Time Harness Evolution [50.26245555541721]
  既存のアプローチでは、デプロイ前、トレーニング前、あるいはテスト時に凍結される固定されたエージェントワークフローの開発データを最適化する。 我々は、エージェントがテスト入力で生成するラベルのない実行トレースのみを使用して、評価自体にハーネスを最適化できるかどうかを問う。 評価中、TTHEは候補ハーネスの人口を維持し、それらの実行トレースの理由をエージェントプロジェクタを通じてそれらを洗練する。 その後、審査員は実行元プロキシ信号から改善されたハーネスをコミットし、選択したプログラムは継続してその後の入力を統治する。
  論文  参考訳（メタデータ） (2026-07-09T05:53:39Z)
• LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation [75.05397479715576]
  大規模言語モデル(LLM)とエージェントは有望な進歩を示しているが、その真の能力と失敗モードは未だ不明である。 CプログラムのためのLCMおよびエージェントベースの形式仕様生成に関する、最初の体系的および汚染に配慮した研究を提案する。
  論文  参考訳（メタデータ） (2026-05-02T11:31:33Z)
• Controllable and Verifiable Tool-Use Data Synthesis for Agentic Reinforcement Learning [82.89535601592739]
  マルチレベル検証を用いた自己進化型合成により,信頼性の高い基本ツール利用軌跡を生成する2段階パイプラインを提案する。 これらの拡張は、トラクタツール、間接的または曖昧なユーザクエリ、ノイズ、マルチフォーマット、あるいは誤ったツール出力を導入します。 本設計では,標準事例に対する参照マッチングによる報酬の自動計算と,エラー検出などの特別な動作に対する軽量な判断支援検証を実現する。
  論文  参考訳（メタデータ） (2026-04-10T18:38:52Z)
• Audio-Visual Continual Test-Time Adaptation without Forgetting [28.411642462831647]
  連続的なテスト時間適応は、テスト時にソースオーディオ視覚モデルを継続的に適応させることを含む。 本稿では,ソースデータにアクセスすることなく,テスト時間の性能を向上させる手法として,texttAV-CTTA$を提案する。
  論文  参考訳（メタデータ） (2026-02-20T04:55:01Z)
• Promptable Anomaly Segmentation with SAM Through Self-Perception Tuning [63.55145330447408]
  異常セグメンテーションのための textbfSelf-textbfPerceptinon textbfTuning (textbfSPT) 法を提案する。 SPT法は, 自己描画型チューニング戦略を取り入れ, 異常マスクの初期粗いドラフトを生成し, 精製処理を行う。
  論文  参考訳（メタデータ） (2024-11-26T08:33:25Z)
• DOTA: Distributional Test-Time Adaptation of Vision-Language Models [69.41389326333771]
  トレーニングデータとテストデータの間に大きな分散ギャップが存在する場合、視覚言語の基礎モデルは信頼できない。 本稿では,DOTA(DistributiOnal Test-time Adaptation)を提案する。 この分散中心のアプローチは、モデルが継続的に学習し、デプロイメント環境に適応することを可能にする。
  論文  参考訳（メタデータ） (2024-09-28T15:03:28Z)
• Active Test-Time Adaptation: Theoretical Analyses and An Algorithm [51.84691955495693]
  テスト時間適応(TTA)は、教師なし設定でストリーミングテストデータの分散シフトに対処する。 完全TTA設定内に能動学習を統合する能動テスト時間適応(ATTA)の新たな問題設定を提案する。
  論文  参考訳（メタデータ） (2024-04-07T22:31:34Z)
• Validity-Preserving Delta Debugging via Generator Trace Reduction [14.24086822861706]
  GReduceは、削減された有効なテスト入力を出力するジェネレータ上の他の実行を検索する。 GReduceはPersesやT-PDDなど最先端の構文ベースのリデューサを大幅に上回っている。
  論文  参考訳（メタデータ） (2024-02-07T07:12:27Z)
• Better Practices for Domain Adaptation [62.70267990659201]
  ドメイン適応(DA)は、ラベルを使わずに、モデルを配置データに適用するためのフレームワークを提供することを目的としている。 DAの明確な検証プロトコルは、文献の悪い実践につながっている。 ドメイン適応手法の3つの分野にまたがる課題を示す。
  論文  参考訳（メタデータ） (2023-09-07T17:44:18Z)
• Towards Automatic Generation of Amplified Regression Test Oracles [44.45138073080198]
  回帰テストオラクルを増幅するためのテストオラクル導出手法を提案する。 このアプローチはテスト実行中にオブジェクトの状態を監視し、以前のバージョンと比較して、SUTの意図した振る舞いに関連する変更を検出する。
  論文  参考訳（メタデータ） (2023-07-28T12:38:44Z)
• Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper) [7.289672463326423]
  エレベータディスパッチアルゴリズムでは、ソフトウェア開発者に最小限のテスト入力を提供するのが利点である。 本稿では,まずCPSが動作する環境と物理状態をモニタリングすることにより,この手法を強化する。 2番目のステップでは、このような安定した状態を用いて、デルタデバッグアルゴリズムがより効率的に障害発生テストインプットを分離するのを助ける。
  論文  参考訳（メタデータ） (2023-05-28T19:27:24Z)

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

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