面向路径的程序分析

• 作者: 胡光华（评）
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 程序分析 计算机辅助软件工程 计算机科学家 路径 编译程序 静态分析 注意力 信息
• 年，卷（期）: gwkjxspj_2009,（3）
• 页码范围: 14
• 页数: 1页
• 分类号: TP311.5

摘要

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