面向路径的程序分析  

Path-Oriented Program Analysis

作　　者：胡光华（评）[1] 

机构地区：[1]中国科学院物理学研究所高级软件工程师

出　　处：《国外科技新书评介》2009年第3期14-14,共1页Scientific & Technology Book Review

摘　　要：程序分析是一个涉及从程序中系统地提取信息的研究领域，自从计算机科学成为一个学科起，它就吸引了计算机科学家大量的注意力。早期的努力大多是来自在编译程序中所遇到问题的推动，后来研究领域被扩展到包括在计算机辅助软件工程工具开发中产生的问题上面，例如怎样通过静态分析检测某些编程错误。到了20世纪80年代中，程序分析的视野已经极大地扩展了，

关 键 词：程序分析 计算机辅助软件工程 计算机科学家 路径 编译程序 静态分析 注意力 信息 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论] K826.16[自动化与计算机技术—计算机科学与技术]