文献

J-GLOBAL ID：202002258363559582   整理番号：20A0697500

静的解析ツールの警告に対する自動バグ修正技術の適用と初期評価

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

抄録/ポイント： ソフトウェア開発において幅広く利用されている静的解析ツールの中には,プログラム内のバグになり得る実装(静的解析エラー)を警告として検出するものがある.静的解析エラーを修正することはソフトウェアの品質の向上に貢献するが,静的解析エラーは開発者による修正が困難であるという問題点が存在する.近年のソフトウェア工学では,静的解析エラーやテストを失敗させるバグ(テストエラー)を自動的に修正するための研究が行われている.我々はテストエラーの修正内容と静的解析エラーの修正内容との間に関係性があると考え,テストエラーに対する自動バグ修正技術の枠組みが静的解析エラーにも応用できる可能性について着目をした.本研究では,現在開発中であるテストエラーに対する自動バグ修正ツールjProphetに静的解析エラーを修正する機能を追加し,初期評価として実際にいくつかのOSSで適用実験を行った.実験を行った結果,データセットに含まれる60件の静的解析エラーのうち4件がjProphetによって修正され,そのうち1件は目視調査によって正しい修正であると確認された.実験結果より本研究で提案されている自動バグ修正技術で静的解析エラーを修正するためには,修正パターンが不十分である課題を解決することが必要であると分かった.(著者抄録)

シソーラス用語： *ソフトウェア開発 ,  *ソフトウェア障害 ,  器具 ,  解析 ,  誤差 ,  数値解析 ,  品質 ,  ソフトウェア ,  ソフトウェア工学 ,  *誤り訂正 ,  解析誤差
準シソーラス用語： ソフトウェア品質 ,  バグ ,  解析エラー ,  解析ツール ,  誤り修正

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

引用文献 (9件)：

• Brittany Johnson, Yoonki Song, Emerson Murphy-Hill, and Robert Bowdidge. Why don’t software developers use static analysis tools to find bugs? In 2013 35th International Conference on Software Engineerin, pp. 672-681, 2013.
• Rohan Bavishi, Hiroaki Yoshida, and Mukul R Prasad. Phoenix: automated data-driven synthesis of repairs for static analysis violations. In 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.
• Diego Marcilio, Carlo Furia, Rodrigo Bonifacio, and Gustavo Pinto. Automatically generating fix suggestions in response to static code analysis warnings. In 2019 19th International Working Conference on Source Code Analysis and Manipulation, pp. 34-44, 2019.
• Luca Gazzola, Daniela Micucci, and Leonardo Mariani. Automatic software repair: A survey. IEEE Transactions on Software Engineering, Vol. 45, No. 1, pp. 34-67, 2017.
• Kui Liu, Anil Koyuncu, Dongsun Kim, and Tegawendé F Bissyandé. Avatar: Fixing semantic bugs with fix patterns of static analysis violations. In 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering, pp. 1-12, 2019.

タイトルに関連する用語 (6件)： 静的解析 ,  ツール ,  警告 ,  バグ ,  初期 ,  評価