2008 International Conference on Software Testing, Verification, and Validation
An Evaluation of Two Bug Pattern Tools for Java
April 09-April 11
ISBN: 978-0-7695-3127-4
DOI Bookmark:
http://doi.ieeecomputersociety.org/10.1109/ICST.2008.63
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possibilities, the effectiveness and efficiency has not been treated in equal detail. This paper presents the results of two industrial case studies in which two tools based on bug patterns for Java are applied and evaluated. First, the economic implications of the tools are analysed. It is estimated that only 3–4 potential field defects need to be detected for the tools to be cost-efficient. Second, the capabilities of detecting field defects are investigated. No field defects have been found that could have been detected by the tools. Third, the identification of fault-prone classes based on the results of such tools is investigated and found to be possible. Finally, methodological consequences are derived from the results and experiences in order to improve the use of bug pattern tools in practice.
Index Terms:
Static analysis, bug pattern, effectiveness, economics
Citation:
Stefan Wagner, Florian Deissenboeck, Michael Aichner, Johann Wimmer, Markus Schwalb, "An Evaluation of Two Bug Pattern Tools for Java," icst, pp.248-257, 2008 International Conference on Software Testing, Verification, and Validation, 2008
Usage of this product signifies your acceptance of the
Terms of Use.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||