随机测试用例的自动化生成和约简
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-10页 |
| 图目录 | 第10-11页 |
| 表目录 | 第11-12页 |
| 第1章 绪论 | 第12-24页 |
| ·课题背景及研究意义 | 第12-14页 |
| ·课题背景 | 第12-13页 |
| ·测试用例的重要性 | 第13-14页 |
| ·随机测试与程序不变量 | 第14-16页 |
| ·随机测试 | 第14-15页 |
| ·程序不变量 | 第15-16页 |
| ·现状分析及发展趋势 | 第16-21页 |
| ·软件测试发展现状及未来 | 第16-18页 |
| ·随机测试发展现状及未来 | 第18-19页 |
| ·不变量现状及未来 | 第19-21页 |
| ·本文的工作 | 第21-22页 |
| ·本文的结构组织 | 第22页 |
| ·本章小结 | 第22-24页 |
| 第2章 相关理论与实践基础 | 第24-32页 |
| ·Java 反射机制 | 第24-25页 |
| ·反射机制介绍 | 第24页 |
| ·相关类及函数表单 | 第24-25页 |
| ·Daikon 工具介绍 | 第25-27页 |
| ·设计模式 | 第27-29页 |
| ·现有随机测试工具 | 第29-31页 |
| ·Randoop | 第29-30页 |
| ·JCrahser | 第30页 |
| ·Eclat | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第3章 随机测试用例生成器 | 第32-46页 |
| ·JRT 概述 | 第32-35页 |
| ·JRT 使用简介 | 第32-33页 |
| ·JRT 的工厂方法设计模式 | 第33-35页 |
| ·测试用例生成 | 第35-37页 |
| ·生成器设计 | 第35-36页 |
| ·生成步骤 | 第36-37页 |
| ·预设值的设定 | 第37-39页 |
| ·随机值的生成及复杂数据类型生成 | 第39-41页 |
| ·错误用例的过滤 | 第41-43页 |
| ·数据结构的使用 | 第43-44页 |
| ·本章小结 | 第44-46页 |
| 第4章 基于动态不变量的约简 | 第46-54页 |
| ·Daikon 的自动化执行 | 第46-48页 |
| ·约简算法 | 第48-50页 |
| ·约简算法示例 | 第50-51页 |
| ·程序不变量 | 第51-52页 |
| ·本章小结 | 第52-54页 |
| 第5章 实验分析与评估 | 第54-68页 |
| ·实验平台和测试对象 | 第54-55页 |
| ·阈值 N 实验 | 第55-59页 |
| ·阈值N 对JRT 结果的影响 | 第55-58页 |
| ·如何设定阈值N | 第58-59页 |
| ·约简算法实验 | 第59-61页 |
| ·错误测试用例过滤实验 | 第61-63页 |
| ·预设值实验 | 第63-65页 |
| ·变异测试充分度分析 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第6章 总结 | 第68-70页 |
| ·全文总结 | 第68-69页 |
| ·今后研究展望 | 第69-70页 |
| 参考文献 | 第70-73页 |
| 致谢 | 第73-74页 |
| 在读期间发表的学术论文与取得的研究成果 | 第74页 |
