文献

J-GLOBAL ID：202002263860262730   整理番号：20A0697501

修正ソースコードの特徴が自動バグ修正に与える影響の分析

Studies on how characteristics of target source code affect automatic program repair

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

抄録/ポイント： 自動バグ修正手法の1つにDeepFixがある.これは,C言語プログラムをトークン列としてSeq2Seqモデルで学習し,文法エラーに特化した修正を行う手法である.しかし,他の自動バグ修正手法と同様に,これですべてのバグが解決されるわけではなく,さらにソースコードのどのような性質が修正を妨げているのかも明らかになっていない.そこで本研究ではソースコードの特徴である,(RQ1)行数,(RQ2)トークン数,(RQ3)複雑度の3つが自動バグ修正手法の修正結果に影響を与えるのか,調査する.そのために,DeepFixによって修正できたソースコードと,そうでないソースコードとをそれぞれの観点から比較し,修正に影響を与える特徴について考察する.C言語プログラムの入門用講義で学生が書いたソースコードに対して実験を行なったところ,修正できたソースコードの方が,トークン数や複雑度が小さいことが明らかになった.これにより,DeepFixにとって修正しやすいソースコードの特徴が明らかになり,自動バグ修正の支援ができると考える.(著者抄録)

シソーラス用語： *計算機コード ,  *ソフトウェア障害 ,  自動試験 ,  C言語 ,  度 ,  *誤り訂正 ,  *ソースコード
準シソーラス用語： *バグ ,  *誤り修正 ,  複雑度

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

引用文献 (13件)：

• Böhme, M. and Roychoudhury, A.: CoREBench: studying complexity of regression errors, International Symposium on Software Testing and Analysis, ISSTA 2014, San Jose, CA, USA - July 21-26, 2014, pp. 105-115 (2014).
• Das, R., Ahmed, U. Z., Karkare, A. and Gulwani, S.: Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis, CoRR, Vol. abs/1608.03828 (2016).
• Fu, X., Shimada, A., Ogata, H., Taniguchi, Y. and Suehiro, D.: Real-time learning analytics for C programming language courses, Proceedings of the Seventh International Learning Analytics & Knowledge Conference, Vancouver, BC, Canada, March 13-17, 2017, pp. 280-288 (2017).
• Fu, X., Yin, C., Shimada, A. and Ogata, H.: Error log analysis in c programming language courses, Doctoral Student Consortium (DSC) - Proceedings of the 23rd International Conference on Computers in Education, ICCE 2015, pp. 641-650 (2015).
• Gazzola, L., Micucci, D. and Mariani, L.: Automatic Software Repair: A Survey, IEEE Trans. Software Eng., Vol. 45, No. 1, pp. 34-67 (2019).

タイトルに関連する用語 (3件)： ソースコード ,  バグ ,  分析