| 摘要 | 第1-10页 |
| ABSTRACT | 第10-13页 |
| 插图索引 | 第13-14页 |
| 第1章 绪论 | 第14-21页 |
| ·研究背景 | 第14-15页 |
| ·国内外研究现状 | 第15-18页 |
| ·本文的研究内容 | 第18-21页 |
| 第2章 依赖性分析和程序切片 | 第21-28页 |
| ·引言 | 第21-22页 |
| ·数据依赖和控制依赖 | 第22-24页 |
| ·流分析和程序切片 | 第24-25页 |
| ·依赖图和程序切片 | 第25-27页 |
| ·小结 | 第27-28页 |
| 第3章 基于依赖性分析对非定态路径的变换 | 第28-38页 |
| ·引言 | 第28-29页 |
| ·基本概念 | 第29-32页 |
| ·非定态路径测试问题的研究 | 第32-33页 |
| ·转换算法 | 第33-35页 |
| ·举例 | 第35-37页 |
| ·小结 | 第37-38页 |
| 第4章 基于依赖性分析的回归测试 | 第38-47页 |
| ·引言 | 第38-39页 |
| ·基本概念 | 第39-40页 |
| ·调用点分离类型分析(STA) | 第40-42页 |
| ·构造面向对象程序的调用关系 | 第42-43页 |
| ·回归测试策略与程序修改分析 | 第43-45页 |
| ·回归测试策略 | 第45-46页 |
| ·小结 | 第46-47页 |
| 第5章 扩展有限状态机的依赖性分析 | 第47-59页 |
| ·引言 | 第47-48页 |
| ·背景知识和现有算法的问题 | 第48-51页 |
| ·EFSM 中的依赖关系的传递性 | 第51-53页 |
| ·依赖传递函数 | 第53-55页 |
| ·EFSM 的后向切片算法 | 第55-58页 |
| ·小结 | 第58-59页 |
| 第6章 考虑互斥机制的并发程序切片 | 第59-67页 |
| ·引言 | 第59页 |
| ·基本概念 | 第59-61页 |
| ·互斥机制对切片的影响 | 第61-63页 |
| ·切片算法 | 第63-65页 |
| ·小结 | 第65-67页 |
| 第7章 并发过程间程序分析的不可判定问题 | 第67-76页 |
| ·引言 | 第67-68页 |
| ·过程间并发程序模型 | 第68-69页 |
| ·利用反射的思想构造并发过程间程序分析的PCP 问题实例 | 第69-74页 |
| ·导致不可判定的因素 | 第74-75页 |
| ·小结 | 第75-76页 |
| 第8章 JAVA 程序分析平台的设计与实现 | 第76-91页 |
| ·引言 | 第76页 |
| ·8.2 JAVACC 和JTB 工具简介 | 第76-79页 |
| ·系统框架 | 第79-81页 |
| ·系统的实现 | 第81-86页 |
| ·程序界面及执行效果示意图 | 第86-90页 |
| ·小结 | 第90-91页 |
| 结论 | 第91-95页 |
| 参考文献 | 第95-102页 |
| 致谢 | 第102-103页 |
| 附录 A 攻读学位期间发表的论文和参加的项目 | 第103-104页 |
| 攻读学位期间发表的论文 | 第103-104页 |
| 攻读学位期间参加的项目 | 第104页 |