【作者】 尹建平；

【导师】 卢建军；

【作者基本信息】 西安科技大学 ， 通信与信息系统， 2011， 硕士

【摘要】 基于通信的列车控制(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)进行一致性测试,并对测试结果进行分析,一致性结果判决表明协议实现达到了协议规范的需求。更多还原

【Abstract】 In the Communication Based Train Control (CBTC) system, communication protocol is not only the foundation of the whole system’s safety, but also the guarantee of data communicate reliably between subsystems. To make sure that these devices in network can communicate with each others reliably and correctly, we must execute conformance test according to their specifications. Therefore, conformance test of CBTC communication protocol has become the research focus of the communication protocol testing.In this paper, On the basis of research CBTC communication protocol specifications and standards, lots of conformance testing technologies and theories have been studied, the Extended UniqueInput/Output Sequences ( UIO_E ) algorithm and the Extended Finite State Machine(EFSM) model have been applied on the CBTC communication protocol according to its characteristic.In this paper, firstly, the basic principle of CBTC communication protocol were expatiated. Secondly, the CBTC communication protocol model was built according to the characteristic of CBTC communication protocol and the method based on EFSM, Then, test sequence generating algorithm of FSM and EFSM model have been described particularly, and a test sequence generating algorithm for CBTC communication protocol have been proposed based on UIO_E algorithm and EFSM model. Using UIO_E algorithm, CBTC communication protocol conformance test sequence has been generated. At last, a simulation platform has been established according to the conformance test sequence. Through the analysis of the result, the conformance adjudgement has indicated that the Implementation Under Test (IUT) can meet the requirements of CBTC communication protocol specification.更多还原