| 摘要 | 第1-8页 |
| Abstract | 第8-9页 |
| 插图索引 | 第9-10页 |
| 附表索引 | 第10-11页 |
| 第1章 绪论 | 第11-21页 |
| ·课题的研究背景及意义 | 第11页 |
| ·软件测试及其主要测试方法介绍 | 第11-15页 |
| ·白盒测试 | 第12-13页 |
| ·黑盒测试 | 第13-14页 |
| ·静态测试 | 第14页 |
| ·动态测试 | 第14-15页 |
| ·ALAC 测试 | 第15页 |
| ·组合测试 | 第15页 |
| ·软件测试在国内外的研究及应用现状 | 第15-18页 |
| ·课题的研究内容 | 第18-19页 |
| ·论文的主要工作及论文结构 | 第19-21页 |
| ·论文的主要内容 | 第19页 |
| ·论文结构 | 第19-21页 |
| 第2章 基于相同输入域及参数域的成对测试数据生成算法 | 第21-37页 |
| ·成对测试相关定义 | 第21-24页 |
| ·相关定理 | 第24-26页 |
| ·基于扩展矩阵的成对测试数据自动生成算法 | 第26-30页 |
| ·算法性能分析 | 第30-31页 |
| ·算法可行性分析 | 第30-31页 |
| ·时间复杂度分析 | 第31页 |
| ·冗余度分析 | 第31页 |
| ·模拟实验结果 | 第31-36页 |
| ·小结 | 第36-37页 |
| 第3章 相异输入域及参数域的极小成对测试数据集生成算法 | 第37-49页 |
| ·前言 | 第37页 |
| ·全覆盖性能要求分析 | 第37页 |
| ·带空缺参数的扩展循环矩阵测试数据集生成算法 | 第37-42页 |
| ·相关定义 | 第37-38页 |
| ·测试数据集生成算法 | 第38-42页 |
| ·最小冗余对计算分析 | 第42-45页 |
| ·结论分析 | 第45页 |
| ·时间复杂度分析 | 第45页 |
| ·实验分析 | 第45-48页 |
| ·本章小结 | 第48-49页 |
| 第4章 非素数扩展矩阵研究 | 第49-57页 |
| ·合数4 的情形 | 第49-50页 |
| ·合数6 及6 以上的合数的情形 | 第50-56页 |
| ·循环矩阵方法测试数据集生成 | 第50-51页 |
| ·循环群及群置换方法测试数据集生成 | 第51-54页 |
| ·转化成图的测试数据集生成 | 第54页 |
| ·利用已有的数据集生成测试数据集 | 第54-56页 |
| ·结论 | 第56-57页 |
| 结论 | 第57-59页 |
| 参考文献 | 第59-62页 |
| 致谢 | 第62-64页 |
| 附录攻读硕士期间发表的论文 | 第64页 |