| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 第1章 绪论 | 第9-18页 |
| 1.1 课题研究的目的与意义 | 第9-11页 |
| 1.1.1 课题来源 | 第9页 |
| 1.1.2 研究的目的和意义 | 第9-11页 |
| 1.2 国内外研究现状及分析 | 第11-15页 |
| 1.2.1 克隆代码检测的研究现状与分析 | 第11-12页 |
| 1.2.2 克隆代码重构的研究现状与分析 | 第12-14页 |
| 1.2.3 静态分析技术的研究现状与分析 | 第14页 |
| 1.2.4 动态测试技术的研究现状与分析 | 第14-15页 |
| 1.3 课题研究的主要内容及章节安排 | 第15-18页 |
| 第2章 功能等价的克隆代码的重构 | 第18-36页 |
| 2.1 功能等价的克隆候选代码提取算法 | 第18-27页 |
| 2.1.1 基于静态分析的功能等价的克隆候选代码提取 | 第21-24页 |
| 2.1.2 基于 IOT-Behavior 的静态分析算法 | 第24-27页 |
| 2.2 功能等价的克隆代码的重构算法 | 第27-35页 |
| 2.2.1 确定优选函数 | 第28-31页 |
| 2.2.2 确定优选函数与非优选函数之间参数的对应关系 | 第31-35页 |
| 2.3 本章小结 | 第35-36页 |
| 第3章 结构语义相似的克隆代码的重构 | 第36-47页 |
| 3.1 结构语义相似代码的标准化规则及转换 | 第37-42页 |
| 3.1.1 循环结构的标准化 | 第38页 |
| 3.1.2 选择结构的标准化 | 第38-39页 |
| 3.1.3 算术表达式的标准化 | 第39-40页 |
| 3.1.4 逻辑表达式的标准化 | 第40-41页 |
| 3.1.5 关系表达式的标准化 | 第41-42页 |
| 3.2 克隆代码的检测 | 第42页 |
| 3.3 差异性分析 | 第42-45页 |
| 3.4 可变性提取及过程替换 | 第45-46页 |
| 3.5 本章小结 | 第46-47页 |
| 第4章 验证系统的实现 | 第47-59页 |
| 4.1 实验环境 | 第47页 |
| 4.2 系统的设计与实现 | 第47-53页 |
| 4.2.1 功能等价的克隆代码的重构 | 第47-50页 |
| 4.2.2 结构语义相似的克隆代码的重构 | 第50-53页 |
| 4.3 实验与结果分析 | 第53-58页 |
| 4.3.1 算法实验 | 第53-57页 |
| 4.3.2 实验结果分析 | 第57-58页 |
| 4.4 本章小结 | 第58-59页 |
| 结论 | 第59-61页 |
| 参考文献 | 第61-65页 |
| 攻读硕士学位期间发表的论文及其它成果 | 第65-67页 |
| 致谢 | 第67页 |
