論文の概要: BUGFIX: towards a common language and framework for the AutomaticProgram
Repair community
- arxiv url: http://arxiv.org/abs/2402.14471v1
- Date: Thu, 22 Feb 2024 11:59:43 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-23 15:23:27.353402
- Title: BUGFIX: towards a common language and framework for the AutomaticProgram
Repair community
- Title(参考訳): BUGFIX:AutomaticProgram修復コミュニティのための共通言語とフレームワーク
- Authors: Bertrand Meyer, Viktoryia Kananchuk and Li Huang
- Abstract要約: 我々は、APRコミュニティが互いの進歩から恩恵を受けられるようにするための一般的な枠組みを概説する。
このような共通フレームワークは、Interactive Development Environmentsの研究者や開発者にとって非常に有益である。
- 参考スコア(独自算出の注目度): 36.52277143058971
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Techniques of Automatic Program Repair (APR) have the potential of thoroughly
facilitating the task of producing quality software. After a promising start,
however, progress in making APR practical has been hindered by the lack of a
common framework to support the multiplicity of APR ideas and tools, and of
target programming languages and environments.
In this position paper we outline a general framework to enable the APR
community to benefit from each other\'s advances, in particular through a
standard language for describing bugs and their fixes. Such a common framework
(which is also applicable to work on fault seeding) could be a tremendous
benefit to researchers and developers of Interactive Development Environments
(IDEs) who are working to make APR an effective part of the practical
experience of software developers.
- Abstract(参考訳): 自動プログラム修復(APR)技術は、品質ソフトウェアを作成するタスクを徹底的に促進する可能性がある。
しかし、有望なスタートの後、APRの実践化の進展は、APRのアイデアやツールの多元性をサポートする共通のフレームワークが欠如していることや、ターゲットとなるプログラミング言語や環境によって妨げられている。
本稿では、APRコミュニティが互いの進歩、特にバグとその修正を記述するための標準言語を通じて恩恵を受けることができるための一般的なフレームワークの概要を述べる。
このような共通フレームワーク(フォールトシードにも適用可能です)は、APRをソフトウェア開発者の実践的経験の効果的な一部にしようと努力しているInteractive Development Environments(IDE)の研究者や開発者にとって、大きなメリットになります。
関連論文リスト
- An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications [5.395614997568524]
本稿では,アロイの宣言的仕様を修復するためのLarge Language Models (LLMs) の能力について,体系的に検討する。
本稿では, 補修エージェントとプロンプトエージェントを組み合わせた, 二重エージェントLLMフレームワークを統合した新しい補修パイプラインを提案する。
本研究は, LLM, 特に GPT-4 変種が, 実行時およびトークン使用率の限界が増大しているにもかかわらず, 修復効率において既存の技術よりも優れていたことを明らかにした。
論文 参考訳(メタデータ) (2024-04-17T03:46:38Z) - User-Centric Deployment of Automated Program Repair at Bloomberg [13.994851524965016]
本稿では,ソフトウェア技術者に最適な時間,目標,自動生成パッチを提案する。
私たちはGitHubのSuggested Changesインターフェースを使用して、自動提案をプルリクエストにシームレスに統合しています。
ユーザ調査からB-Assistの有効性は明らかであり,パッチ提案の受け入れ率は74.56%である。
論文 参考訳(メタデータ) (2023-11-17T13:39:48Z) - Practical Program Repair via Preference-based Ensemble Strategy [28.176710503313895]
本稿では、異なるバグを修復するためのAPRツールのランク付けを行うためのPreference-based Ensemble Program repair framework(P-EPR)を提案する。
P-EPRは、修復パターンを利用した最初の非学習ベースのAPRアンサンブル法である。
実験の結果,P-EPRは柔軟性と有効性の両方において既存の戦略よりも優れていた。
論文 参考訳(メタデータ) (2023-09-15T07:23:04Z) - Communicative Agents for Software Development [79.86905471184195]
ChatDevはチャットを利用した仮想ソフトウェア開発会社で、確立したウォーターフォールモデルを反映している。
各ステージは、プログラマ、コードレビュアー、テストエンジニアといった"ソフトウェアエージェント"のチームが参加し、協調的な対話を促進する。
ChatDevは潜在的な脆弱性を特定し、信頼できる効率とコスト効率を維持しながら幻覚を正す。
論文 参考訳(メタデータ) (2023-07-16T02:11:34Z) - Natural Language Generation and Understanding of Big Code for
AI-Assisted Programming: A Review [9.355153561673855]
本稿では,Big Codeを用いてトレーニングしたトランスフォーマーベース大規模言語モデル(LLM)に焦点を当てる。
LLMは、コード生成、コード補完、コード翻訳、コード洗練、コードの要約、欠陥検出、クローン検出など、AI支援プログラミングアプリケーションを促進する上で重要な役割を担っている。
これらのアプリケーションにNLP技術とソフトウェア自然性を導入する上での課題と機会を探究する。
論文 参考訳(メタデータ) (2023-07-04T21:26:51Z) - A Survey on Automated Program Repair Techniques [19.8878105453369]
本稿では,検索ベース,制約ベース,テンプレートベース,学習ベースという4つの異なるAPRパッチ生成方式を紹介する。
本稿では,それぞれのAPRツールをレビュー・比較するための一貫した基準セットを提案し,その利点とデメリットを要約し,APR開発の現状について議論する。
論文 参考訳(メタデータ) (2023-03-31T16:28:37Z) - BigIssue: A Realistic Bug Localization Benchmark [89.8240118116093]
BigIssueは、現実的なバグローカライゼーションのためのベンチマークである。
実際のJavaバグと合成Javaバグの多様性を備えた一般的なベンチマークを提供する。
われわれは,バグローカライゼーションの最先端技術として,APRの性能向上と,現代の開発サイクルへの適用性の向上を期待している。
論文 参考訳(メタデータ) (2022-07-21T20:17:53Z) - Empowered and Embedded: Ethics and Agile Processes [60.63670249088117]
私たちは倫理的考慮事項を(アジャイル)ソフトウェア開発プロセスに組み込む必要があると論じています。
私たちは、すでに存在しており、確立されたアジャイルソフトウェア開発プロセスで倫理的な議論を実施する可能性を強調しました。
論文 参考訳(メタデータ) (2021-07-15T11:14:03Z) - Broader terms curriculum mapping: Using natural language processing and
visual-supported communication to create representative program planning
experiences [62.997667081978825]
学部と非学部間のコミュニケーションの困難さは、未発見のコラボレーションの可能性を秘めている。
本稿では,プログラム計画表現の普遍的,自己説明的,権限付与的な提供方法を提案する。
論文 参考訳(メタデータ) (2021-02-09T13:27:04Z) - Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。
本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
論文 参考訳(メタデータ) (2020-08-07T06:35:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。