論文の概要: EQ-Robin: Generating Multiple Minimal Unique-Cause MC/DC Test Suites

• arxiv url: http://arxiv.org/abs/2509.26458v1
• Date: Tue, 30 Sep 2025 16:09:39 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-01 17:09:04.612817
• Title: EQ-Robin: Generating Multiple Minimal Unique-Cause MC/DC Test Suites
• Title（参考訳）: EQ-Robin:複数のミニマルなMC/DCテストスイートを生成する
• Authors: Robin Lee, Youngho Nam,
• Abstract要約: MC/DC(Modified Condition/Decision Coverage)は、安全クリティカルなソフトウェア検証の基盤である。 本稿では,最小限のUnique-Cause MC/DCスイート群を生成する軽量パイプラインであるEQ-Robinを提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Modified Condition/Decision Coverage (MC/DC), particularly its strict Unique-Cause form, is a cornerstone of safety-critical software verification. A recent algorithm, "Robin's Rule," introduced a deterministic method to construct the theoretical minimum of N+1 test cases for Singular Boolean Expressions (SBEs). However, this approach yields only a single test suite, introducing a critical risk: if a test case forming a required 'independence pair' is an illegal input forbidden by system constraints, the suite fails to achieve 100% coverage. This paper proposes EQ-Robin, a lightweight pipeline that systematically generates a family of minimal Unique-Cause MC/DC suites to mitigate this risk. We introduce a method for systematically generating semantically equivalent SBEs by applying algebraic rearrangements to an Abstract Syntax Tree (AST) representation of the expression. By applying Robin's Rule to each structural variant, a diverse set of test suites can be produced. This provides a resilient path to discovering a valid test suite that preserves the N+1 minimality guarantee while navigating real-world constraints. We outline an evaluation plan on TCAS-II-derived SBEs to demonstrate how EQ-Robin offers a practical solution for ensuring robust MC/DC coverage.
• Abstract（参考訳）: 修正条件/決定カバレッジ(MC/DC)、特に厳格なUnique-Cause形式は、安全クリティカルなソフトウェア検証の基礎となっている。 最近のアルゴリズム "Robin's Rule" では、Singular Boolean Expressions (SBE) に対するN+1テストケースの理論最小値を構築する決定論的手法が導入された。 しかし、このアプローチは1つのテストスイートに過ぎず、致命的なリスクをもたらす。もし要求される'独立ペア'を形成するテストケースが、システム制約によって禁止される違法な入力であるなら、スイートは100%のカバレッジを達成できない。 本稿では,このリスクを軽減するために,最小限のUnique-Cause MC/DCスイート群を系統的に生成する軽量パイプラインであるEQ-Robinを提案する。 本稿では,表現の抽象構文木(AST)表現に代数的再構成を適用することで,意味論的に等価なSBEを体系的に生成する手法を提案する。 Robinのルールを各構造変種に適用することにより、さまざまなテストスイートを生成できる。 これにより、実世界の制約をナビゲートしながらN+1の最小性を保証する有効なテストスイートを見つけるためのレジリエントなパスが提供される。 本稿では, TCAS-II 由来 SBE の評価計画を概説し, EQ-Robin が MC/DC の堅牢性を確保するための実用的なソリューションを提供することを実証する。

関連論文リスト

• An Efficient Algorithm for Generating Minimal Unique-Cause MC/DC Test cases for Singular Boolean Expressions [0.0]
  MC/DC(Modified Condition/Decision Coverage)は、重要なシステムの信頼性と安全性を確保するための構造的カバレッジ基準である。 Unique-Cause MC/DCは高い保証を提供するが、その効率的なテスト生成に関する研究は不足している。 本稿は,N条件のSBEに対して,100%ユニクカスMC/DCを保証するため,N + 1ケースの最小限のテストセットを直接構築する決定論的アルゴリズムである'Robin's Rule'を提案する。
  論文  参考訳（メタデータ） (2025-07-19T16:30:39Z)
• COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees [51.5976496056012]
  COINは、統計的に有効な閾値を校正し、質問毎に1つの生成された回答をフィルタリングする不確実性保護選択フレームワークである。 COINはキャリブレーションセット上で経験的誤差率を推定し、信頼区間法を適用して真誤差率に高い確率上界を確立する。 リスク管理におけるCOINの堅牢性,許容回答を維持するための強いテストタイムパワー,キャリブレーションデータによる予測効率を実証する。
  論文  参考訳（メタデータ） (2025-06-25T07:04:49Z)
• One Sample is Enough to Make Conformal Prediction Robust [53.78604391939934]
  共形予測は, 1つのランダムな摂動入力に対して前方通過しても, ある程度の堅牢性が得られることを示す。 提案手法は,入力毎に多数のパス(例えば100回程度)を使用するSOTA法と比較して,平均セットサイズが小さいロバストな集合を返す。
  論文  参考訳（メタデータ） (2025-06-19T19:14:25Z)
• Simple and Provable Scaling Laws for the Test-Time Compute of Large Language Models [70.07661254213181]
  本研究では,大規模言語モデルのテスト時間計算において,証明可能なスケーリング法則を享受する2つのアルゴリズムを提案する。 1つは2段階ノックアウト方式のアルゴリズムで、各候補は複数の相手に対して平均勝利率で評価される。 もう1つは2段階のリーグ方式のアルゴリズムで、各候補は複数の相手に対して平均勝利率で評価される。
  論文  参考訳（メタデータ） (2024-11-29T05:29:47Z)
• Testing randomness of series generated in Bell's experiment [62.997667081978825]
  おもちゃの光ファイバーをベースとしたセットアップを用いてバイナリシリーズを生成し、そのランダム度をVilleの原理に従って評価する。 標準統計指標の電池、ハースト、コルモゴロフ複雑性、最小エントロピー、埋め込みのTakensarity次元、および拡張ディッキー・フラーとクワイアトコフスキー・フィリップス・シュミット・シン(英語版)でテストされ、ステーション指数をチェックする。 Toeplitz 抽出器を不規則級数に適用することにより得られる系列のランダム性のレベルは、非還元原料のレベルと区別できない。
  論文  参考訳（メタデータ） (2022-08-31T17:39:29Z)
• Variable Selection with the Knockoffs: Composite Null Hypotheses [2.725698729450241]
  我々は、ノックオフ手順の理論を合成ヌル仮説を用いたテストに拡張する。 主な技術的課題は、任意の設計から依存した特徴と組み合わせて合成ヌルを扱うことである。
  論文  参考訳（メタデータ） (2022-03-06T01:40:35Z)
• Improved, Deterministic Smoothing for L1 Certified Robustness [119.86676998327864]
  分割雑音を伴う非加法的決定論的平滑化法(dssn)を提案する。 一様加法平滑化とは対照的に、ssn認証は無作為なノイズコンポーネントを独立に必要としない。 これは、規範ベースの敵対的脅威モデルに対して決定論的「ランダム化平滑化」を提供する最初の仕事である。
  論文  参考訳（メタデータ） (2021-03-17T21:49:53Z)
• Best Arm Identification for Cascading Bandits in the Fixed Confidence Setting [81.70513857417106]
  CascadeBAIを設計し、分析する。これは、$K$アイテムのベストセットを見つけるアルゴリズムである。 CascadeBAIの時間的複雑さの上限は、決定的な分析課題を克服することによって導かれる。 その結果,カスケードBAIの性能は,時間的複雑性の低い境界の導出により,いくつかの実践的状況において最適であることが示唆された。
  論文  参考訳（メタデータ） (2020-01-23T16:47:52Z)

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

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