基于通信的列车控制(Communications Based Train Control,CBTC)系统,通信协议是整个系统安全的基础,也是各子系统间可靠地进行数据通信的保证。为了保证网络中各实体间能够可靠、正确地通信,必须根据通信协议规范对协议进行一致性测试。因此,对CBTC系统通信协议的一致性测试成为协议测试的研究重点。本文在研究CBTC系统通信协议的规范和相关文档的基础上,进一步研究了一致性测试技术的不同理论方法,结合CBTC系统通信协议的特点,采用UIO_E (Extended Unique Input/Output Sequences)算法和扩展有限状态机(Extended Finite State Machine,EFSM)的建模方法,对CBTC系统通信协议的一致性测试进行了研究。本文介绍了CBTC系统通信协议的基本原理;根据CBTC系统通信协议的特点以及EFSM建模方法,建立了CBTC通信协议的EFSM模型;分析了FSM与EFSM模型一致性测试的序列生成算法;根据通信协议的需求及特点,提出了基于UIO_E算法和EFSM模型的CBTC通信协议测试序列的生成算法,并生成了CBTC通信协议的一致性测试序列;最后,按照生成的测试序列,对CBTC系统通信协议的被测实现(Implementation Under Test,IUT)进行一致性测试,并对测试结果进行分析,一致性结果判决表明协议实现达到了协议规范的需求。