| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 插图清单 | 第12-14页 |
| 第1章 绪论 | 第14-24页 |
| ·研究背景 | 第14-15页 |
| ·Web 应用的特性 | 第15-18页 |
| ·Web 应用的交互 | 第18-19页 |
| ·Web 应用的建模 | 第19-20页 |
| ·Web 应用的测试 | 第20-21页 |
| ·论文的主要研究内容 | 第21-24页 |
| 第2章 Web 应用的建模和测试方法 | 第24-31页 |
| ·Web 应用相关的建模技术 | 第24-25页 |
| ·Web 应用相关的测试方法 | 第25-30页 |
| ·基于模型的测试方法 | 第27页 |
| ·模型检测的测试用例生成方法 | 第27-30页 |
| ·模型检测的发展 | 第27-29页 |
| ·反例引导的测试生成 | 第29-30页 |
| ·小结 | 第30-31页 |
| 第3章 Web 浏览器交互的建模和测试 | 第31-45页 |
| ·引言 | 第31-32页 |
| ·运行实例 | 第32-34页 |
| ·特征化Web 浏览器 | 第34-35页 |
| ·Web 浏览器交互的建模 | 第35-44页 |
| ·Web 应用on-the-fly 导航建模 | 第36-38页 |
| ·导航模型的形式化 | 第38-40页 |
| ·FSM 测试树 | 第40-44页 |
| ·小结 | 第44-45页 |
| 第4章 数据库交互的建模和测试 | 第45-55页 |
| ·简介 | 第45-46页 |
| ·运行实例 | 第46-47页 |
| ·建模数据库交互 | 第47-49页 |
| ·建模工具 | 第48-49页 |
| ·提出的模型 | 第49页 |
| ·测试路径的生成 | 第49-54页 |
| ·GFSM-TT | 第50-51页 |
| ·测试生成的优化 | 第51-53页 |
| ·测试路径的优化 | 第53-54页 |
| ·小结 | 第54-55页 |
| 第5章 数据库交互的抽取和测试 | 第55-67页 |
| ·引言 | 第55-57页 |
| ·运行实例 | 第57-59页 |
| ·抽取数据库交互 | 第59-63页 |
| ·数据库交互语句 | 第60-61页 |
| ·Web 页面建模 | 第61-62页 |
| ·分析模型 | 第62-63页 |
| ·测试生成 | 第63-66页 |
| ·小结 | 第66-67页 |
| 第6章 组合和交互导向的 Web 建模和测试 | 第67-80页 |
| ·简介 | 第67-68页 |
| ·Web 应用的建模 | 第68-69页 |
| ·带浏览器交互的Web 页面的特征化 | 第69-74页 |
| ·Web 导航模型 | 第71-73页 |
| ·形式化导航模型 | 第73-74页 |
| ·测试生成 | 第74-76页 |
| ·测试序列的优化 | 第76-79页 |
| ·小结 | 第79-80页 |
| 第7章 基于浏览器交互的测试用例自动生成工具原型的设计与实现 | 第80-100页 |
| ·引言 | 第80-81页 |
| ·UML 状态图转换成带浏览器交互的FSM 模型 | 第81-88页 |
| ·FSM 模型转换成FSM 测试树 | 第88-91页 |
| ·测试用例的生成 | 第91-95页 |
| ·一个运行实例 | 第95-99页 |
| ·小结 | 第99-100页 |
| 第8章 结束语 | 第100-102页 |
| ·主要贡献 | 第100-101页 |
| ·将来的工作 | 第101-102页 |
| 参考文献 | 第102-108页 |
| 攻读博士学位期间发表的论文和软件著作权 | 第108-110页 |
| 攻读博士学位期间参与的课题 | 第110-111页 |
| 致谢 | 第111页 |