| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 目录 | 第7-9页 |
| 第一章 绪论 | 第9-14页 |
| 1.1 背景介绍 | 第9-10页 |
| 1.2 研究现状 | 第10-12页 |
| 1.3 研究内容 | 第12-13页 |
| 1.4 论文结构 | 第13-14页 |
| 第二章 代码测试系统介绍 | 第14-17页 |
| 2.1 自动化测试工具 | 第14-15页 |
| 2.2 代码测试系统简介 | 第15-17页 |
| 第三章 覆盖测试概述 | 第17-21页 |
| 3.1 覆盖测试的概念 | 第17页 |
| 3.2 基本覆盖准则介绍 | 第17-19页 |
| 3.2.1 语句覆盖 | 第17页 |
| 3.2.2 分支覆盖 | 第17页 |
| 3.2.3 谓词覆盖 | 第17-18页 |
| 3.2.4 分支-谓词覆盖 | 第18页 |
| 3.2.5 复合谓词覆盖 | 第18-19页 |
| 3.2.6 覆盖准则包含关系 | 第19页 |
| 3.3 覆盖元素的管理 | 第19-21页 |
| 3.3.1 覆盖元素的提取 | 第19-20页 |
| 3.3.2 覆盖率的统计 | 第20-21页 |
| 第四章 第一类循环类型的判定 | 第21-31页 |
| 4.1 第一类循环的定义及作用 | 第21-22页 |
| 4.1.1 第一类循环的定义 | 第21页 |
| 4.1.2 第一类循环判定对于覆盖测试中循环处理的意义 | 第21-22页 |
| 4.2 基于符号相关的第一类循环判定技术 | 第22-26页 |
| 4.2.1 循环控制变量 | 第22页 |
| 4.2.2 函数控制变量 | 第22-23页 |
| 4.2.3 符号执行简介 | 第23页 |
| 4.2.4 符号的操作 | 第23-24页 |
| 4.2.5 符号相关 | 第24-25页 |
| 4.2.6 第一类循环判定 | 第25-26页 |
| 4.2.6.1 算法描述 | 第25-26页 |
| 4.2.6.2 算法实现 | 第26页 |
| 4.3 实验结果 | 第26-28页 |
| 4.4 利用第一类循环判定结果加速循环选路 | 第28-29页 |
| 4.5 动态执行获得第一类循环执行路径 | 第29-30页 |
| 4.6 本章小结 | 第30-31页 |
| 第五章 基于回溯法的路径选择 | 第31-42页 |
| 5.1 覆盖测试中的路径选择及其研究背景 | 第31页 |
| 5.2 回溯法路径选择 | 第31-39页 |
| 5.2.1 回溯法 | 第31-32页 |
| 5.2.2 回溯法路径选择 | 第32-33页 |
| 5.2.3 停止条件 | 第33页 |
| 5.2.4 接受条件 | 第33页 |
| 5.2.5 回溯条件 | 第33-35页 |
| 5.2.5.1 基于区间运算的不可达路径判断 | 第34页 |
| 5.2.5.2 达到循环次数上限回溯 | 第34-35页 |
| 5.2.5.3 丢失目标覆盖元素 | 第35页 |
| 5.2.6 路径扩展算法 | 第35-36页 |
| 5.2.7 实例分析 | 第36-38页 |
| 5.2.8 回溯法在MCDC选路中的应用 | 第38-39页 |
| 5.3 实验结果 | 第39-40页 |
| 5.4 本章小结 | 第40-42页 |
| 第六章 边界值覆盖下的路径选择 | 第42-51页 |
| 6.1 研究背景和意义 | 第42页 |
| 6.2 结构测试中的边界值覆盖定义 | 第42-48页 |
| 6.2.1 语句边界值覆盖元素的定义 | 第42-43页 |
| 6.2.2 语句边界值的选路 | 第43-44页 |
| 6.2.3 扩展回溯法选路 | 第44页 |
| 6.2.4 表达式边界值的定义 | 第44-45页 |
| 6.2.5 表达式边界值选路 | 第45-48页 |
| 6.3 实例分析 | 第48-49页 |
| 6.4 实验结果分析 | 第49-50页 |
| 6.5 本章小结 | 第50-51页 |
| 第七章 总结与展望 | 第51-54页 |
| 7.1 论文总结 | 第51-52页 |
| 7.2 进一步的研究 | 第52-54页 |
| 参考文献 | 第54-56页 |
| 致谢 | 第56-57页 |
| 作者攻读学位期间发表的学术论文 | 第57页 |