.png){kind=icon}
返回
Tool support for fine-grained software inspection
.png){kind=icon}
PRE
AI
DOI：10.1109/MS.2003.1207453.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
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.
期刊
IF:
3
论文数:
3.2K
被引数:
3.6K
机构
暂无机构信息
引用论文
分享收藏Late Bronze Age climate change and the destruction of the Mycenaean Palace of Nestor at Pylos青铜时代晚期的气候变化和皮洛斯内斯特迈锡尼宫的破坏.png)
PLOS ONE
OAAI
PLOS ONEIF0
OAAI分享收藏
没有更多内容
没有更多内容