| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 第一章 前言 | 第9-15页 |
| 1.1 选题依据 | 第9页 |
| 1.2 研究现状及存在的问题 | 第9-11页 |
| 1.2.1 研究现状 | 第9-11页 |
| 1.2.2 存在的问题 | 第11页 |
| 1.3 主要研究内容 | 第11-13页 |
| 1.3.1 为窗口界面程序生成控制流图 | 第12-13页 |
| 1.3.2 目的成功语句的标注 | 第13页 |
| 1.3.3 从目的成功语句出发识别用例的基本流和备选流 | 第13页 |
| 1.3.4 工具的研制和实验 | 第13页 |
| 1.4 论文结构 | 第13-15页 |
| 第二章 控制流分析和数据流分析简介 | 第15-24页 |
| 2.1 控制流分析 | 第15-21页 |
| 2.1.1 控制流图 | 第15-16页 |
| 2.1.2 过程间控制流图 | 第16-17页 |
| 2.1.3 必经关系 | 第17页 |
| 2.1.4 控制流图的约减及基于约减图的必经算法 | 第17-21页 |
| 2.2 指向分析 | 第21-22页 |
| 2.3 Soot简介 | 第22-23页 |
| 2.4 本章小结 | 第23-24页 |
| 第三章 GUI控制流图 | 第24-38页 |
| 3.1 软件与用户的典型交互方式 | 第24页 |
| 3.2 GUI控制流图 | 第24-26页 |
| 3.3 GUI控制流图的生成 | 第26-37页 |
| 3.3.1 准备工作 | 第26-29页 |
| 3.3.2 GUI控制流图构建的前提假设 | 第29-30页 |
| 3.3.3 GUI控制流图生成的可优化情形 | 第30-31页 |
| 3.3.4 GUI控制流图生成 | 第31-37页 |
| 3.4 本章小结 | 第37-38页 |
| 第四章 在GUI控制流图上识别用例结构 | 第38-51页 |
| 4.1 用例概念 | 第38页 |
| 4.2 平等用例及程序划分 | 第38页 |
| 4.3 基于目的成功语句和必经关系的分析方法 | 第38-50页 |
| 4.3.1 用户目的表达与目的成功语句 | 第38-39页 |
| 4.3.2 从目的成功语句出发结合必经关系识别用例结构 | 第39-50页 |
| 4.4 本章小结 | 第50-51页 |
| 第五章 实验 | 第51-61页 |
| 5.1 实验环境 | 第51页 |
| 5.2 工具介绍 | 第51-52页 |
| 5.2.1 工具简介 | 第51页 |
| 5.2.2 工具架构 | 第51-52页 |
| 5.2.3 识别过程 | 第52页 |
| 5.3 实验对象 | 第52-53页 |
| 5.4 用例识别结果及分析 | 第53-58页 |
| 5.4.1 识别结果统计及分析 | 第53-54页 |
| 5.4.2 一个具体用例的识别结果及分析 | 第54-58页 |
| 5.5 相关工作比较 | 第58-60页 |
| 5.5.1 GUI程序建模相关工作 | 第58页 |
| 5.5.2 用例识别相关工作 | 第58-60页 |
| 5.6 本章小结 | 第60-61页 |
| 第六章 总结与展望 | 第61-63页 |
| 6.1 本文工作总结 | 第61页 |
| 6.2 未来工作展望 | 第61-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-66页 |