EFindBugs: Effective error ranking for FindBugs

Haihao Shen, Jianhong Fang, Jianjun Zhao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

31 Citations (Scopus)

Abstract

Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in the early stage. However, static defect detection tools face the high false positive rate problem. Therefore, programmers have to spend a considerable amount of time on screening out real bugs from a large number of reported warnings, which is time-consuming and inefficient. To alleviate the above problem during the report inspection process, we present EFindBugs to employ an effective two-stage error ranking strategy that suppresses the false positives and ranks the true error reports on top, so that real bugs existing in the programs could be more easily found and fixed by the programmers. In the first stage, EFindBugs initializes the ranking by assigning predefined defect likelihood for each bug pattern and sorting the error reports by the defect likelihood in descending order. In the second stage, EFindbugs optimizes the initial ranking self-adaptively through the feedback from users. This optimization process is executed automatically and based on the correlations among error reports with the same bug pattern. Our experiment on three widely-used Java projects (AspectJ, Tomcat, and Axis) shows that our ranking strategy outperforms the original ranking in Find Bugs in terms of precision, recall and F1-score.

Original languageEnglish
Title of host publicationProceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011
Pages299-308
Number of pages10
DOIs
Publication statusPublished - 2011
Externally publishedYes
Event4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011 - Berlin, Germany
Duration: Mar 21 2011Mar 25 2011

Other

Other4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011
CountryGermany
CityBerlin
Period3/21/113/25/11

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'EFindBugs: Effective error ranking for FindBugs'. Together they form a unique fingerprint.

Cite this