原文传递
基于EFSM的CBTC通信协议一致性测试的研究
| 论文题名： | 基于EFSM的CBTC通信协议一致性测试的研究 |
| 关键词： | EFSM;列车运行控制系统;CBTC;通信协议;一致性测试 |
| 摘要： | 在基于通信的列车运行控制(Communications-based Train Control，CBTC)系统中，安全通信协议是各子系统间可靠的数据通信的保证，也是整个系统安全的基础。自主开发的CBTC通信协议已通过安全分析及验证，能够满足CBTC系统的要求。为了保证网络中各实体间能够正确、可靠地进行通信，必须根据协议规范进行协议一致性测试，因而针对CBTC系统通信协议的一致性测试也成为通信协议测试的研究重点。 本文在研究CBTC系统通信协议的相关文档和规范基础上，深入研究了当前一致性测试技术的不同理论方法，结合CBTC通信协议的特点，采用扩展有限状态机(Extended Finite State Machine，EFSM)建模方法和UIOE(Extended Unique Input/Output Sequences)算法对CBTC系统通信协议的一致性测试进行了研究。 本文首先详细介绍了CBTC系统通信协议的规范，其中包括协议的需求分析、外部接口、相关安全防护措施，以及通信协议的基本原理等；根据EFSM的建模方法及CBTC系统通信协议的特点，建立了基于EFSM的CBTC通信协议模型；详细分析了FSM与EFSM模型一致性测试的序列生成算法，根据通信协议的特点及需求，提出了基于EFSM模型和UIOE算法的CBTC通信协议测试序列生成算法，并生成CBTC系统通信协议的一致性测试序列；最后按照生成的通信协议一致性测试序列，构建了仿真测试平台，对CBTC通信协议被测实现进行一致性测试，并对测试结果进行了分析，一致性判决表明协议实现的被测部分达到了协议规范的需求。 |
| 作者： | 滕竹 |
| 专业： | 交通信息工程及控制 |
| 导师： | 李开成 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2008 |
| 正文语种： | 中文 |
检索历史
应用推荐
