| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-12页 |
| 第1章 引言 | 第12-18页 |
| ·研究背景 | 第12-13页 |
| ·国内外研究现状 | 第13-15页 |
| ·组合测试技术 | 第13-14页 |
| ·基于包含约束的指针分析 | 第14-15页 |
| ·论文主要研究内容与贡献 | 第15-17页 |
| ·论文结构 | 第17-18页 |
| 第2章 组合测试用例生成方法概述 | 第18-26页 |
| ·组合测试模型 | 第19-20页 |
| ·代数构造方法 | 第20-21页 |
| ·贪心算法 | 第21-23页 |
| ·一维扩展方法 | 第21-22页 |
| ·二维扩展方法 | 第22-23页 |
| ·元启发式搜索方法 | 第23-24页 |
| ·小结 | 第24-26页 |
| 第3章 IPOG组合测试用例生成方法及其改进 | 第26-34页 |
| ·IPOG策略 | 第26页 |
| ·D-IPOG算法 | 第26-30页 |
| ·算法分析与实验 | 第30-32页 |
| ·小结 | 第32-34页 |
| 第4章 基于约束的t维组合测试用例生成 | 第34-53页 |
| ·基于约束的组合测试策略 | 第34-38页 |
| ·参数提取策略 | 第35-36页 |
| ·输入划分策略 | 第36-37页 |
| ·不选择策略 | 第37页 |
| ·替代策略 | 第37-38页 |
| ·隐含约束组合生成算法 | 第38-42页 |
| ·基于约束的t-way组合测试用例生成 | 第42-47页 |
| ·实验分析 | 第47-51页 |
| ·纵向分析 | 第47-49页 |
| ·横向分析 | 第49-51页 |
| ·本章小结 | 第51-53页 |
| 第5章 基于约束和输入输出关系的变强度组合测试用例生成方法研究 | 第53-69页 |
| ·基于输入输出关系的变强度组合测试策略 | 第53-60页 |
| ·Min算法 | 第54-55页 |
| ·Union算法 | 第55页 |
| ·Greedy算法 | 第55-56页 |
| ·图论算法 | 第56-59页 |
| ·RrqOrder算法 | 第59页 |
| ·ParaOrder算法 | 第59-60页 |
| ·基于约束和输入输出关系的变强度组合测试用例生成算法 | 第60-63页 |
| ·实验分析 | 第63-65页 |
| ·纵向比较 | 第64页 |
| ·横向比较 | 第64-65页 |
| ·基于输入输出关系的错误定位方法研究 | 第65-67页 |
| ·基于测试数据补充生成的错误定位方法 | 第65-66页 |
| ·基于输入输出关系的错误定位方法 | 第66页 |
| ·算法分析 | 第66-67页 |
| ·本章小结 | 第67-69页 |
| 第6章 采用灰盒测试技术的组合测试研究 | 第69-95页 |
| ·基于黑盒测试技术的组合测试策略存在的问题 | 第70-72页 |
| ·IO关系的获取 | 第72-88页 |
| ·指针分析 | 第73-80页 |
| ·IO关系获取 | 第80-86页 |
| ·IO关系获取实例 | 第86-88页 |
| ·GB-CT算法 | 第88-94页 |
| ·Uncover集的计算 | 第88-90页 |
| ·灰盒组合测试用例生成算法 | 第90-91页 |
| ·应用举例 | 第91-94页 |
| ·本章小结 | 第94-95页 |
| 第7章 小结 | 第95-98页 |
| ·论文工作总结 | 第95-97页 |
| ·未来工作展望 | 第97-98页 |
| 参考文献 | 第98-107页 |
| 附录A 图索引 | 第107-108页 |
| 附录B 表索引 | 第108-109页 |
| Appendix A Figure Index | 第109-110页 |
| Appendix B Table Index | 第110-111页 |
| 致谢 | 第111-112页 |
| 在读期间发表的学术论文与取得的成果 | 第112页 |