基于基本路径测试的测试用例自动生成应用研究--从基本路径编码到测试用例的自动生成
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-18页 |
| ·选题的背景和意义 | 第10-12页 |
| ·选题的背景 | 第10-11页 |
| ·选题的意义 | 第11-12页 |
| ·软件测试的研究现状 | 第12-13页 |
| ·国外发展现状概述 | 第12页 |
| ·国内发展现状概述 | 第12-13页 |
| ·课题的研究内容 | 第13-16页 |
| ·软件测试的技术与过程 | 第13-15页 |
| ·主要研究思路 | 第15-16页 |
| ·论文的组织结构 | 第16-18页 |
| 第2章 软件测试技术 | 第18-32页 |
| ·软件测试的目的和原则 | 第18-26页 |
| ·软件测试的特性 | 第18-22页 |
| ·软件测试的目的 | 第22-24页 |
| ·软件测试的分类 | 第24-25页 |
| ·软件测试的原则 | 第25-26页 |
| ·软件测试的任务 | 第26页 |
| ·软件测试的方法 | 第26-28页 |
| ·软件测试方法的分类 | 第26-27页 |
| ·测试过程 | 第27-28页 |
| ·测试用例 | 第28-32页 |
| ·编制测试用例 | 第29-30页 |
| ·测试用例在软件测试中的作用 | 第30-32页 |
| 第3章 基本路径测试技术 | 第32-36页 |
| ·基本路径测试技术 | 第32页 |
| ·程序控制流图 | 第32页 |
| ·程序中路径数的计算 | 第32-33页 |
| ·独立路径数 | 第33-34页 |
| ·图形矩阵 | 第34-36页 |
| 第4章 面向路径的测试用例自动生成方法 | 第36-43页 |
| ·随机法 | 第36页 |
| ·静态法 | 第36-38页 |
| ·符号执行方法 | 第36-37页 |
| ·区间算术法 | 第37-38页 |
| ·动态法 | 第38-41页 |
| ·直线式程序法 | 第38-39页 |
| ·BOGDAN KOREL提出的方法 | 第39页 |
| ·M.GALLAGHER等人提出的方法 | 第39-40页 |
| ·迭代松弛法 | 第40-41页 |
| ·试探法 | 第41-43页 |
| ·遗传算法 | 第41-42页 |
| ·模拟退火 | 第42-43页 |
| 第5章 基于数据流的测试用例自动生成技术 | 第43-48页 |
| ·程序图概述 | 第43-44页 |
| ·数据流测试原理 | 第44-45页 |
| ·数据流测试的定义_使用测试理论 | 第44页 |
| ·数据流测试的定义_使用路径测试覆盖指标 | 第44-45页 |
| ·基于数据流测试准则的测试序列生成方法 | 第45-48页 |
| ·选择适当的数据流测试标准 | 第45-46页 |
| ·基于数据流测试准则的测试序列生成方法 | 第46-48页 |
| 第6章 结构测试数据自动生成架构 | 第48-55页 |
| ·TDGAF的设计 | 第48-51页 |
| ·功能结构分析 | 第48-50页 |
| ·TDGAF的体系结构设计 | 第50-51页 |
| ·TDGAF原型的实现 | 第51-55页 |
| ·路径生成模块的实现 | 第51-53页 |
| ·路径测试数据生成模块的实现 | 第53-54页 |
| ·用户界面的实现 | 第54-55页 |
| 第7章 程序图自动生成的实现 | 第55-62页 |
| ·原型系统构成 | 第55-56页 |
| ·程序结构分析 | 第56页 |
| ·程序图生成过程 | 第56页 |
| ·程序图生成实例 | 第56-60页 |
| ·程序图生成的过程描述 | 第56-60页 |
| ·程序图的存储 | 第60页 |
| ·运行结果 | 第60-62页 |
| 第8章 结论 | 第62-64页 |
| ·论文期间的工作总结 | 第62-63页 |
| ·展望 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 攻读硕士学位期间公开发表的论文 | 第67-68页 |
| 致谢 | 第68-69页 |
| 硕士生履历 | 第69页 |
