The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (2003 vol.20)
pp: 42-50
Paul Anderson , GrammaTech
Thomas Reps , GrammaTech
Tim Teitelbaum , GrammaTech
Mark Zarins , GrammaTech
ABSTRACT
<p>Software inspection reduces the number of defects early in the software life cycle. Cost savings are realized because errors are significantly more expensive to eliminate with each successive development phase. An important part of the inspection process is a detailed inspection of the source code; this inspection usually follows a checklist. While many tools are available to manage the inspection process, few tools support detailed code analysis. Recent advances in research on static program analysis can be used to address this aspect of software inspection. We describe a software tool, named CodeSurfer, that reveals fine-grained details of the semantics of the program being analyzed. CodeSurfer statically analyzes the entire program and produces a dependence-graph representation of the program. The tool's utility is illustrated with inspection examples taken from NASA's Formal Inspection Guidebook.</p>
INDEX TERMS
software inspection, dependence graphs, program understanding, slicing, chopping
CITATION
Paul Anderson, Thomas Reps, Tim Teitelbaum, Mark Zarins, "Tool Support for Fine-Grained Software Inspection", IEEE Software, vol.20, no. 4, pp. 42-50, July/August 2003, doi:10.1109/MS.2003.1207453
448 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool