| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 第一章 绪论 | 第10-14页 |
| ·论文研究的背景 | 第10-11页 |
| ·课题来源 | 第11-12页 |
| ·论文的主要工作 | 第12页 |
| ·论文创新点 | 第12-13页 |
| ·论文结构 | 第13-14页 |
| 第二章 软件系统与测试集生成方法之间的适应性关系研究 | 第14-18页 |
| ·基本概念 | 第14-15页 |
| ·软件系统与测试集生成方法之间的关系研究 | 第15-16页 |
| ·软件系统与测试集生成方法之间的适应性原则 | 第16-18页 |
| 第三章 正交矩阵及其在参数组合测试中的应用 | 第18-37页 |
| ·正交矩阵的定义和性质 | 第18-20页 |
| ·正交矩阵的定义 | 第18-19页 |
| ·正交矩阵的性质 | 第19-20页 |
| ·相关的数学理论知识 | 第20-22页 |
| ·利用 Galois 域构造正交矩阵 | 第22-27页 |
| ·利用同余类方法构造Galois 域 | 第22-23页 |
| ·利用系数组合方法构造Galois 域 | 第23-24页 |
| ·利用Galois 域构造正交拉丁方的实例介绍 | 第24-25页 |
| ·基于Galois 域的正交矩阵及其在参数组合测试中的应用 | 第25-27页 |
| ·利用阿达马方阵构造正交矩阵 | 第27-30页 |
| ·阿达马矩阵 | 第27-28页 |
| ·阿达马方阵 | 第28-29页 |
| ·基于阿达马方阵的正交矩阵及其在参数组合测试中的应用 | 第29-30页 |
| ·基于阿达马方阵的正交矩阵构造方法总结 | 第30页 |
| ·利用基于 m 进制数的正交拉丁方构造正交矩阵 | 第30-34页 |
| ·基于m 进制数的按位运算 | 第30-32页 |
| ·基于m 进制数的正交拉丁方构造方法 | 第32页 |
| ·基于m 进制数的正交矩阵及其在参数组合测试中的应用 | 第32-34页 |
| ·利用正交矩阵构造测试集的有效性和局限性分析 | 第34-37页 |
| ·正交矩阵方法在理论上的局限性分析 | 第35-36页 |
| ·正交矩阵方法在实际测试应用中的局限性分析 | 第36页 |
| ·正交矩阵定义的局限性分析 | 第36-37页 |
| 第四章 覆盖矩阵及其在参数组合测试中的应用 | 第37-49页 |
| ·覆盖矩阵的定义和性质 | 第37-38页 |
| ·相关的几个矩阵 | 第38-40页 |
| ·覆盖矩阵的构造过程及算法 | 第40-45页 |
| ·覆盖矩阵的构造过程 | 第40-43页 |
| ·覆盖矩阵的构造算法 | 第43-45页 |
| ·覆盖矩阵在参数组合测试中的应用 | 第45-47页 |
| ·覆盖矩阵方法生成的测试集预计范围 | 第47页 |
| ·覆盖矩阵构造测试集的有效性和不确定性分析 | 第47-49页 |
| 第五章 K-N 软件系统测试集生成方法设计与研究 | 第49-56页 |
| ·K 个参数且每个参数带有2 种取值的情形（N=2） | 第49-52页 |
| ·K 个参数且每个参数带有N 种取值的情形（N＞2,N 是素数或素数幂) | 第52-54页 |
| ·K 个参数且每个参数的取值个数N 不尽相同的情形 | 第54-56页 |
| 第六章 实验及分析 | 第56-60页 |
| ·不同软件系统和测试集生成方法之间的适应性对应法则 | 第56-57页 |
| ·不同软件系统和计算测试集大小的公式之间的相互依赖关系 | 第57-58页 |
| ·经验算法的有效性分析 | 第58-59页 |
| ·测试参数的确定 | 第59-60页 |
| 第七章 总结和展望 | 第60-62页 |
| ·总结 | 第60页 |
| ·展望 | 第60-62页 |
| 致谢 | 第62-63页 |
| 参考文献 | 第63-66页 |
| 攻读学位期间的研究成果 | 第66页 |
