論文の概要: Loop unrolling (for test coverage): formal definition
- arxiv url: http://arxiv.org/abs/2403.08923v1
- Date: Wed, 13 Mar 2024 19:28:04 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-15 22:37:06.300551
- Title: Loop unrolling (for test coverage): formal definition
- Title(参考訳): ループアンローリング(テストカバレッジ)形式定義
- Authors: Bertrand Meyer,
- Abstract要約: ブランチカバレッジなど、さまざまなテストカバレッジを実現するためのテクニックは、通常、ループを反復しない。
より最近の研究によると、ループをアンロールすることで、アプローチははるかに多くのバグを見つけることができる。
- 参考スコア(独自算出の注目度): 37.48416208168878
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Techniques to achieve various forms of test coverage, such as branch coverage, typically do not iterate loops; in other words, they treat a loop as a conditional, executed zero or one time. Existing work by the author and collaborators produces test suites guaranteeing full branch coverage. More recent work has shown that by unrolling loops the approach can find significantly more bugs. The present discussion provides the theoretical basis and precise definition for this concept of unrolling.
- Abstract(参考訳): 分岐カバレッジのような様々なテストカバレッジを実現するテクニックは、一般的にループを反復しない。
著者と共同研究者による既存の作業は、完全なブランチカバレッジを保証するテストスイートを生成する。
より最近の研究によると、ループをアンロールすることで、アプローチははるかに多くのバグを見つけることができる。
この議論は、このアンロールの概念の理論的基礎と正確な定義を提供する。
関連論文リスト
- DOCE: Finding the Sweet Spot for Execution-Based Code Generation [69.5305729627198]
本稿では,候補生成,$n$-best再ランク,最小ベイズリスク(MBR)復号化,自己老化などを含む包括的フレームワークを提案する。
本研究は,実行ベースメソッドの重要性と,実行ベースメソッドと実行フリーメソッドとの差を明らかにする。
論文 参考訳(メタデータ) (2024-08-25T07:10:36Z) - Benchmarking Video Frame Interpolation [11.918489436283748]
提案手法は,提案するWebサイトを利用して,一貫したエラーメトリクスを確立するベンチマークである。
また、合成データを利用して線形性の仮定に忠実なテストセットを提案し、コヒーレントな方法で計算効率を評価する。
論文 参考訳(メタデータ) (2024-03-25T19:13:12Z) - Self-Infilling Code Generation [60.12883980846781]
自動回帰デコードにインフィル操作を組み込んだ汎用フレームワークであるセルフインフィルコード生成を導入する。
我々は,従来の復号化において,新しい割り込みとループ機構を導入するために,この機能を利用する。
提案する復号処理は,複数のコード生成ベンチマークにおける正規性と品質の向上に有効である。
論文 参考訳(メタデータ) (2023-11-29T16:02:06Z) - Understanding prompt engineering may not require rethinking
generalization [56.38207873589642]
言語モデルによって与えられるPAC-Bayesと組み合わさったプロンプトの離散的性質は、文献の標準によって非常に厳密な一般化境界をもたらすことを示す。
この研究は、プロンプトエンジニアリングの広範な実践を正当化する可能性がある。
論文 参考訳(メタデータ) (2023-10-06T00:52:48Z) - Program Structure Aware Precondition Generation [8.797622429151861]
コードから自然条件を推定するための新しい手法を提案する。
私たちの革新は、プログラム変換を通じて事前条件を推論するために、ターゲットメソッドの構造をシードとして活用することにあります。
実世界の87のプロジェクトにフレームワークを適用した18kのJava(メソッド、プレコンディション)ペアのデータセットを提示する。
論文 参考訳(メタデータ) (2023-10-03T15:40:19Z) - Seeding Contradiction: a fast method for generating full-coverage test
suites [36.52277143058971]
テストスイートは、プログラムの進化を管理するための重要なリソースである。
Seeding Contradictionはプログラムのすべての基本ブロックに誤った命令を挿入する。
メソッドは静的で、高速に動作し、優れたカバレッジを実現する。
論文 参考訳(メタデータ) (2023-09-08T09:37:11Z) - Semi-Oblivious Chase Termination for Linear Existential Rules: An
Experimental Study [5.936402320555635]
チェイス手順は、制約のある推論を可能にする、データベースの基本的なアルゴリズムツールである。
データベースと一連の制約を入力として取り、制約によって決定されたデータベースを反復的に完了します。
しかし、重要な課題は、それが終了しないかもしれないという事実であり、それが与えられたデータベースと一連の制約を終了するかどうかをチェックする問題に繋がる。
論文 参考訳(メタデータ) (2023-03-22T18:21:01Z) - MPE inference using an Incremental Build-Infer-Approximate Paradigm [0.0]
ベイジアンネットワークで最も可能性の高い説明(MPE)の具体的な推論はNP完全であることが知られている。
インクリメンタルなビルド・インファー・アポキシメート・フレームワークをベースとした,MPEの近似推定アルゴリズムを提案する。
私たちのソリューションの精度は、ベンチマークの大部分でブランチとバウンド検索に匹敵し、競合する実行時間を持つ。
論文 参考訳(メタデータ) (2022-06-04T09:37:44Z) - A Call for Clarity in Beam Search: How It Works and When It Stops [125.55175954381991]
我々は、このビーム復号化実装の簡単な修正である忍耐係数を導入し、停止基準を一般化し、探索深度に柔軟性を提供する。
実験結果から,この忍耐率の調整は,ニューステキスト要約および多言語対における機械翻訳において,強い事前学習されたモデルの復号性能を向上させることが示された。
論文 参考訳(メタデータ) (2022-04-11T22:03:44Z) - Semantic Scaffolds for Pseudocode-to-Code Generation [47.09844589656143]
プログラムの高レベルな意味的・統語的構成を表す軽量な構造である意味的足場に基づくプログラム生成手法を提案する。
推論中にセマンティックスキャフォールドを使用することで、従来の最先端技術に比べて、トップ100の精度が10%向上する。
論文 参考訳(メタデータ) (2020-05-12T17:10:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。