| 摘要 | 第6-7页 |
| Abstract | 第7页 |
| 第1章 绪论 | 第10-16页 |
| 1.1 研究背景及意义 | 第10-11页 |
| 1.2 国内外研究现状 | 第11-14页 |
| 1.2.1 国外研究现状 | 第11-12页 |
| 1.2.2 国内研究现状 | 第12-14页 |
| 1.3 研究内容及论文结构 | 第14-16页 |
| 第2章 基于UML的软件测试和有向图理论基础 | 第16-25页 |
| 2.1 软件测试 | 第16-18页 |
| 2.1.1 基于模型的测试 | 第16-18页 |
| 2.1.2 测试用例 | 第18页 |
| 2.2 基于UML状态图的测试 | 第18-22页 |
| 2.2.1 UML概述 | 第18-20页 |
| 2.2.2 UML状态图 | 第20-21页 |
| 2.2.3 基于UML状态图测试方法 | 第21-22页 |
| 2.2.4 UML测试优点 | 第22页 |
| 2.3 图论基础知识 | 第22-24页 |
| 2.3.1 基本概念 | 第22-23页 |
| 2.3.2 图覆盖准则 | 第23-24页 |
| 2.4 本章小结 | 第24-25页 |
| 第3章 列控中心改变运行方向UML状态图建模 | 第25-45页 |
| 3.1 列控中心及改方功能概述 | 第25-31页 |
| 3.1.1 列控中心功能与接口配置 | 第25-27页 |
| 3.1.2 改方功能分析 | 第27-31页 |
| 3.2 基于UML状态图的改方测试模型构建 | 第31-44页 |
| 3.2.1 总体模型构建 | 第31-33页 |
| 3.2.2 逻辑场景层模型 | 第33-37页 |
| 3.2.3 逻辑关联层模型 | 第37-42页 |
| 3.2.4 输入输出接口层模型 | 第42-44页 |
| 3.3 本章小结 | 第44-45页 |
| 第4章 基于UML状态图的改方功能测试用例生成 | 第45-73页 |
| 4.1 生成测试用例总体流程 | 第45-48页 |
| 4.1.1 测试路径、测试用例、测试序列概念说明 | 第45-46页 |
| 4.1.2 测试路径、测试用例、测试序列生成总体框架 | 第46-48页 |
| 4.2 逻辑场景层的有向图模型 | 第48-51页 |
| 4.3 基于有向图模型生成测试路径 | 第51-58页 |
| 4.3.1 基于边覆盖准则的测试需求分析 | 第51-52页 |
| 4.3.2 广度优先搜索生成测试路径 | 第52-58页 |
| 4.4 基于UML模型和测试路径生成测试用例 | 第58-65页 |
| 4.4.1 用例输入确定 | 第60-63页 |
| 4.4.2 用例输出确定 | 第63-65页 |
| 4.5 基于测试路径和测试用例生成测试序列 | 第65-70页 |
| 4.6 本文方法分析 | 第70-72页 |
| 4.7 本章小结 | 第72-73页 |
| 总结与展望 | 第73-74页 |
| 致谢 | 第74-75页 |
| 参考文献 | 第75-79页 |
| 攻读硕士学位期间发表的论文 | 第79页 |