論文の概要: Efficient Dynamic Test Case Generation for Path-Based Coverage Criteria

• arxiv url: http://arxiv.org/abs/2602.18768v1
• Date: Sat, 21 Feb 2026 09:26:23 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-24 17:42:02.304846
• Title: Efficient Dynamic Test Case Generation for Path-Based Coverage Criteria
• Title（参考訳）: パスベースカバレッジ基準のための効率的な動的テストケース生成
• Authors: Jakub Zelek, Jakub Ruszil, Adam Roman, Artur Polański,
• Abstract要約: 4つのホワイトボックスパスベースのカバレッジ基準を満たす新しいテストケース生成手法を提案する。 提案手法はジョンソンアルゴリズムの修正版に基づいており, テストケースを段階的に, オンデマンドで生成することができる。
• 参考スコア（独自算出の注目度）: 2.099922236065961
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We present a novel approach to test-case generation that satisfies four white-box, path-based coverage criteria: Prime Path, Simple Cycle, Simple Path, and Edge-Acyclic Path. Our method builds on a modified version of Johnson algorithm and enables test cases to be generated incrementally and on demand, rather than requiring the entire test suite to be computed upfront. This streaming capability represents a substantial advancement over existing approaches, as it allows testers to begin executing and refining tests immediately, thereby significantly improving the efficiency of test design. Our solution is inherently memory efficient, as it does not store all discovered coverage items; instead, it retains only the minimal set of paths required to generate subsequent coverage items on the fly. As a result, the approach scales to arbitrarily large graphs. In addition, the algorithm gives testers explicit control over the size of the generated test suite by allowing them to restrict the number of cycles permitted in a test path. The approach is grounded in new theoretical insights, most notably a novel characterization of prime paths in terms of the strongly connected components of control-flow graphs. We complement these theoretical contributions with a practical implementation and a comprehensive empirical evaluation. The results demonstrate that our method not only outperforms existing techniques in terms of execution time and memory consumption, but also provides testers with a more flexible and efficient tool for achieving high coverage while substantially reducing test design overhead.
• Abstract（参考訳）: 本稿では, 素数パス, 単純サイクル, 単純パス, エッジ循環パスの4つのホワイトボックス, パスベースカバレッジ基準を満たすテストケース生成手法を提案する。 提案手法は,Johnsonアルゴリズムの修正バージョンに基づいて構築されており,テストスイート全体を事前に計算するのではなく,テストケースを段階的に,オンデマンドで生成することができる。 このストリーミング機能は、テスタがすぐにテストを実行および精錬し、テスト設計の効率を大幅に改善することを可能にするため、既存のアプローチよりも大幅に進歩している。 私たちのソリューションは本質的にメモリ効率が良く、すべての発見済みのカバレッジアイテムを格納しないためです。 結果として、アプローチは任意に大きなグラフにスケールする。 さらに、このアルゴリズムは、テストパスで許可されたサイクルの数を制限することによって、生成したテストスイートのサイズを明示的に制御する。 このアプローチは、制御フローグラフの強い連結成分の観点からの素経路の新たな特徴付けとして、新しい理論的な洞察に基づいている。 我々はこれらの理論的貢献を実践的実装と包括的実証的評価で補完する。 その結果,本手法は既存の手法よりも実行時間やメモリ消費に優れるだけでなく,テスト設計のオーバーヘッドを大幅に低減しつつ,高いカバレッジを実現するためのより柔軟で効率的なツールを提供することがわかった。

関連論文リスト

• Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation [7.012302821190496]
  本稿では,手続き探索タスクから宣言的最適化問題への基底経路生成を再構成する。 構造的単純性においてグローバルに最適な完全基底パスセットを生成するために設計された混合プログラミング(MIP)フレームワークを導入する。 我々のフレームワークには,理論上最適なパスセットを保証するホロスティックMIPモデルと,大規模かつ複雑なトポロジに対するスケーラブルなインクリメンタルMIP戦略の2つの補完戦略が含まれている。
  論文  参考訳（メタデータ） (2026-01-09T01:36:29Z)
