基于Petri网模型的GUI软件测试用例生成研究
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第1章 前言 | 第8-13页 |
| ·研究动因 | 第8页 |
| ·国内外的GUI测试研究 | 第8-11页 |
| ·国内的研究情况 | 第8-10页 |
| ·国外的研究现状 | 第10-11页 |
| ·存在问题分析 | 第11-12页 |
| ·研究目标和主要工作 | 第12页 |
| ·本文的组织安排 | 第12-13页 |
| 第2章 研究基础 | 第13-22页 |
| ·Petri网概述 | 第13页 |
| ·GUI的概念 | 第13-14页 |
| ·GUI软件的几个基本模型 | 第14-21页 |
| ·GUI的状态表示 | 第14-15页 |
| ·GUI的事件表示 | 第15-17页 |
| ·事件序列表示 | 第17页 |
| ·GUI构件和事件的分类 | 第17-18页 |
| ·事件流图(EFG) | 第18-20页 |
| ·构件交互树(CIT) | 第20-21页 |
| ·小结 | 第21-22页 |
| 第3章 基于Petri网的GUI建模及其实例 | 第22-33页 |
| ·GUI软件的Petri网建模 | 第22-26页 |
| ·Petri网模型的一些基本定义 | 第22-24页 |
| ·GUI软件的几个基本Petri网模型 | 第24-26页 |
| ·实例研究 | 第26-29页 |
| ·将Petri网转换为FSM | 第29-32页 |
| ·有限状态机FSM | 第29页 |
| ·Petri网到FSM的转换 | 第29-32页 |
| ·小结 | 第32-33页 |
| 第4章 GUI测试用例生成 | 第33-45页 |
| ·GUI测试用例生成 | 第33-38页 |
| ·GUI测试用例的表示 | 第33页 |
| ·GUI测试用例生成 | 第33-38页 |
| ·实例研究 | 第38-44页 |
| ·小结 | 第44-45页 |
| 第5章 结束语 | 第45-46页 |
| ·本文贡献 | 第45页 |
| ·进一步工作 | 第45-46页 |
| 参考文献 | 第46-50页 |
| 攻读硕士学位期间发表论文 | 第50-51页 |
| 致谢 | 第51页 |
