基于EFSM的WEB应用程序的用户非预期行为测试模型的研究
| 摘要 | 第1-3页 |
| Abstract | 第3-6页 |
| 第1章 绪论 | 第6-10页 |
| ·引言 | 第6-8页 |
| ·论文主要研究内容及意义 | 第8-9页 |
| ·章节安排 | 第9-10页 |
| 第2章 WEB 应用程序及用户非预期行为 | 第10-16页 |
| ·WA 简介 | 第10-11页 |
| ·WA 体系结构 | 第11-12页 |
| ·WA 的组成 | 第12-13页 |
| ·WA 中的用户非预期行为 | 第13-15页 |
| ·WA 中的控制流与数据流 | 第13页 |
| ·用户非预期行为 | 第13-14页 |
| ·相关实验 | 第14-15页 |
| ·小结 | 第15-16页 |
| 第3章 WEB 应用程序的行为测试 | 第16-23页 |
| ·WA 测试面临的挑战 | 第16-17页 |
| ·现有 WA 测试技术 | 第17-20页 |
| ·WA 行为测试模型的基本要素 | 第20-22页 |
| ·WA 的状态定义 | 第20-21页 |
| ·WA 中事件 | 第21页 |
| ·WA 的状态变迁 | 第21-22页 |
| ·小结 | 第22-23页 |
| 第4章 基于 EFSM 的用户非预期行为测试模型 | 第23-32页 |
| ·FSM 与 EFSM | 第23-27页 |
| ·FSM 简介及定义 | 第23页 |
| ·FSM 的测试方法 | 第23-24页 |
| ·FSM 的 W 测试方法简介 | 第24-25页 |
| ·EFSM 简介及定义 | 第25页 |
| ·EFSM 的测试方法 | 第25-27页 |
| ·基于 EFSM 的用户非预期行为测试模型 | 第27-28页 |
| ·状态定义 | 第27-28页 |
| ·事件以及状态迁移 | 第28页 |
| ·基于 EFSM 的用户非预期行为测试模型定义 | 第28页 |
| ·测试生成策略与测试算法 | 第28-31页 |
| ·测试生成策略 | 第28-30页 |
| ·算法实现 | 第30-31页 |
| ·小结 | 第31-32页 |
| 第5章 研究实例及测试实现 | 第32-46页 |
| ·实例简介 | 第32-35页 |
| ·模块需求 | 第32-33页 |
| ·页面导航图 | 第33-34页 |
| ·会话状态变量及控制范围 | 第34-35页 |
| ·建模 | 第35-37页 |
| ·相关定义 | 第35-37页 |
| ·试卷管理模块的 UUBTM 测试模型 | 第37页 |
| ·测试序列的生成 | 第37-42页 |
| ·EFSM 到 FSM 的转化 | 第37-40页 |
| ·等价的精简 FSM | 第40-41页 |
| ·利用 W 方法生成测试序列 | 第41-42页 |
| ·用户非预期行为测试序列的实现 | 第42-44页 |
| ·生成非预期行为测试序列 UTSEQ2 | 第43-44页 |
| ·测试结果分析 | 第44-45页 |
| ·小结 | 第45-46页 |
| 第6章 总结与展望 | 第46-48页 |
| ·论文的创新点 | 第46页 |
| ·论文研究存在的问题 | 第46-47页 |
| ·未来的研究方向 | 第47-48页 |
| 参考文献 | 第48-50页 |
| 致谢 | 第50-51页 |
| 攻读硕士研究生期间发表论文及参与项目 | 第51-53页 |
