抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
開発者が大量の欠陥報告に対して入手できない時、自動プログラム修復(AutomaticProgramRepair,APR)はその中のいくつかの欠陥の自動修復を完成でき、それによって開発者のプログラムデバッグ時間を有効に減らすことができる。そのため、自動プログラムの修復は次第に現在のソフトウェアの維持領域の研究焦点となり、一定の研究進展が得られた。本論文では、権威定期刊行物と会議に対して検索を行い、100数編の関連論文を収集し、既存の自動プログラム修復の研究過程、当方法の重要な問題及び国内外の関連研究チーム及び成果などのいくつかの方面から、この領域について系統的に総括した。テストケースに基づく自動プログラム修復方法は,現在の主流方式であり,それは,テストケースセットをセットすることによって,パッチ生成の品質を評価する。論文では、これらの方法を3つの段階に分けた:ソフトウェア欠陥定位段階、生成パッチ段階とパッチ評価段階。その中、ソフトウェア欠陥定位段階は自動プログラム修復の基礎であり、その目標はできるだけ正確に欠陥を含む文を識別できることである。生成パッチ段階は,あらかじめ定義された修正操作により欠陥文を修正し,コード修正操作は,修復プログラムの自己コード,オープンソース項目のコード,あるいは対話サイトにおける知識などを考慮することができる.パッチ評価の段階は,候補パッチの生成を評価して,すべてのテストケースを,すべてのテストケースを通過させ,そして,開発者の手動分析を通して,最終的に確認した。上記の3つの段階の中で、パッチ生成段階は自動プログラムの修復方法の核心であり、論文では、既存のパッチ生成方法を3種類に分けた:検索に基づく方法、語義に基づく方法とその他のタイプの方法。探索空間において探索によってパッチを生成して,このパッチをテストケースセットによって検証して,古典的方法は,GenProg,PAR,AE,RSrepairなどを含んだ。語義に基づく方法は意味情報を利用してパッチを合成でき、主に記号の実行と制約の解決に基づき、古典的な方法はSemFix、DirectFix、Angelix、Nopolなどを含む。しかし、上述の2種類の方法に属さない研究作業はその他の類型の方法にまとめられ、古典的な仕事は対話サイトとオープンソースプロジェクトの託管ウェブサイトのマイニングに基づき、パッチを生成する。一方、パッチ評価段階は自動プログラム修復方法の研究の論争焦点であり、この2年の研究者は、検索空間における正確なパッチの分布とパッチの正確性をもっと重視している。特に、パッチの検証コストを減らし、パッチの品質を高める問題に対して、更なる探索を行った。次に,特定の領域の自動プログラムの修復方法について総括し,同時発生欠陥,データベース欠陥,空ポインタ欠陥,データ構造欠陥,メモリ漏れ欠陥などの自動修復方法を含む。同時発生欠陥の自動修復方法について重点的に分析して、既存の研究仕事をデータ競争の自動修復、原子性違反の自動修復、順序違反の自動修復とデッドロックの自動修復に分けた。次に,自動プログラム修復法の有効性評価でよく使われる欠陥ライブラリをまとめ,ManyBugs,Intro-Class,Simensプログラムセット,Defect4Jが現在最も使用されている欠陥ライブラリである。研究者がもっとよく自分の提案した修復方法と比較するため、論文は現在共有した自動プログラム修復ツールを収集し、関連する参考文献と具体的なダウンロードアドレスを提供した。次に、国内外のプログラム自動修復領域の比較的活発な研究グループをまとめ、各研究グループの主要な貢献について総括し、国内外の研究者が彼らの後続研究活動をタイムリーに追跡した。最後に、全文をまとめ、欠陥の定位、パッチの生成と評価、欠陥の数量とタイプ、特定領域の欠陥の修復及び欠陥修復の工業界における応用の5つの次元から、未来の研究活動について展望した。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】
