| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 第一章 引言 | 第10-13页 |
| 1.1 研究背景 | 第10页 |
| 1.2 本文主要贡献及意义 | 第10-11页 |
| 1.3 本文的组织结构 | 第11-13页 |
| 第二章 相关工作 | 第13-22页 |
| 2.1 Web应用系统的介绍 | 第13-14页 |
| 2.2 on-the-fly验证的研究现状 | 第14-17页 |
| 2.3 on-the-fly测试的研究现状 | 第17-19页 |
| 2.4 形式化建模的研究现状 | 第19-22页 |
| 2.4.1 形式化建模方法 | 第20-21页 |
| 2.4.2 CPN建模的研究现状 | 第21-22页 |
| 第三章 基本概念和理论 | 第22-28页 |
| 3.1 CPN和扩展可达图的介绍 | 第22-24页 |
| 3.1.1 Petri Nets | 第22-23页 |
| 3.1.2 扩展可达图 | 第23-24页 |
| 3.2 on-the-fly测试算法的研究 | 第24-25页 |
| 3.3 UPPAAL TRON及其特点 | 第25-27页 |
| 3.4 本章小结 | 第27-28页 |
| 第四章 基于扩展可达图的on-the-fly测试方法 | 第28-43页 |
| 4.1 基于CPN的on-the-fly测试生成过程 | 第28页 |
| 4.2 on-the-fly测试中模型的定义 | 第28-30页 |
| 4.2.1 系统规约模型 | 第28-29页 |
| 4.2.2 测试目的模型 | 第29页 |
| 4.2.3 测试例模型 | 第29-30页 |
| 4.2.4 同步乘积模型 | 第30页 |
| 4.3 on-the-fly测试算法的功能分析 | 第30-36页 |
| 4.3.1 同步乘积算法用于并发系统的可行性 | 第30-34页 |
| 4.3.2 on-the-fly方法的测试例生成与执行 | 第34-36页 |
| 4.4 on-the-fly方法中的同步乘积算法 | 第36-41页 |
| 4.4.1 同步乘积算法描述 | 第36页 |
| 4.4.2 同步乘积算法实现的流程图 | 第36-37页 |
| 4.4.3 同步乘积算法的实现 | 第37-38页 |
| 4.4.4 同步乘积算法的测试 | 第38-41页 |
| 4.5 结合IUT实际响应的深度优先遍历过程 | 第41-42页 |
| 4.6 本章小结 | 第42-43页 |
| 第五章 基于CPN和on-the-fly算法的Web应用系统的测试 | 第43-50页 |
| 5.1 火车售票系统的CPN层次建模 | 第43-45页 |
| 5.2 基于on-the-fly算法的测试例生成 | 第45-48页 |
| 5.3 基于on-the-fly算法的测试与传统测试的比较 | 第48-49页 |
| 5.4 本章小结 | 第49-50页 |
| 第六章 结论及下一步工作 | 第50-52页 |
| 6.1 论文结论 | 第50-51页 |
| 6.2 未来展望及下一步工作 | 第51-52页 |
| 参考文献 | 第52-57页 |
| 致谢 | 第57-58页 |
| 攻读硕士期间发表的学术论文 | 第58-59页 |
| 参加项目 | 第59页 |
