基于通信的列车控制系统的协议一致性测试研究
| 摘要 | 第1-3页 |
| ABSTRACT | 第3-7页 |
| 1 综述 | 第7-15页 |
| ·选题背景及意义 | 第7页 |
| ·国内外发展现状 | 第7-8页 |
| ·基于通信的列车控制系统 | 第8-11页 |
| ·CBTC 系统的概述 | 第8-10页 |
| ·CBTC 车地通信系统 | 第10页 |
| ·CBTC 的通信协议 | 第10-11页 |
| ·协议的一致性测试技术 | 第11-13页 |
| ·协议的测试 | 第11-12页 |
| ·一致性测试 | 第12-13页 |
| ·本文结构安排 | 第13-15页 |
| 2 CBTC 通信协议的基本原理 | 第15-23页 |
| ·协议的安全防护 | 第15-16页 |
| ·协议的角色定义 | 第16页 |
| ·协议的状态管理 | 第16-19页 |
| ·协议的运行周期 | 第19页 |
| ·链路的建立过程 | 第19-21页 |
| ·链路的结束过程 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 3 建立CBTC 通信协议模型 | 第23-33页 |
| ·状态机 | 第23-26页 |
| ·双序列号 | 第26-28页 |
| ·设计超时 | 第28-29页 |
| ·建立通信协议模型 | 第29-32页 |
| ·本章小结 | 第32-33页 |
| 4 一致性测试序列的生成 | 第33-47页 |
| ·常用测试序列生成方法 | 第33-36页 |
| ·FSM 测试序列生成方法 | 第33-34页 |
| ·EFSM 测试序列生成方法 | 第34-36页 |
| ·测试序列生成算法 | 第36-43页 |
| ·UIO 序列生成算法 | 第36-37页 |
| ·UIOE 序列生成算法 | 第37-43页 |
| ·CBTC 通信协议的测试序列生成 | 第43-46页 |
| ·本章小结 | 第46-47页 |
| 5 测试与分析 | 第47-59页 |
| ·测试平台及测试过程 | 第47-54页 |
| ·测试平台 | 第47-48页 |
| ·测试过程 | 第48-54页 |
| ·测试结果与分析 | 第54-58页 |
| ·本章小结 | 第58-59页 |
| 6 结论 | 第59-61页 |
| ·工作总结 | 第59页 |
| ·课题展望 | 第59-61页 |
| 致谢 | 第61-62页 |
| 参考文献 | 第62-64页 |
