文献

J-GLOBAL ID：202002271565829759   整理番号：20A2683975

自動バグ修正研究のためのプラットフォームjProphetの開発について

著者 (6件)： 首藤巧 (九大) ,  山手響介 (九大) ,  浅田翔 (九大) ,  亀井靖高 (九大) ,  鵜林尚靖 (九大) ,  佐藤亮介 (九大)
資料名： 情報処理学会研究報告(Web)  (IPSJ Technical Report (Web))
巻： 2020  号： SE-206  ページ： Vol.2020-SE-206,No.6,1-8 (WEB ONLY)  発行年： 2020年11月20日 
JST資料番号： U0451A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ソフトウェア開発におけるバグの修正作業のコストを削減するために自動バグ修正の研究が盛んに行われている.自動バグ修正の研究では,修正精度の向上や修正時間の短縮,新しいユースケースへの適用などを目的とした様々な手法の提案が行われている.既存の自動バグ修正ツールの改変や新規の自動バグ修正ツールの開発を各手法の実験ごとに行う場合,多大な労力が必要となる.本稿では著者らが開発している自動バグ修正の研究のためのプラットフォームjProphetについて紹介する.jProphetではテストケースによるフォールトローカリゼーションと修正テンプレートによる修正パッチの作成,及び修正精度の向上のための機械学習などの機能が用意されており,各機能を容易に変更できるような高い拡張性を備えている.また,jProphetの適用事例として,開発者による手動フォールトローカリゼーションの実証実験では自動バグ修正の実行時間が短縮され,静的解析ツールにおける警告の自動修正実験では,jProphetによって20件中9件の警告が修正された.jProphetを用いることで,これらの適用事例における手動フォールトローカリゼーション及び静的解析ツールによる検証機能を既存のコードの変更無しに実装できた.(著者抄録)

シソーラス用語： *デバッギング ,  ソフトウェアプラットフォーム ,  プログラム解析 ,  プログラム検査 ,  事例研究 ,  機械学習 ,  スケーラビリティ【計算機】 ,  実証実験 ,  原価低減 ,  プログラムメンテナンス ,  Java ,  ソーティング ,  学習モデル ,  減少 ,  変化
準シソーラス用語： *自動バグ修正 ,  フォールトローカリゼーション ,  静的解析ツール ,  テストケース ,  ソフトウェアテンプレート ,  拡張性 ,  修正パッチ

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (16件)：

• Gazzola, L., Micucci, D. and Mariani, L.: Automatic software repair: A survey, IEEE Transactions on Software Engineering, Vol. 45, pp. 34-67 (2017).
• Long, F. and Rinard, M.: Automatic patch generation by learning correct code, ACM SIGPLAN Notices, Vol. 51, No. 1, pp. 298-312 (2016).
• Bavishi, R., Yoshida, H. and Prasad, M. R.: Phoenix: Automated data-driven synthesis of repairs for static analysis violations, Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 613-624 (2019).
• Gupta, R., Pal, S., Kanade, A. and Shevade, S.: Deepfix: Fixing common c language errors by deep learning, Proceedings of the 2017 Thirty-First AAAI Conference on Artificial Intelligence, pp. 1345-1351 (2017).
• Böhme, M., Geethal, C. and Pham, V.-T.: HumanIn-The-Loop Automatic Program Repair, Proceedings of the 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), IEEE, pp. 274-285 (2020).

タイトルに関連する用語 (4件)： バグ ,  研究 ,  プラットフォーム ,  開発