論文の概要: Accelerating Patch Validation for Program Repair with Interception-Based
Execution Scheduling
- arxiv url: http://arxiv.org/abs/2305.03955v2
- Date: Fri, 26 Jan 2024 14:35:12 GMT
- ステータス: 処理完了
- システム内更新日: 2024-01-29 18:35:12.092302
- Title: Accelerating Patch Validation for Program Repair with Interception-Based
Execution Scheduling
- Title(参考訳): インターセプションに基づく実行スケジューリングによるプログラム修復のためのパッチ検証の高速化
- Authors: Yuan-An Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
- Abstract要約: そこで本研究では,既存の突然変異検査手法を検証し,汎用パッチ検証に適した5種類の加速手法を同定する。
本稿では,オンラインのパッチ間の等価性を検出する実行スケジューリングと,システム状態へのパッチ変更を遮断するインターセプションベースのインスツルメンテーションの2つの新しい手法を提案する。
4つのAPRアプローチによる大規模評価では、ExpressAPRは、プレーンバリデーションの137.1倍、最先端の8.8倍のパッチ検証を高速化する。
- 参考スコア(独自算出の注目度): 15.592392495402809
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Long patch validation time is a limiting factor for automated program repair
(APR). Though the duality between patch validation and mutation testing is
recognized, so far there exists no study of systematically adapting mutation
testing techniques to general-purpose patch validation. To address this gap, we
investigate existing mutation testing techniques and identify five classes of
acceleration techniques that are suitable for general-purpose patch validation.
Among them, mutant schemata and mutant deduplication have not been adapted to
general-purpose patch validation due to the arbitrary changes that third-party
APR approaches may introduce. This presents two problems for adaption: 1) the
difficulty of implementing the static equivalence analysis required by the
state-of-the-art mutant deduplication approach; 2) the difficulty of capturing
the changes of patches to the system state at runtime. To overcome these
problems, we propose two novel approaches: 1) execution scheduling, which
detects the equivalence between patches online, avoiding the static equivalence
analysis and its imprecision; 2) interception-based instrumentation, which
intercepts the changes of patches to the system state, avoiding a full
interpreter and its overhead. Based on the contributions above, we implement
ExpressAPR, a general-purpose patch validator for Java that integrates all
recognized classes of techniques suitable for patch validation. Our large-scale
evaluation with four APR approaches shows that ExpressAPR accelerates patch
validation by 137.1x over plainvalidation or 8.8x over the state-of-the-art
approach, making patch validation no longer the time bottleneck of APR. Patch
validation time for a single bug can be reduced to within a few minutes on
mainstream CPUs.
- Abstract(参考訳): 長期パッチ検証時間は、自動プログラム修復(APR)の制限要因である。
パッチ検証と突然変異検査の二重性は認識されているが、汎用的なパッチ検証に系統的に突然変異検査技術を適用する研究は今のところ存在しない。
このギャップに対処するため,既存の突然変異検査手法を検証し,汎用パッチ検証に適した5種類の加速手法を同定する。
それらのうち、ミュータントスキーマとミュータント重複は、サードパーティのaprアプローチによる任意の変更のため、汎用パッチ検証に適応していない。
適応には2つの問題があります
1) state-of-the-art mutant deduplication approach による静的同値解析の実施の難しさ
2) 実行時にシステム状態に対するパッチの変更をキャプチャすることの難しさ。
これらの問題を克服するために,我々は2つの新しいアプローチを提案する。
1) オンラインのパッチ間の等価性を検出し,静的同値解析とその不正確性を回避する実行スケジューリング
2) インターセプションベースのインスツルメンテーションは、システム状態へのパッチ変更をインターセプトし、完全なインタプリタとそのオーバーヘッドを回避する。
上記のコントリビューションに基づいて,パッチ検証に適したテクニックのクラスをすべて統合したJava用汎用パッチ検証ツールであるExpressAPRを実装した。
4つの apr アプローチによる大規模評価を行った結果,expressapr によるパッチ検証は,プレーンバリデーションよりも 137.1 倍,最先端アプローチでは 8.8 倍 速くなり,パッチ検証が apr の時間的ボトルネックにならないことが判明した。
単一のバグに対するパッチ検証時間は、メインストリームのCPUで数分以内に削減できる。
関連論文リスト
- MS-Former: Memory-Supported Transformer for Weakly Supervised Change
Detection with Patch-Level Annotations [50.79913333804232]
弱い教師付き変化検出のためのメモリ支援トランス (MS-Former) を提案する。
MS-Former は双方向注意ブロック (BAB) とパッチレベルの監視スキーム (PSS) から構成される。
3つのベンチマークデータセットの実験結果から,提案手法の有効性が示された。
論文 参考訳(メタデータ) (2023-11-16T09:57:29Z) - CompVPD: Iteratively Identifying Vulnerability Patches Based on Human Validation Results with a Precise Context [16.69634193308039]
パッチの通知が不完全で遅延することが多いため、オープンソースソフトウェアにタイムリーにセキュリティパッチを適用するのは難しい。
本稿では,パッチに関連するコードを正確に識別する多粒度スライシングアルゴリズムと適応拡張アルゴリズムを提案する。
脆弱性の特定には、CompVPDと4つのSOTA(State-of-the-art/practice)アプローチを実証的に比較する。
論文 参考訳(メタデータ) (2023-10-04T02:08:18Z) - RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic
Program Repair [75.40584530380589]
新たな検索型パッチ生成フレームワーク(RAP-Gen)を提案する。
RAP-Gen 以前のバグ修正ペアのリストから取得した関連する修正パターンを明示的に活用する。
RAP-GenをJavaScriptのTFixベンチマークとJavaのCode RefinementとDefects4Jベンチマークの2つのプログラミング言語で評価する。
論文 参考訳(メタデータ) (2023-09-12T08:52:56Z) - Better Practices for Domain Adaptation [62.70267990659201]
ドメイン適応(DA)は、ラベルを使わずに、モデルを配置データに適用するためのフレームワークを提供することを目的としている。
DAの明確な検証プロトコルは、文献の悪い実践につながっている。
ドメイン適応手法の3つの分野にまたがる課題を示す。
論文 参考訳(メタデータ) (2023-09-07T17:44:18Z) - Patch Space Exploration using Static Analysis Feedback [8.13782364161157]
静的解析を利用して、メモリの安全性問題を自動的に修復する方法を示す。
提案したアプローチは、バグを修正するためのパッチの近さを検査することで、望ましいパッチが何であるかを学習する。
我々は,印字ヒープに対する影響に応じて等価パッチのクラスを作成し,そのクラスのパッチ等価度に対してのみ検証オラクルを呼び出すことにより,修復をスケーラブルにする。
論文 参考訳(メタデータ) (2023-08-01T05:22:10Z) - Semi-DETR: Semi-Supervised Object Detection with Detection Transformers [105.45018934087076]
半教師付き物体検出(SSOD)におけるDETRに基づくフレームワークの解析
本報告では,第1次変圧器を用いたエンド・ツー・エンド半教師対象検出器であるSemi-DETRについて述べる。
我々の手法は、最先端の手法をクリアマージンで上回る。
論文 参考訳(メタデータ) (2023-07-16T16:32:14Z) - On Pitfalls of Test-Time Adaptation [82.8392232222119]
TTA(Test-Time Adaptation)は、分散シフトの下で堅牢性に取り組むための有望なアプローチとして登場した。
TTABは,10の最先端アルゴリズム,多種多様な分散シフト,および2つの評価プロトコルを含むテスト時間適応ベンチマークである。
論文 参考訳(メタデータ) (2023-06-06T09:35:29Z) - PatchZero: Zero-Shot Automatic Patch Correctness Assessment [13.19425284402493]
コードに大規模言語モデルを適用することにより,パッチの正当性評価を行うツールネームを提案する。
ツールネームは、新しいAPRツールによって生成されたものとセマンティックな類似性を示す既存のAPRツールからラベル付きパッチを優先する。
実験の結果,ツールネームの精度は84.4%,F1スコアは86.5%であった。
論文 参考訳(メタデータ) (2023-03-01T03:12:11Z) - Segment and Complete: Defending Object Detectors against Adversarial
Patch Attacks with Robust Patch Detection [142.24869736769432]
敵のパッチ攻撃は最先端の物体検出器に深刻な脅威をもたらす。
パッチ攻撃に対して物体検出器を防御するフレームワークであるSegment and Complete Defense (SAC)を提案する。
SACは、物理的パッチ攻撃の標的攻撃成功率を著しく低減できることを示す。
論文 参考訳(メタデータ) (2021-12-08T19:18:48Z) - PatchCensor: Patch Robustness Certification for Transformers via
Exhaustive Testing [7.88628640954152]
Vision Transformer (ViT)は、他の古典的ニューラルネットワークと同様に非常に非線形であることが知られており、自然なパッチの摂動と逆パッチの摂動の両方によって容易に騙される。
この制限は、特に安全クリティカルなシナリオにおいて、実際の産業環境におけるViTの展開に脅威をもたらす可能性がある。
PatchCensorを提案する。このPatchCensorは、徹底的なテストを適用することで、ViTのパッチ堅牢性を証明することを目的としている。
論文 参考訳(メタデータ) (2021-11-19T23:45:23Z) - Checking Patch Behaviour against Test Specification [4.723400023753107]
パッチ動作とテスト仕様のフェールとの関連性について仮説を提案する。
次に、パッチの正当性を予測するための教師なし学習ベースシステムBATSを提案する。
論文 参考訳(メタデータ) (2021-07-28T11:39:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。