基于程序切片的Java多态性研究
| 中文摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第1章 绪论 | 第11-17页 |
| ·选题背景和意义 | 第11-12页 |
| ·程序切片技术研究现状 | 第12-13页 |
| ·程序切片技术的应用 | 第13-14页 |
| ·论文的基本任务 | 第14-16页 |
| ·论文的主要内容 | 第16-17页 |
| 第2章 程序切片技术综述 | 第17-25页 |
| ·程序切片技术的发展历史 | 第17-18页 |
| ·程序切片的定义 | 第18页 |
| ·程序切片的分类 | 第18-23页 |
| ·前向切片和后向切片 | 第18-19页 |
| ·静态切片和动态切片 | 第19-21页 |
| ·过程内切片与过程间切片 | 第21页 |
| ·无定型切片 | 第21页 |
| ·准静态切片 | 第21-22页 |
| ·条件切片 | 第22页 |
| ·分解切片 | 第22页 |
| ·同步动态切片 | 第22-23页 |
| ·本章小结 | 第23-25页 |
| 第3章 程序切片常用准则、算法和工具 | 第25-35页 |
| ·程序切片准则 | 第25-26页 |
| ·程序切片算法 | 第26-30页 |
| ·基于数据流方程的切片计算方法 | 第26页 |
| ·基于信息流关系的算法 | 第26-27页 |
| ·基于依赖图的图形可达性算法 | 第27页 |
| ·无定型切片算法 | 第27-28页 |
| ·基于动态依赖图的切片算法 | 第28页 |
| ·基于可移动块的前向切片算法 | 第28页 |
| ·基于程序D/U表达式的动态切片算法 | 第28-29页 |
| ·基于语句波动图的算法 | 第29页 |
| ·其他相关的研究 | 第29-30页 |
| ·程序切片工具介绍 | 第30-33页 |
| ·Wisconsin | 第30页 |
| ·Chopshop | 第30页 |
| ·Ghinsu | 第30页 |
| ·Spyder | 第30-31页 |
| ·Unravel | 第31页 |
| ·OST | 第31页 |
| ·ConSIT | 第31-32页 |
| ·PSS/Ada系统 | 第32页 |
| ·Menagerie | 第32页 |
| ·其他PST | 第32-33页 |
| ·本章小结 | 第33-35页 |
| 第4章 基于ISDG的Java程序切片技术 | 第35-63页 |
| ·基于SDG的切片技术 | 第35-41页 |
| ·基于SDG的切片技术简介 | 第36-38页 |
| ·传统SDG中存在的问题 | 第38-41页 |
| ·改进后的系统依赖图(ISDG) | 第41-46页 |
| ·Java程序中的依赖关系分析 | 第41页 |
| ·构造经过改进的SDG | 第41-46页 |
| ·基于ISDG的Java程序切片 | 第46-48页 |
| ·Java程序的切片准则 | 第46-47页 |
| ·基于ISDG的Java程序切片算法 | 第47-48页 |
| ·将ISDG扩展到更复杂的多态性问题 | 第48-57页 |
| ·构造局部的系统依赖图(LSDG) | 第50页 |
| ·构造系统依赖图(SDG) | 第50-52页 |
| ·添加方法间依赖边 | 第52-54页 |
| ·对繁琐的ISDG进行化简 | 第54-56页 |
| ·化简后的基于ISDG的Java程序切片 | 第56-57页 |
| ·ISDG与OODSDG的比较 | 第57-62页 |
| ·程序插桩技术 | 第57-58页 |
| ·静态插桩的难点 | 第58页 |
| ·在动态切片中的应用 | 第58-61页 |
| ·ISDG与OODSDG的区别 | 第61-62页 |
| ·本章小结 | 第62-63页 |
| 第5章 总结与展望 | 第63-65页 |
| ·总结 | 第63页 |
| ·展望 | 第63-65页 |
| 参考文献 | 第65-69页 |
| 致谢 | 第69页 |
