文献

J-GLOBAL ID：201702239818690587   整理番号：17A0253067

欠陥の特徴を用いた自動欠陥修正の評価

著者 (3件)： 横山晴樹 (大阪大 大学院情報科学研究科) ,  肥後芳樹 (大阪大 大学院情報科学研究科) ,  楠本真二 (大阪大 大学院情報科学研究科)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 116  号： 426(SS2016 36-59)  ページ： 129-134  発行年： 2017年01月19日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： デバッグは多大な労力を要する作業であり,作業コストの削減が課題である。自動欠陥修正は欠陥を含むプログラムとテスト集合から,修正したプログラムを出力するデバッグ支援手法であり,近年盛んに研究されている。既存の自動欠陥修正に対する評価方法は,修正できた欠陥の個数や,修正時間,修正品質などの評価が主であった。一方,修正結果は欠陥が持つ特徴によって様々であるにもかかわらず,どのような特徴を持つ欠陥を修正できたのかという観点での評価はあまり行われていない。本研究では,欠陥の特徴を欠陥レポートから抽出し,オープンソースのJavaプロジェクトにおける138個の欠陥に対する自動欠陥修正ツールの修正性能を調査した。調査では,jGenProgとNopolが高い優先度を持つ欠陥を高い割合で修正できることを明らかにした。また,修正時間や修正行数などの観点から,自動欠陥修正の修正性能を多角的に評価した。(著者抄録)

シソーラス用語： *デバッギング ,  *自動化 ,  自動検査システム ,  検査 ,  診断 ,  Java ,  優先度 ,  *計算機プログラミング ,  修理 ,  修復活動
準シソーラス用語： 欠陥修復

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

引用文献 (12件)：

• T. Britton, L. Jeng, G. Carver, P. Cheak, and T. Katzenellenbogen, “Reversible debugging software,” Technical report, University of Cambridge, Judge Business School, 2013.
• C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer, “A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each,” Proceedings of the 34th International Conference on Software Engineering, pp.3-13, 2012.
• F. Long and M. Rinard, “Staged program repair with condition synthesis,” Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp.166-178, 2015.
• S. Mechtaev, J. Yi, and A. Roychoudhury, “Angelix: Scalable multiline program patch synthesis via symbolic analysis,” Proceedings of the 38th International Conference on Software Engineering, pp.691-701, 2016.
• M. Martinez and M. Monperrus, “Astor: A program repair library for java,” Proceedings of the 25th International Symposium on Software Testing and Analysis, Demonstration Track, pp.441-444, 2016.

タイトルに関連する用語 (2件)： 欠陥 ,  評価