論文の概要: Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
- arxiv url: http://arxiv.org/abs/2512.02898v1
- Date: Tue, 02 Dec 2025 16:04:51 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-03 21:04:45.957428
- Title: Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
- Title（参考訳）: 複数観測によるモデルベース診断:Cソフトウェアとブール回路の統一的アプローチ
- Abstract要約: 本稿では,C ソフトウェアと Boolean 回路に複数故障のある新しい障害ローカライズツール CFaults を紹介する。
CFaultsは、複数の観察でモデルベース診断(MBD)を活用し、失敗したすべてのテストケースを統一された満足度(MaxSAT)公式に集約する。
3つのベンチマークセット、TCASとC-Pack-IPAsの2つのCプログラムとBoolean回路の1つであるISCAS85の実験結果から、CFaultsは、他のFBFLアプローチよりもCソフトウェアの障害のローカライズが速いことが示された。
- 参考スコア（独自算出の注目度）: 13.450835224477109
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Debugging is one of the most time-consuming and expensive tasks in software development and circuit design. Several formula-based fault localisation (FBFL) methods have been proposed, but they fail to guarantee a set of diagnoses across all failing tests or may produce redundant diagnoses that are not subset-minimal, particularly for programs/circuits with multiple faults. This paper introduces CFaults, a novel fault localisation tool for C software and Boolean circuits with multiple faults. CFaults leverages Model-Based Diagnosis (MBD) with multiple observations and aggregates all failing test cases into a unified Maximum Satisfiability (MaxSAT) formula. Consequently, our method guarantees consistency across observations and simplifies the fault localisation procedure. Experimental results on three benchmark sets, two of C programs, TCAS and C-Pack-IPAs, and one of Boolean circuits, ISCAS85, show that CFaults is faster at localising faults in C software than other FBFL approaches such as BugAssist, SNIPER, and HSD. On the ISCAS85 benchmark, CFaults is generally slower than HSD; however, it localises faults in only 6% fewer circuits, demonstrating that it remains competitive in this domain. Furthermore, CFaults produces only subset-minimal diagnoses of faulty statements, whereas the other approaches tend to enumerate redundant diagnoses (e.g., BugAssist and SNIPER).
- Abstract（参考訳）: デバッグは、ソフトウェア開発と回路設計において最も時間とコストのかかるタスクの1つです。
いくつかの公式ベースのフォールトローカライゼーション(FBFL)法が提案されているが、失敗する全てのテストにおいて一連の診断を保証できないか、サブセット最小でない冗長な診断を生成する可能性がある。
本稿では,C ソフトウェアと Boolean 回路に複数故障のある新しい障害ローカライズツール CFaults を紹介する。
CFaultsは、複数の観察でモデルベース診断(MBD)を活用し、失敗したテストケースをすべてMaxSAT(Maximum Satisfiability)の統一式に集約する。
その結果,本手法は観測結果の整合性を保証し,故障局所化手順を簡素化する。
3つのベンチマークセット(TCASとC-Pack-IPAs)とBoolean回路(ISCAS85)の実験結果から、CFaultsはBugAssist、SNIPER、HSDなどの他のFBFLアプローチよりもCソフトウェア内の障害のローカライズが速いことが示された。
ISCAS85のベンチマークでは、CFaultsは一般的にHSDよりも遅いが、わずか6%の回路で障害をローカライズし、この領域では依然として競争力があることを示した。
さらに、CFaultsは欠陥文のサブセット最小の診断しか生成しないが、他のアプローチでは冗長な診断(例えば、BugAssistとSNIPER)を列挙する傾向がある。
関連論文リスト
- Theory of approximate quantum error correction and the error-set model [53.73800998389749]
誤差セットモデルに基づく近似量子誤差補正の理論を考案する。
与えられたエラーセットを修正するコードは、クラウス演算子が線形スパンにある全てのチャネルに対して自動的に保護される。
この線形性は、符号距離、消去と一般的な誤りの等価性、および理論上は良い符号をもたらす。
論文 参考訳（メタデータ） (2026-07-25T02:15:33Z) - Hierarchical Fault Localization for Autonomous Driving Systems with Hypothesis Validation and Intent Analysis [14.387618464803774]
本稿では,仮説検証と意図解析に基づく階層型ADS断層定位のための2段階フレームワークHINTを提案する。
フェーズ1では、HINTは障害トリガ実行レコードをマルチモーダル抽象化に変換する。
フェーズIIでは、設計側の意図と実装側の振る舞いを再構築し、信頼性を意識した整合性チェックを通じて不審なコードをローカライズする。
論文 参考訳（メタデータ） (2026-07-14T10:17:01Z) - Similar Pattern Annotation via Retrieval Knowledge for LLM-Based Test Code Fault Localization [5.9162004338597365]
ソフトウェアの失敗は、欠陥のあるシステムテストスクリプトから生じます。
テストコードフォールトローカライゼーション(TCFL)は、継続的インテグレーション環境において重要であるにも関わらず、はるかに注目されていない。
本稿では,CI環境から蓄積したデバッグ知識をLarge Language Model (LLM)ベースのTCFLに統合するフレームワークであるSPARKを提案する。
論文 参考訳（メタデータ） (2026-05-08T16:20:58Z) - LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation [75.05397479715576]
大規模言語モデル(LLM)とエージェントは有望な進歩を示しているが、その真の能力と失敗モードは未だ不明である。
CプログラムのためのLCMおよびエージェントベースの形式仕様生成に関する、最初の体系的および汚染に配慮した研究を提案する。
論文 参考訳（メタデータ） (2026-05-02T11:31:33Z) - How LLMs Fail and Generalize in RTL Coding for Hardware Design? [56.361436215029045]
我々は,認知理論に触発された問題解決性に基づく新しい誤り分類法を導入する。
我々の分類学は、障害を構文、意味、解決可能な機能、解決不可能な機能タイプに分類する。
論文 参考訳（メタデータ） (2026-04-26T14:34:49Z) - Optimal Compilation of Syndrome Extraction Circuits for General Quantum LDPC Codes [24.459036277770007]
我々は,任意のqLDPC符号に対して,奥行き最適シンドローム抽出回路を生成する汎用コンパイルフレームワークであるAuto-Stabilizer-Check(ASC)を提案する。
ASCは回路深さを約50%削減し、一般的なqLDPC符号の論理誤差率を平均7×8倍に抑える。
論文 参考訳（メタデータ） (2026-03-23T02:43:38Z) - SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation [1.0010193170880752]
本稿では,高レベルのプログラム意図とポインタ演算と手動メモリ管理の厳密な構文制約とのギャップを埋める,ニューロシンボリックなシナリオベースのフレームワークを提案する。
我々は、59の現実世界およびアルゴリズムの被験者で評価し、バニラプロンプト生成ベースラインを31.36%、分岐カバレッジ26.01%、突然変異スコア20.78%で上回り、シンボリック実行ツールKLEEに適合または超えている。
論文 参考訳（メタデータ） (2026-02-18T18:09:03Z) - ProbeLLM: Automating Principled Diagnosis of LLM Failures [89.44131968886184]
ProbeLLMはベンチマークに依存しない自動探索フレームワークで、個々の障害から構造的障害モードへの脆弱性発見を増大させる。
ProbeLLMは、検証可能なテストケースにプローブを制限し、ツールの拡張された生成と検証を活用することで、信頼性のある証拠として障害発見を根拠とする。
論文 参考訳（メタデータ） (2026-02-13T14:33:13Z) - Calibratable Disambiguation Loss for Multi-Instance Partial-Label Learning [53.9713678229744]
MIPL(Multi-instance partial-label Learning)は、インスタンス空間とラベル空間の両方において、不正確な監督の課題に対処する弱い教師付きフレームワークである。
既存のMIPLアプローチは、しばしばキャリブレーションが悪く、信頼性を損なう。
分類精度と校正性能を同時に向上するプラグアンドプレイ校正型曖昧さ損失(CDL)を提案する。
論文 参考訳（メタデータ） (2025-12-19T16:58:31Z) - How Many Code and Test Cases Are Enough? Evaluating Test Cases Generation from a Binary-Matrix Perspective [51.30005925128432]
LLM(Large Language Models)が自動生成するテストケースの評価は、非常に難しい作業です。
既存のベンチマークは高い計算コスト、インフレーションのスコア、稀でクリティカルな欠陥に対する自明なバグに対するバイアスに悩まされている。
本稿では,ベンチマーク構築をバイナリコードテスト行列の最適な診断基準として定式化するフレームワークを提案する。
論文 参考訳（メタデータ） (2025-10-09T18:29:24Z) - Hierarchical Self-Supervised Representation Learning for Depression Detection from Speech [51.14752758616364]
音声による抑うつ検出 (SDD) は、従来の臨床評価に代わる有望で非侵襲的な代替手段である。
HAREN-CTCは,マルチタスク学習フレームワーク内でのクロスアテンションを用いて,多層SSL機能を統合した新しいアーキテクチャである。
このモデルはDAIC-WOZで0.81、MODMAで0.82の最先端マクロF1スコアを達成し、両方の評価シナリオで先行手法より優れている。
論文 参考訳（メタデータ） (2025-10-05T09:32:12Z) - Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
生成のための教師なし共形推論フレームワークを提案する。
我々のゲートは、分断されたUPPよりも厳密で安定した閾値を提供する。
その結果は、ラベルのない、API互換の、テスト時間フィルタリングのゲートになる。
論文 参考訳（メタデータ） (2025-09-26T23:40:47Z) - Lightweight Fault Detection Architecture for NTT on FPGA [0.8793721044482612]
ポスト量子暗号(PQC)アルゴリズムは数学的に安全であり、量子攻撃に耐性がある。
天然の欠陥や意図的な障害注入のために、ハードウェア実装の機密情報を漏洩することができる。
本研究は,軽量で効率的な再計算に基づく故障検出モジュールを提案する。
論文 参考訳（メタデータ） (2025-08-05T04:23:50Z) - Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs [79.74676890436174]
本稿では,障害の局所化と修復のためのオラクルとして形式仕様を用いたDafny用のAPRツールを提案する。
プログラム内の各ステートメントの状態を決定するために、Hoareロジックの使用を含む一連のステップを通じて、障害をローカライズします。
また, GPT-4o miniが74.18%と高い修理成功率を示した。
論文 参考訳（メタデータ） (2025-07-04T15:36:12Z) - Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation [7.040370156228408]
システムテストコードの欠陥ローカライゼーションのための,完全に静的なLLM駆動型アプローチを提案する。
私たちのメソッドは、テストの実行トレースを推定するために、単一障害実行ログを使用します。
事故事例の工業的データセットを用いて, 機能, ブロック, ラインレベルの評価を行った。
論文 参考訳（メタデータ） (2025-06-23T19:04:51Z) - CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases [2.8853600644505266]
本稿では,複数の障害を持つCプログラムに対して,新しい障害局所化手法を提案する。
CFaultsは、複数の観察でモデルベース診断(MBD)を活用し、失敗したすべてのテストケースを統一されたMaxSAT公式に集約する。
C プログラムのベンチマークセット TCAS と C-Pack-IPAs の実験結果から,CFaults は他の FBFL の手法よりも高速であることがわかった。
論文 参考訳（メタデータ） (2024-07-12T15:14:49Z) - SBEST: Spectrum-Based Fault Localization Without Fault-Triggering Tests [17.90798133817018]
本研究は, 事故報告から得られたスタックトレースを, スペクトルベース断層定位における故障トリガー試験のプロキシとして用いる可能性について検討した。
本稿では,スタックトレース情報とテストカバレッジデータを統合する新たな手法であるSBESTを提案する。
論文 参考訳（メタデータ） (2024-05-01T15:15:52Z) - Fast and Accurate Error Simulation for CNNs against Soft Errors [64.54260986994163]
本稿では,誤りシミュレーションエンジンを用いて,コナールニューラルネットワーク(CNN)の信頼性解析のためのフレームワークを提案する。
これらの誤差モデルは、故障によって誘導されるCNN演算子の出力の破損パターンに基づいて定義される。
提案手法は,SASSIFIの欠陥効果の約99%の精度と,限定的なエラーモデルのみを実装した44倍から63倍までのスピードアップを実現する。
論文 参考訳（メタデータ） (2022-06-04T19:45:02Z) - An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets [68.8204255655161]
過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。
ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
論文 参考訳（メタデータ） (2021-02-17T19:55:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。