論文の概要: Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
- arxiv url: http://arxiv.org/abs/2404.17966v1
- Date: Sat, 27 Apr 2024 17:55:46 GMT
- ステータス: 処理完了
- システム内更新日: 2024-04-30 18:22:24.305523
- Title: Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
- Title（参考訳）: ビルド時間を割かずに高構成のソフトウェアをテストするためのパッチカバレッジの最大化
- Authors: Necip Fazıl Yıldıran, Jeho Oh, Julia Lawall, Paul Gazzillo,
- Abstract要約: Linuxカーネルメンテナは自動継続的インテグレーションテストを採用している。
現在のアプローチでは、全文のカバレッジを最大化する設定ファイルを使用するか、ランダムに生成された複数の設定ファイルを使用する。
高速な構成ファイルを自動的に修復するkrepairを提案する。
- 参考スコア（独自算出の注目度）: 2.291165153993396
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: The Linux kernel is highly-configurable, with a build system that takes a configuration file as input and automatically tailors the source code accordingly. Configurability, however, complicates testing, because different configuration options lead to the inclusion of different code fragments. With thousands of patches received per month, Linux kernel maintainers employ extensive automated continuous integration testing. To attempt patch coverage, i.e., taking all changed lines into account, current approaches either use configuration files that maximize total statement coverage or use multiple randomly-generated configuration files, both of which incur high build times without guaranteeing patch coverage. To achieve patch coverage without exploding build times, we propose krepair, which automatically repairs configuration files that are fast-building but have poor patch coverage to achieve high patch coverage with little effect on build times. krepair works by discovering a small set of changes to a configuration file that will ensure patch coverage, preserving most of the original configuration file's settings. Our evaluation shows that, when applied to configuration files with poor patch coverage on a statistically-significant sample of recent Linux kernel patches, krepair achieves nearly complete patch coverage, 98.5% on average, while changing less than 1.53% of the original default configuration file in 99% of patches, which keeps build times 10.5x faster than maximal configuration files.
- Abstract（参考訳）: Linuxカーネルは高度に構成可能で、ビルドシステムは構成ファイルを入力として取り、それに応じてソースコードを自動的に調整する。
しかし、異なる設定オプションが異なるコードフラグメントを含ませることにつながるため、構成性はテストが複雑になる。
毎月数千のパッチを受け取り、Linuxカーネルのメンテナは大規模な継続的統合テストを自動化している。
パッチカバレッジを試すために、現在のアプローチでは、全ステートメントカバレッジを最大化する構成ファイルを使うか、複数のランダムに生成された構成ファイルを使用する。
ビルド時間を浪費することなくパッチカバレッジを実現するために,ビルド時間にほとんど影響を与えずにパッチカバレッジの低い構成ファイルを自動的に修復するkrepairを提案する。
krepairは、設定ファイルの小さな変更セットを発見して、パッチカバレッジを確保し、元の設定ファイルの設定の大部分を保存する。
我々の評価では、最近のLinuxカーネルのパッチの統計的に重要なサンプルに対するパッチカバレッジの低い構成ファイルに適用すると、krepairは、ほぼ完全なパッチカバレッジを平均98.5%達成し、元のデフォルト設定ファイルの1.53%を99%のパッチで変更し、ビルド時間は最大構成ファイルの10.5倍高速である。
関連論文リスト
- AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded Devices [8.026313049094147]
医療用や工業用デバイスのようなリアルタイムの組み込みデバイスは、サイバー攻撃がますますターゲットになっている。
ホットパッチングは、再起動せずにミッションクリティカルな組み込みデバイスにパッチを適用するアプローチである。
本稿では,オフィシャルパッチの静的解析により等価なホットパッチを自動的に生成する,新しいホットパッチ技術であるAutoPatchを提案する。
論文 参考訳（メタデータ） (2024-08-27T19:11:39Z) - KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution [59.20933707301566]
大規模言語モデル(LLM)は、ますます現実的なソフトウェア工学(SE)タスクにおいて一貫して改善されている。
現実世界のソフトウェアスタックでは、Linuxカーネルのような基本的なシステムソフトウェアの開発にSEの取り組みが費やされています。
このような大規模システムレベルのソフトウェアを開発する際にMLモデルが有用かどうかを評価するため、kGymとkBenchを紹介する。
論文 参考訳（メタデータ） (2024-07-02T21:44:22Z) - PS$^3$: Precise Patch Presence Test based on Semantic Symbolic Signature [13.9637348151437]
既存のアプローチは主に、同じコンパイラオプションでコンパイルされるパッチの検出に重点を置いている。
PS3はシンボルエミュレーションを利用して、異なるコンパイラオプションの下で安定なシグネチャを抽出する。
PS3は精度、リコール、F1のスコアで0.82、0.97、0.89のスコアを得る。
論文 参考訳（メタデータ） (2023-12-06T10:04:15Z) - SKU-Patch: Towards Efficient Instance Segmentation for Unseen Objects in
Auto-Store [102.45729472142526]
大規模な倉庫では、精密なケースマスクがロボットのビンピッキングに欠かせない。
本稿では,新たなSKUに対して,いくつかのイメージパッチのみを活用するパッチ誘導型インスタンスセグメンテーションソリューションを提案する。
SKU-Patchは、ロボット支援自動ストアロジスティックパイプラインにおいて、50以上の見えないSKUに対して、平均して100%近い成功率を得る。
論文 参考訳（メタデータ） (2023-11-08T12:44:38Z) - MCRepair: Multi-Chunk Program Repair via Patch Optimization with Buggy
Block [0.0]
本稿では,マルチコード修復(MCRepair)と呼ばれる新しいAPR手法を提案する。
Defects4Jを使った実験で、MCRepairは、21のマルチチャンクバグを含む65のバグを修復した。さらに、8のマルチチャンクバグを含む18のユニークなバグを修正し、ベースラインよりも40%から250パーセントパフォーマンスを改善した。
論文 参考訳（メタデータ） (2023-10-12T09:21:40Z) - 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) - Patch Space Exploration using Static Analysis Feedback [8.13782364161157]
静的解析を利用して、メモリの安全性問題を自動的に修復する方法を示す。
提案したアプローチは、バグを修正するためのパッチの近さを検査することで、望ましいパッチが何であるかを学習する。
我々は,印字ヒープに対する影響に応じて等価パッチのクラスを作成し,そのクラスのパッチ等価度に対してのみ検証オラクルを呼び出すことにより,修復をスケーラブルにする。
論文 参考訳（メタデータ） (2023-08-01T05:22:10Z) - Deep Patch Visual Odometry [66.8086971254714]
ディープパッチ・ビジュアル・オドメトリー(DPVO)はモノクル・ビジュアル・オドメトリー(VO)のための新しいディープラーニングシステムである
DPVOは、時間にわたってイメージパッチを追跡するように設計された、新しいリカレントネットワークアーキテクチャを使用している。
標準ベンチマークでは、DPVOは、学習に基づく最先端のVOシステムを含む、これまでのすべての作業より優れています。
論文 参考訳（メタデータ） (2022-08-08T04:47:38Z) - Test-based Patch Clustering for Automatically-Generated Patches Assessment [21.051652050359852]
オーバーフィッティングは、パッチが実行され、テストスイートがエラーを露呈しない場合に発生するが、パッチは、実際に基盤となるバグを修正したり、テストスイートがカバーしていない新しい欠陥を導入したりする。
私たちの研究は、プログラマがレビューしなければならない妥当なパッチの数を最小限に抑え、正しいパッチを見つけるのに必要な時間を短縮することを目的としています。
我々は、xTestClusterと呼ばれる新しい軽量なテストベースのパッチクラスタリング手法を導入し、その動的挙動に基づいてパッチをクラスタリングする。
論文 参考訳（メタデータ） (2022-07-22T13:39:27Z) - 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) - (De)Randomized Smoothing for Certifiable Defense against Patch Attacks [136.79415677706612]
我々は、所定の画像とパッチ攻撃サイズを保証する、パッチ攻撃に対する認証可能な防御を導入する。
本手法はランダム化スムースなロバスト性スキームの幅広いクラスに関係している。
その結果,CIFAR-10およびImageNetに対するパッチ攻撃に対する認証済みの防御技術が確立した。
論文 参考訳（メタデータ） (2020-02-25T08:39:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。