| 摘要 | 第2-3页 |
| Abstract | 第3页 |
| 第1章 绪论 | 第6-11页 |
| 1.1 课题研究背景 | 第6-7页 |
| 1.2 研究现状 | 第7-9页 |
| 1.3 本文研究的内容和成果 | 第9-10页 |
| 1.3.1 研究内容 | 第9页 |
| 1.3.2 本文创新点 | 第9-10页 |
| 1.4 论文结构 | 第10-11页 |
| 第2章 基于模型的GUI测试 | 第11-18页 |
| 2.1 理论概述 | 第11-12页 |
| 2.2 模型类别与特征 | 第12-14页 |
| 2.2.1 基于状态的模型 | 第12-13页 |
| 2.2.2 基于事件的模型 | 第13-14页 |
| 2.3 基于模型的变异测试 | 第14-16页 |
| 2.4 实际应用中的主要困难 | 第16-18页 |
| 第3章 多级形态模型 | 第18-27页 |
| 3.1 模型表示 | 第18-20页 |
| 3.1.1 模型的ESG表示 | 第18-19页 |
| 3.1.2 模型的正规文法表示 | 第19-20页 |
| 3.2 模型的形态扩展 | 第20-22页 |
| 3.3 多级形态模型的特点 | 第22-24页 |
| 3.4 基于多级形态模型的变异测试 | 第24-27页 |
| 3.4.1 Mark Start变异体 | 第25页 |
| 3.4.2 Insert Terminal变异体 | 第25-27页 |
| 第4章 多级形态模型的分割 | 第27-40页 |
| 4.1 事件分类 | 第27-28页 |
| 4.1.1 GUI事件特性分析 | 第27-28页 |
| 4.1.2 GUI事件分类定义 | 第28页 |
| 4.2 模型分割 | 第28-30页 |
| 4.3 正规文法模型和集成树 | 第30-32页 |
| 4.3.1 正规文法模型 | 第30-31页 |
| 4.3.2 集成树 | 第31-32页 |
| 4.4 模型分割后的形态扩展 | 第32-33页 |
| 4.5 错误的形态级别 | 第33-34页 |
| 4.6 变异体选择 | 第34-40页 |
| 4.6.1 Mark Start变异体选择 | 第36-38页 |
| 4.6.2 Insert Terminal变异体选择 | 第38-40页 |
| 第5章 测试用例生成策略 | 第40-45页 |
| 5.1 测试覆盖准则 | 第40-41页 |
| 5.2 正向测试用例生成 | 第41-43页 |
| 5.2.1 CPP求解 | 第41-42页 |
| 5.2.2 最短完全到达序列 | 第42-43页 |
| 5.3 逆向测试用例生成 | 第43-45页 |
| 第6章 实验及结果分析 | 第45-52页 |
| 6.1 待测系统 | 第45页 |
| 6.2 实验分组与错误植入 | 第45-46页 |
| 6.2.1 实验分组 | 第45-46页 |
| 6.2.2 错误植入 | 第46页 |
| 6.3 实验数据及结果分析 | 第46-52页 |
| 6.3.1 测试用例生成与执行 | 第46-48页 |
| 6.3.2 实验结果分析 | 第48-52页 |
| 第7章 总结与展望 | 第52-53页 |
| 参考文献 | 第53-56页 |
| 攻读学位期间取得的研究成果 | 第56-57页 |
| 致谢 | 第57-58页 |