Prioritizing software inspection results using static profiling

Title

Prioritizing software inspection results using static profiling

 Author

Boogerd, C.
Moonen, L.

Faculty

Electrical Engineering, Mathematics and Computer Science

 Department

Software Technology

 Date

2006-12-31

 Abstract

Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure, reliable and high quality code. However, an often quoted disadvantage of these tools is that they generate an overly large number of warnings, including many false positives due to the approximate analysis techniques. This information overload effectively limits their usefulness. In this paper we present ELAN, a technique that helps the user prioritize the information generated by a software inspection tool, based on a demand-driven computation of the likelihood that execution reaches the locations for which warnings are reported. This analysis is orthogonal to other prioritization techniques known from literature, such as severity levels and statistical analysis to reduce false positives. We evaluate feasibility of our technique using a number of case studies and assess the quality of our predictions by comparing them to actual values obtained by dynamic profiling.

 To reference this document use:

http://resolver.tudelft.nl/uuid:64d0b1bc-0236-44d8-8004-8ec8aed937ac

 Publisher

Delft University of Technology, Software Engineering Research Group

 ISSN

1872-5392

 Source

Technical Report Series TUD-SERG-2006-001

 Part of collection

Institutional Repository

 Document type

report

 Rights

© 2006 The Author(s) . Software Engineering Research Group, Department of Software Technology, Faculty of Electrical Engineering, Mathematics and Computer Science, Delft University of Technology
Files
PDF 0607063.pdf0CD.pdf 240.64 KB
Close viewer