基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究
| 摘要 | 第6-7页 |
| Abstract | 第7页 |
| 第一章 绪论 | 第10-14页 |
| 1.1 选题背景及研究意义 | 第10-11页 |
| 1.2 国内外研究现状 | 第11-13页 |
| 1.2.1 列控系统测试用例生成 | 第11-12页 |
| 1.2.2 基于UML的测试用例生成技术 | 第12-13页 |
| 1.3 论文的组织与安排 | 第13-14页 |
| 第二章 列控中心概述及UML状态图简介 | 第14-26页 |
| 2.1 列控中心及轨道电路编码功能介绍 | 第14-18页 |
| 2.1.1 列控中心结构及主要功能 | 第14-15页 |
| 2.1.2 轨道电路编码功能介绍 | 第15-18页 |
| 2.2 UML状态图测试用例生成方法概述 | 第18-25页 |
| 2.2.1 UML状态图概述 | 第18-21页 |
| 2.2.2 UML状态图建模方法概述 | 第21-22页 |
| 2.2.3 UML状态图测试用例自动生成方法 | 第22-24页 |
| 2.2.4 本方法与传统方法的比较 | 第24-25页 |
| 2.3 图的相关概念及覆盖准则 | 第25页 |
| 2.4 本章小结 | 第25-26页 |
| 第三章 轨道电路编码功能特点分析及建模 | 第26-41页 |
| 3.1 轨道电路编码功能特点分析 | 第26-28页 |
| 3.2 轨道电路编码功能模型组成 | 第28-29页 |
| 3.3 进路及区段模型复用方法 | 第29-30页 |
| 3.4 站内轨道电路编码模型 | 第30-37页 |
| 3.4.1 车站进路模型 | 第30-34页 |
| 3.4.2 轨道区段模型 | 第34-37页 |
| 3.5 区间轨道电路编码模型 | 第37-40页 |
| 3.6 本章小结 | 第40-41页 |
| 第四章 轨道电路编码测试用例生成方法 | 第41-63页 |
| 4.1 轨道电路编码测试用例生成流程 | 第41-42页 |
| 4.2 模型信息提取 | 第42-45页 |
| 4.3 测试用例输入自动生成方法 | 第45-51页 |
| 4.3.1 测试路径生成算法 | 第45-48页 |
| 4.3.2 测试场景序列生成方法 | 第48-51页 |
| 4.4 测试用例输出推算方法 | 第51-55页 |
| 4.5 轨道电路编码测试用例生成结果 | 第55-60页 |
| 4.6 测试用例生成结果分析 | 第60-62页 |
| 4.7 本章小结 | 第62-63页 |
| 第五章 轨道电路编码测试用例生成工具设计与实现 | 第63-72页 |
| 5.1 软件总体设计 | 第63-65页 |
| 5.1.1 软件总体结构设计 | 第63页 |
| 5.1.2 测试用例信息存储结构设计 | 第63-64页 |
| 5.1.3 软件工作流程 | 第64-65页 |
| 5.2 软件具体设计及实现 | 第65-68页 |
| 5.2.1 输入生成模块设计及实现 | 第65-66页 |
| 5.2.2 输出推算模块设计及实现 | 第66页 |
| 5.2.3 信息提取模块设计及实现 | 第66-67页 |
| 5.2.4 环境数据表设计 | 第67-68页 |
| 5.3 轨道电路编码测试用例生成工具界面展示 | 第68-71页 |
| 5.4 本章小结 | 第71-72页 |
| 总结与展望 | 第72-73页 |
| 致谢 | 第73-74页 |
| 参考文献 | 第74-77页 |
| 攻读硕士学位期间发表的论文 | 第77页 |
