基于等价类划分的蜕变测试方法优化
| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 目录 | 第7-9页 |
| 第1章 绪论 | 第9-14页 |
| ·研究背景 | 第9-11页 |
| ·国内外发展现状 | 第11-12页 |
| ·本文主要研究内容 | 第12-13页 |
| ·章节安排 | 第13-14页 |
| 第2章 蜕变测试 | 第14-19页 |
| ·概念和术语 | 第14-16页 |
| ·蜕变测试 | 第14-15页 |
| ·基本概念 | 第15-16页 |
| ·蜕变测试体系结构 | 第16-17页 |
| ·蜕变关系的构造 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 第3章 基于等价类划分的蜕变测试用例生成 | 第19-24页 |
| ·基本概念 | 第19页 |
| ·ECCEM准则的定义 | 第19-21页 |
| ·等价类的裁剪原则CPC | 第21-22页 |
| ·ECCEM可满足性算法 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第4章 基于ECCEM准则的蜕变测试 | 第24-36页 |
| ·三角形TriSquare实验 | 第24-28页 |
| ·蜕变测试的度量标准 | 第28页 |
| ·实验结果分析 | 第28-35页 |
| ·本章小结 | 第35-36页 |
| 第5章 蜕变测试过程的优化 | 第36-63页 |
| ·简介 | 第36页 |
| ·基于ECCEM准则的迭代蜕变测试 | 第36-47页 |
| ·ECCEM可满足性迭代算法 | 第37-42页 |
| ·实验结果分析 | 第42-47页 |
| ·基于复合蜕变关系的蜕变测试 | 第47-53页 |
| ·复合蜕变关系 | 第47-48页 |
| ·实验结果分析 | 第48-53页 |
| ·MatDeterm程序蜕变测试 | 第53-61页 |
| ·MatDeterm矩阵程序分析 | 第53-56页 |
| ·实验结果分析 | 第56-61页 |
| ·本章小结 | 第61-63页 |
| 第6章 总结和展望 | 第63-65页 |
| 参考文献 | 第65-68页 |
| 致谢 | 第68-69页 |
| 附录 攻读硕士期间发表论文 | 第69页 |
