論文の概要: 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(参考訳): 分岐カバレッジのような様々なテストカバレッジを実現するテクニックは、一般的にループを反復しない。
著者と共同研究者による既存の作業は、完全なブランチカバレッジを保証するテストスイートを生成する。
より最近の研究によると、ループをアンロールすることで、アプローチははるかに多くのバグを見つけることができる。
この議論は、このアンロールの概念の理論的基礎と正確な定義を提供する。
関連論文リスト
- Self-Infilling Code Generation [64.50898251405434]
自動回帰デコードにインフィル操作を組み込んだ汎用フレームワークであるセルフインフィルコード生成を導入する。
我々は,従来の復号化において,新しい割り込みとループ機構を導入するために,この機能を利用する。
提案する復号処理は,複数のコード生成ベンチマークにおける正規性と品質の向上に有効である。
論文 参考訳(メタデータ) (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) - (Almost) Provable Error Bounds Under Distribution Shift via Disagreement
Discrepancy [8.010528849585937]
我々は、ラベルのないテストデータを用いて、分散シフト中のディープニューラルネットワークのエラーに対して(ほぼ)保証された上限を導出する。
特に、我々の境界は単純で直感的な条件を必要とし、これは以前の経験的な研究によって十分に正当化される。
この損失は、マルチクラス不一致の最大化を必要とする将来のメソッドのドロップイン代替になることを期待しています。
論文 参考訳(メタデータ) (2023-06-01T03:22:15Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。