论文部分内容阅读
在基于通信的列车运行控制(Communications-based Train Control,CBTC)系统中,安全通信协议是各子系统间可靠的数据通信的保证,也是整个系统安全的基础。自主开发的CBTC通信协议已通过安全分析及验证,能够满足CBTC系统的要求。为了保证网络中各实体间能够正确、可靠地进行通信,必须根据协议规范进行协议一致性测试,因而针对CBTC系统通信协议的一致性测试也成为通信协议测试的研究重点。本文在研究CBTC系统通信协议的相关文档和规范基础上,深入研究了当前一致性测试技术的不同理论方法,结合CBTC通信协议的特点,采用扩展有限状态机(Extended Finite State Machine,EFSM)建模方法和UIO_E(Extended UniqueInput/Output Sequences)算法对CBTC系统通信协议的一致性测试进行了研究。本文首先详细介绍了CBTC系统通信协议的规范,其中包括协议的需求分析、外部接口、相关安全防护措施,以及通信协议的基本原理等;根据EFSM的建模方法及CBTC系统通信协议的特点,建立了基于EFSM的CBTC通信协议模型;详细分析了FSM与EFSM模型一致性测试的序列生成算法,根据通信协议的特点及需求,提出了基于EFSM模型和UIO_E算法的CBTC通信协议测试序列生成算法,并生成CBTC系统通信协议的一致性测试序列;最后按照生成的通信协议一致性测试序列,构建了仿真测试平台,对CBTC通信协议被测实现进行一致性测试,并对测试结果进行了分析,一致性判决表明协议实现的被测部分达到了协议规范的需求。