• Alignment with Fill-In-the-Middle for Enhancing Code Generation [56.791415642365415]
  コードスニペットを小さな粒度のブロックに分割し,同じテストケースからより多様なDPOペアを生成する手法を提案する。 提案手法は,HumanEval (+), MBPP (+), APPS, LiveCodeBench, BigCodeBenchといったベンチマークデータセットの実験によって検証された,コード生成タスクの大幅な改善を示す。
  論文  参考訳（メタデータ） (2025-08-27T03:15:53Z)
• DOCE: Finding the Sweet Spot for Execution-Based Code Generation [69.5305729627198]
  本稿では,候補生成,$n$-best再ランク,最小ベイズリスク(MBR)復号化,自己老化などを含む包括的フレームワークを提案する。 本研究は,実行ベースメソッドの重要性と,実行ベースメソッドと実行フリーメソッドとの差を明らかにする。
  論文  参考訳（メタデータ） (2024-08-25T07:10:36Z)
• Finding Transformer Circuits with Edge Pruning [71.12127707678961]
  自動回路発見の効率的かつスケーラブルなソリューションとしてエッジプルーニングを提案する。 本手法は,従来の手法に比べてエッジ数の半分未満のGPT-2の回路を探索する。 その効率のおかげで、Edge PruningをCodeLlama-13Bにスケールしました。
  論文  参考訳（メタデータ） (2024-06-24T16:40:54Z)
• Dynamic Test Case Prioritization in Industrial Test Result Datasets [5.401427060370659]
  本稿では,静的および動的優先度付けアルゴリズムを併用したテストケース優先順位付け方式を提案する。 我々は,3つの産業データセット上でのソリューションの評価を行い,故障検出の平均パーセンテージを利用する。
  論文  参考訳（メタデータ） (2024-02-05T11:46:14Z)
• FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs [92.47146416628965]
  FuzzyFlowはプログラム最適化をテストするために設計されたフォールトローカライゼーションとテストケース抽出フレームワークである。 我々は、データフロープログラム表現を活用して、完全に再現可能なシステム状態と最適化のエリア・オブ・エフェクトをキャプチャする。 テスト時間を削減するため,テスト入力を最小限に抑えるアルゴリズムを設計し,再計算のためのメモリ交換を行う。
  論文  参考訳（メタデータ） (2023-06-28T13:00:17Z)
• Evaluating Search-Based Software Microbenchmark Prioritization [6.173678645884399]
  本稿では,単目的と多目的の探索に基づくマイクロベンチマーク優先順位付け手法を実証的に評価する。 検索アルゴリズム(SA)は競争力があるばかりでなく、最高の欲求、カバレッジベースのベースラインを上回りません。
  論文  参考訳（メタデータ） (2022-11-24T10:45:39Z)
• Hybrid Intelligent Testing in Simulation-Based Verification [0.0]
  数百万のテストは、カバレッジの目標を達成するために必要かもしれない。 カバレッジ指向のテスト選択は、カバレッジフィードバックからバイアステストまで、最も効果的なテストへと学習する。 ノベルティ駆動検証は、以前の刺激とは異なる刺激を識別し、シミュレートすることを学ぶ。
  論文  参考訳（メタデータ） (2022-05-19T13:22:08Z)
• Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification [0.0]
  本稿では,自動制約抽出とテスト選択のための新しい手法を提案する。 カバレッジ指向のテスト選択は、カバレッジフィードバックからの教師付き学習に基づいている。 本稿では,手作業による制約記述の低減,効果的なテストの優先順位付け,検証資源の消費の低減,大規模で実生活のハードウェア設計におけるカバレッジ閉鎖の促進について述べる。
  論文  参考訳（メタデータ） (2022-05-17T17:49:30Z)

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

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