单元自动化测试系统中路径选择方法的研究与设计
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-12页 |
| ·研究背景 | 第9-10页 |
| ·研究内容 | 第10页 |
| ·论文结构 | 第10-12页 |
| 第二章 单元测试概述 | 第12-17页 |
| ·单元测试的概念及意义 | 第12-13页 |
| ·单元测试的工具 | 第13-17页 |
| 第三章 单元自动化测试系统 | 第17-21页 |
| ·系统框架 | 第17-19页 |
| ·系统测试流程 | 第19-21页 |
| 第四章 覆盖元素管理 | 第21-32页 |
| ·提取覆盖元素 | 第22-28页 |
| ·标志矛盾边和矛盾节点 | 第22-24页 |
| ·创建覆盖元素集合实例 | 第24-25页 |
| ·提取覆盖元素集合 | 第25-28页 |
| ·更新覆盖元素的覆盖状态 | 第28-30页 |
| ·覆盖元素覆盖状态设置流程 | 第28-29页 |
| ·计算覆盖率 | 第29-30页 |
| ·数据结构设计 | 第30-32页 |
| ·覆盖元素数据结构 | 第30页 |
| ·覆盖元素集合数据结构 | 第30-32页 |
| 第五章 基本路径选择 | 第32-39页 |
| ·选择目标覆盖元素 | 第32-33页 |
| ·选择一条路径 | 第33-35页 |
| ·数据结构设计 | 第35-39页 |
| ·选择路径的数据结构 | 第35-36页 |
| ·存储路径的数据结构 | 第36-39页 |
| 第六章 不可达路径判定 | 第39-45页 |
| ·区间运算简介 | 第39-41页 |
| ·不可达路径 | 第41-42页 |
| ·数据结构设计 | 第42-45页 |
| 第七章 路径的重新选择 | 第45-51页 |
| ·分支替换 | 第47-49页 |
| ·原子谓词替换 | 第49-51页 |
| 第八章 实验 | 第51-54页 |
| 第九章 总结与展望 | 第54-56页 |
| ·论文总结 | 第54页 |
| ·进一步的研究 | 第54-56页 |
| 参考文献 | 第56-58页 |
| 致谢 | 第58-59页 |
| 作者攻读学位期间发表的学术论文 | 第59页 |
