logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

Tool support for fine-grained software inspection

delete2003-07-01
delete26
PRE
AI
P
Paul Anderson
T
Thomas Reps
T
Tim Teitelbaum
M
M. Zarins
DOI：10.1109/MS.2003.1207453delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
An important part of the software inspection process is a detailed inspection of the source code, usually using a checklist. While many tools are available to manage the inspection process, few tools support detailed code analysis. Recent advances in static program analysis can help advance this aspect of software inspection. The CodeSurfer tool can analyze an entire software program statically, produce a dependence-graph representation, and reveal fine-grained details of the program's semantics. The authors use examples from NASA's Formal Inspection Guidebook to illustrate the tool's usefulness.

Journal

IEEE Software cover
IEEE Software
IF:
3
Papers:
3.2K
Citations:
3.6K

Organization

No organization information available