| Tweet | |
| Y. Higo, S. Hayashi, H. Hata, and M. Nagappan, "Ammonia: an Approach for Deriving Project-Specific Bug Patterns," Empirical Software Engineering, 25(3), pp. 1951-1979, May 2020. | |
| ID | 650 |
| 分類 | 論文誌 |
| タグ | ammonia approach bug deriving patterns project-specific |
| 表題 (title) |
Ammonia: an Approach for Deriving Project-Specific Bug Patterns |
| 表題 (英文) |
|
| 著者名 (author) |
Yoshiki Higo,Shinpei Hayashi,Hideaki Hata,Meiyappan Nagappan |
| 英文著者名 (author) |
Yoshiki Higo,and,Hideaki Hata, |
| キー (key) |
Yoshiki Higo,and,Hideaki Hata, |
| 定期刊行物名 (journal) |
Empirical Software Engineering |
| 定期刊行物名 (英文) |
|
| 巻数 (volume) |
25 |
| 号数 (number) |
3 |
| ページ範囲 (pages) |
1951-1979 |
| 刊行月 (month) |
5 |
| 出版年 (year) |
2020 |
| Impact Factor (JCR) |
|
| URL |
https://doi.org/10.1007/s10664-020-09807-w |
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
Finding and fixing buggy code is an important and cost-intensive maintenance task, and static analysis (SA) is one of the methods developers use to perform it. SA tools warn developers about potential bugs by scanning their source code for commonly occurring bug patterns, thus giving those developers opportunities to fix the warnings (potential bugs) before they release the software. Typically, SA tools scan for general bug patterns that are common to any software project (such as null pointer dereference), and not for project specific patterns. However, past research has pointed to this lack of customizability as a severe limiting issue in SA. Accordingly, in this paper, we propose an approach called Ammonia, which is based on statically analyzing changes across the development history of a project, as a means to identify project-specific bug patterns. Furthermore, the bug patterns identified by our tool do not relate to just one developer or one specific commit, they reflect the project as a whole and compliment the warnings from other SA tools that identify general bug patterns. Herein, we report on the application of our implemented tool and approach to four Java projects: Ant, Camel, POI, and Wicket. The results obtained show that our tool could detect 19 project specific bug patterns across those four projects. Next, through manual analysis, we determined that six of those change patterns were actual bugs and submitted pull requests based on those bug patterns. As a result, five of the pull requests were merged. |
| 論文電子ファイル | Higo2020_Article_AmmoniaAnApproachForDerivingPr.pdf (application/pdf) [一般閲覧可] |
| BiBTeXエントリ |
@article{id650,
title = {Ammonia: an approach for deriving project-specific bug patterns},
author = {Yoshiki Higo and Shinpei Hayashi and Hideaki Hata and Meiyappan Nagappan },
journal = {Empirical Software Engineering},
volume = {25},
number = {3},
pages = {1951-1979},
month = {5},
year = {2020},
}
|