基于切片技术的软件理解辅助系统设计与实现

摘要	第1-5页
Abstract	第5-8页
1 绪论	第8-14页
·什么是程序理解	第8页
·程序理解的任务	第8-9页
·软件理解方法	第9-11页
·程序理解研究现状	第11-13页
·本文的组织	第13-14页
2 程序切片技术	第14-22页
·程序切片技术简介	第14-16页
·程序切片算法	第16-22页
·数据流算法	第16-19页
·图可达性算法	第19-20页
·ANSI C程序切片实现中的问题	第20-22页
3 指针分析算法的设计	第22-42页
·指针分析器在辅助系统数据流中的位置	第22-23页
·指针分析的表示法选择	第23-24页
·指针分析算法	第24-29页
·指针分析问题的复杂度	第26-29页
·指针分析算法实现上的复杂性	第29页
·一个上下文敏感的过程间指针分析算法	第29-42页
·上下文敏感的过程间指针分析算法	第29-32页
·过程内指针分析算法	第32-34页
·过程间指针分析算法	第34-35页
·基于类型签名过滤的函数指针分析算法	第35-40页
·指针数组的处理	第40-42页
4 软件理解辅助系统的设计与实现	第42-61页
·系统结构	第42页
·程序分析前端的设计与实现	第42-47页
·程序预处理器	第43-44页
·词法分析器与语法分析器	第44-45页
·中间代码的产生、转换以及装载	第45-47页
·后端分析工具的设计与实现	第47-58页
·程序切片器与切片的可视化	第47-51页
·程序的内聚度分析	第51-54页
·程序交叉引用器	第54-55页
·函数依赖图形显示	第55-57页
·文件依赖图形显示	第57-58页
·系统测试	第58-61页
结论	第61-63页
参考文献	第63-66页
攻读硕士学位期间发表学术论文情况	第66-67页
致谢	第67-68页