| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 绪论 | 第10-17页 |
| ·ETCS和CTCS的发展 | 第10-12页 |
| ·国内外列控测试的现状分析 | 第12-14页 |
| ·论文研究背景和意义 | 第14-15页 |
| ·论文主要工作 | 第15-17页 |
| 2 CTCS-3级列控系统RBC子系统的功能分析 | 第17-27页 |
| ·CTCS-3级列控系统概述 | 第17-19页 |
| ·RBC子系统的功能分析 | 第19-25页 |
| ·RBC启动 | 第20页 |
| ·无线通信管理 | 第20-21页 |
| ·无线消息确认 | 第21页 |
| ·列车管理 | 第21-22页 |
| ·行车许可管理 | 第22页 |
| ·RBC-RBC交接 | 第22-23页 |
| ·文本消息管理 | 第23页 |
| ·数据库管理 | 第23-25页 |
| ·RBC子系统的接口描述 | 第25-27页 |
| 3 RBC测试平台的设计 | 第27-35页 |
| ·RBC测试平台的设计 | 第27-28页 |
| ·测试平台中各个功能模块的作用 | 第28-33页 |
| ·测试场景发生器(SG) | 第28页 |
| ·测试序列控制器(SC) | 第28-30页 |
| ·相邻RBC仿真设备 | 第30页 |
| ·被测真实RBC | 第30-31页 |
| ·列车群模拟器 | 第31页 |
| ·列控中心仿真设备 | 第31页 |
| ·CTC车站分机仿真设备 | 第31-32页 |
| ·联锁仿真设备 | 第32页 |
| ·MMI | 第32页 |
| ·事件记录单元 | 第32-33页 |
| ·JRU下载单元 | 第33页 |
| ·测试数据分析单元 | 第33页 |
| ·分布式的硬件平台的搭建 | 第33-35页 |
| 4 测试案例的生成方法 | 第35-49页 |
| ·测试方法分类 | 第35-36页 |
| ·RBC的测试方法 | 第36-37页 |
| ·测试案例的描述 | 第37-40页 |
| ·RBC功能特性的提取 | 第40-46页 |
| ·RBC测试案例举例 | 第46-49页 |
| 5 测试序列的生成方法 | 第49-66页 |
| ·名词术语解释 | 第49-50页 |
| ·测试案例、测试子序列、测试框架以及测试序列间的关系 | 第50-51页 |
| ·测试框架的生成 | 第51-52页 |
| ·测试子序列的生成 | 第52-53页 |
| ·测试序列的生成 | 第53-54页 |
| ·测试序列举例 | 第54-66页 |
| ·RBC测试序列举例(一) | 第55-62页 |
| ·RBC测试序列举例(二) | 第62-66页 |
| 6 总结与展望 | 第66-68页 |
| ·工作总结 | 第66页 |
| ·展望 | 第66-68页 |
| 参考文献 | 第68-70页 |
| 作者简历 | 第70-72页 |
| 学位论文数据集 | 第72页 |