原文传递
基于通信的列车控制系统的协议一致性测试研究
| 论文题名： | 基于通信的列车控制系统的协议一致性测试研究 |
| 关键词： | 列车控制系统;协议一致性测试;扩展有限状态机;UIOE |
| 摘要： | 基于通信的列车控制(Communications Based Train Control，CBTC)系统，通信协议是整个系统安全的基础，也是各子系统间可靠地进行数据通信的保证。为了保证网络中各实体间能够可靠、正确地通信，必须根据通信协议规范对协议进行一致性测试。因此，对CBTC系统通信协议的一致性测试成为协议测试的研究重点。 本文在研究CBTC系统通信协议的规范和相关文档的基础上，进一步研究了一致性测试技术的不同理论方法，结合CBTC系统通信协议的特点，采用UIOE(Extended Unique Input/Output Sequences)算法和扩展有限状态机(Extended Finite State Machine，EFSM)的建模方法，对CBTC系统通信协议的一致性测试进行了研究。 本文介绍了CBTC系统通信协议的基本原理；根据CBTC系统通信协议的特点以及EFSM建模方法，建立了CBTC通信协议的EFSM模型；分析了FSM与EFSM模型一致性测试的序列生成算法；根据通信协议的需求及特点，提出了基于UIOEUIO算法和EFSM模型的CBTC通信协议测试序列的生成算法，并生成了CBTC通信协议的一致性测试序列；最后，按照生成的测试序列，对CBTC系统通信协议的被测实现(Implementation Under Test，IUT)进行一致性测试，并对测试结果进行分析，一致性结果判决表明协议实现达到了协议规范的需求。 |
| 作者： | 尹建平 |
| 专业： | 通信与信息系统 |
| 导师： | 卢建军 |
| 授予学位： | 硕士 |
| 授予学位单位： | 西安科技大学 |
| 学位年度： | 2011 |
| 正文语种： | 中文 |
检索历史
应用推荐
