論文の概要: A formal definition of loop unrolling with applications to test coverage
- arxiv url: http://arxiv.org/abs/2403.08923v2
- Date: Mon, 12 Aug 2024 17:31:01 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-13 23:48:12.734891
- Title: A formal definition of loop unrolling with applications to test coverage
- 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. While initially motivated by the need to improve standard test coverage practices (which execute loop bodies only once), to better testing coverage, the framework presented here is applicable to any form of reasoning about loops.
- Abstract(参考訳): 分岐カバレッジのような様々なテストカバレッジを実現するテクニックは、ループを反復しないのが一般的である。
著者と共同研究者による既存の作業は、完全なブランチカバレッジを保証するテストスイートを生成する。
最近の研究によると、ループをアンロールすることで、アプローチははるかに多くのバグを見つけることができる。
この議論は、このアンロールの概念の理論的基礎と正確な定義を提供する。
最初は、標準的なテストカバレッジプラクティス(ループボディを一度だけ実行する)を改善する必要性から動機付けられたが、テストカバレッジを改善するために、ここで提示されたフレームワークは、ループに関する推論のあらゆる形態に適用できる。
関連論文リスト
- Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications [22.272099472568893]
本稿では,ファジィ事象データが宣言的時間規則に適合するかどうかをDeclareパターンとして検討する。
これは、各瞬間に1つのアクティビティのみが実行されるという仮定を緩める必要がある。
PyTorch Pythonライブラリに基づいた概念実証,効率的な実装を提供する。
論文 参考訳(メタデータ) (2024-06-17T20:38:57Z) - 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) - Seeding Contradiction: a fast method for generating full-coverage test
suites [36.52277143058971]
テストスイートは、プログラムの進化を管理するための重要なリソースである。
Seeding Contradictionはプログラムのすべての基本ブロックに誤った命令を挿入する。
メソッドは静的で、高速に動作し、優れたカバレッジを実現する。
論文 参考訳(メタデータ) (2023-09-08T09:37:11Z) - Partial Matrix Completion [29.68420094716923]
この研究は、部分行列完備化の新しい枠組みを確立する。
目標は、高い信頼性で完成できるエントリの大規模なサブセットを特定することである。
本稿では,以下の証明可能な保証付き効率的なアルゴリズムを提案する。
論文 参考訳(メタデータ) (2022-08-25T12:47:20Z) - 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) - Incomplete Utterance Rewriting as Semantic Segmentation [57.13577518412252]
本稿では, セマンティックセグメンテーションタスクとして定式化する, 斬新で広範囲なアプローチを提案する。
スクラッチから生成する代わりに、このような定式化は編集操作を導入し、単語レベルの編集行列の予測として問題を形作る。
私たちのアプローチは、推論における標準的なアプローチの4倍高速です。
論文 参考訳(メタデータ) (2020-09-28T09:29:49Z) - Weakly measured while loops: peeking at quantum states [0.0]
whileループは、量子コンピュータ上の各イテレーションで終了条件をテストする。
弱い測定値を用いて時間ループプリミティブを定義し、摂動と反復毎に得られる情報量とのトレードオフを提供する。
任意に高い確率で、ループが実行するイテレーションの数を最悪のケースで見積もることができる十分な条件を提供しています。
論文 参考訳(メタデータ) (2020-09-18T13:33:43Z) - Consistency of a Recurrent Language Model With Respect to Incomplete
Decoding [67.54760086239514]
逐次言語モデルから無限長のシーケンスを受信する問題について検討する。
不整合に対処する2つの対策として、トップkと核サンプリングの一貫性のある変種と、自己終端の繰り返し言語モデルを提案する。
論文 参考訳(メタデータ) (2020-02-06T19:56:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。