论文部分内容阅读
随着城市轨道交通的飞速发展,列车速度不断提高,车地无线通信系统需要更大容量、更高速率、更加稳定可靠的技术。LTE-M作为新一代城市轨道交通通信系统,吸引了越来越多的关注。LTE-M系统的突出特点是在确保CBTC等业务安全可靠传输的前提下,具有综合承载多种业务的能力。此外,为了实现同一城市和地区不同地铁线路的列车能跨线/并线运行,LTE-M系统要求不同线路上不同厂家的设备能互联互通。为了验证LTE-M系统是否能够满足城市轨道交通的业务需求,在将LTE-M应用于城市轨道交通系统前,需要先在实验室和现场对该系统进行测试。而当前对LTE-M系统的测试大多基于经验和工程原则,缺少具有指导意义的测试方法。本文主要针对LTE-M综合承载和互联互通的测试方法进行研究,具体研究的内容如下:(1)针对LTE-M所处真实的电磁传播环境和所承载的业务模式,研究电波传播的衰落模型和综合承载的业务模型。(2)根据电波传播的衰落模型和综合承载的业务模型,在实验室搭建测试环境,用实验室仿真获得的接收信号电平和实际电磁传播环境的接收信号电平进行对比分析。(3)深入研究了基于等价类划分法和有限状态机法的互联互通测试方法,在有限状态机的基础上进行改进,建立了组合有限状态机,利用形式化方法建立组合有限状态机模型,并利用组合有限状态机的方法来生成LTE-M互联互通的测试集。结果表明:电磁传播环境方面,加载COST231-HATA模型、ITU-VA模型的实验室测试场景下,可以较为准确地模拟LTE-M的传播环境。在互联互通测试方法的研究中,等价类划分法可以适用于所有的黑盒测试,但很难做到测试案例的完全覆盖,组合有限状态机法是专门为协议互操作性测试设计,可以做到测试案例的完全覆盖,并且只要建立准确的协议模型,就可以根据测试案例算法生成测试案例。