留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

无线闭塞中心测试案例生成方法

苟晨曦 蔡伯根 唐涛 上官伟

苟晨曦, 蔡伯根, 唐涛, 上官伟. 无线闭塞中心测试案例生成方法[J]. 交通运输工程学报, 2011, 11(4): 114-122. doi: 10.19818/j.cnki.1671-1637.2011.04.018
引用本文: 苟晨曦, 蔡伯根, 唐涛, 上官伟. 无线闭塞中心测试案例生成方法[J]. 交通运输工程学报, 2011, 11(4): 114-122. doi: 10.19818/j.cnki.1671-1637.2011.04.018
GOU Chen-xi, CAI Bo-gen, TANG Tao, SHANGGUAN Wei. Test case generation method of radio block center[J]. Journal of Traffic and Transportation Engineering, 2011, 11(4): 114-122. doi: 10.19818/j.cnki.1671-1637.2011.04.018
Citation: GOU Chen-xi, CAI Bo-gen, TANG Tao, SHANGGUAN Wei. Test case generation method of radio block center[J]. Journal of Traffic and Transportation Engineering, 2011, 11(4): 114-122. doi: 10.19818/j.cnki.1671-1637.2011.04.018

无线闭塞中心测试案例生成方法

doi: 10.19818/j.cnki.1671-1637.2011.04.018
基金项目: 

国家自然科学基金项目 60736047

国家863计划项目 2009AA11Z221

轨道交通控制与安全国家重点实验室自主研究课题 RCS2009ZT013

中央高校基本科研业务费专项资金项目 2009JBM005

中央高校基本科研业务费专项资金项目 2011YJS006

详细信息
    作者简介:

    苟晨曦(1987-), 女, 陕西西安人, 北京交通大学工学博士研究生, 从事列车控制系统研究

    唐涛(1963-), 男, 河南洛阳人, 北京交通大学教授, 工学博士

  • 中图分类号: U283.2

Test case generation method of radio block center

More Information
  • 摘要: 应用基于功能特征的测试案例生成方法, 研究了无线闭塞中心的功能结构, 提取了无线闭塞中心的功能特征, 得到了无线闭塞中心的功能特征列表。针对无线闭塞中心的每个功能特征, 编制了测试案例, 将测试案例串联成电子化的测试序列。根据中国高速铁路列车运行控制系统的规范和要求, 构建了无线闭塞中心的仿真测试平台, 编写了试验步骤和XML程序文件。在无线闭塞中心测试平台上, 测试了包含注册与启动、行车许可、停车与注销、通信网络故障、RBC切换5个运行功能的3个测试序列。测试结果表明: 在常温常压下, 列车速度低于350 km.h-1且仅有一趟列车运行的条件下, 无线闭塞中心可不间断工作至少90 min, 功能正常。可见, 方法有效。

     

  • 图  1  测试方法

    Figure  1.  Test method

    图  2  RBC测试流程

    Figure  2.  RBC test flow

    图  3  工况1测试线路

    Figure  3.  Test circuit under condition 1

    图  4  RBC测试平台

    Figure  4.  RBC test platform

    图  5  组合测试

    Figure  5.  Combinatorial test

    图  6  工况2测试线路

    Figure  6.  Test circuit under condition 2

    图  7  工况3测试线路

    Figure  7.  Test circuit under condition 3

    表  1  控制系统功能特征

    Table  1.   Function features of control system

    下载: 导出CSV

    表  2  RBC功能特征

    Table  2.   RBC function features

    类型 第1层次 第2层次 第3层次 基本功能特征
    内容 与中国高速铁路列控系统等级相关的功能特征 等级表示 中国高速铁路列控系统3级 司机选择其他中国高速铁路列控系统等级, 断开与RBC的连接
    等级转换 中国高速铁路列控系统2级→中国高速铁路列控系统3级 给出中国高速铁路列控系统2级的移动授权, 延伸到中国高速铁路列控系统3级区域, 以便列车通过等级转换边界
    给出中国高速铁路列控系统2级的移动授权, 目标速度不为0, 直到等级转换边界
    RBC发送中国高速铁路列控系统2级→中国高速铁路列控系统3级等级转换预告
    如果进路改变, 取消中国高速铁路列控系统2级→中国高速铁路列控系统3级等级转换
    RBC发送行车许可
    中国高速铁路列控系统3级→中国高速铁路列控系统2级 给出中国高速铁路列控系统3级的移动授权, 延伸到中国高速铁路列控系统2级区域, 以便列车通过等级转换边界
    给出中国高速铁路列控系统3级的移动授权, 目标速度不为0, 直到等级转换边界
    由于进路改变, 取消中国高速铁路列控系统3级→中国高速铁路列控系统2级等级转换
    RBC发送中国高速铁路列控系统3级→中国高速铁路列控系统2级等级转换预告
    RBC发送级间转换命令
    下载: 导出CSV

    表  3  测试案例

    Table  3.   Test case

    功能特性标识号 001
    功能特性描述 列车注册
    被测对象 RBC
    测试案例数量 3
    测试案例标识号 001-1
    测试案例描述 由于RBC未接受“会话建立”消息, 因此, 不接受新的列车注册
    测试目的 当RBC没有得到任何与列车进行“会话建立”有关的消息时, RBC能够不接受新的列车注册信息
    测试案例标识号 001-2
    测试案例描述 由于RBC通信会话数量达到RBC配置的最大数量, 不接受新的列车注册, 同时, RBC给调度中心发送报警消息
    测试目的 当RBC通信会话数量达到RBC配置的最大数量时, RBC能够及时发现报警, 并拒绝新的列车注册
    测试案例标识号 001-3
    测试案例描述 由于重启的RBC没有更新临时限速信息, 因此, 不接受新的列车注册
    测试目的 当RBC重启后, 且RBC储存的临时限速信息没有更新, RBC拒绝新的列车注册
    下载: 导出CSV

    表  4  工况1 RBC测试序列

    Table  4.   RBC test sequence under condition 1

    主要试验内容 1.注册与启动; 2.发送行车许可; 3.延长行车许可; 4.注销
    试验前提条件 列车停于位置1
    列车运行进路 列车从位置1发车, 停在位置2
    试验速度 最高允许运行速度为350 km·h-1
    下载: 导出CSV

    表  5  工况1试验步骤

    Table  5.   Test steps under condition 1

    序号 操作步骤 测试案例内容
    1 注册、启动列车, 以目视行车模式运行 车载发送会话信息至RBC, RBC确认; 车载发送位置信息至RBC, RBC不对列车进行注册
    2 列车经过出站信号机后转完全监控模式 车载发送位置信息至RBC, RBC对列车进行注册, RBC向列车发送确认信息, RBC向调度中心发送列车相关信息; 车载向RBC请求行车许可, RBC向列车发送行车许可; RBC延长行车许可
    3 列车在位置2停车, 关闭驾驶台 车载设备向RBC发送通信会话结束信息, RBC向车载回复通信会话结束确认信息; RBC清空该列车相关信息
    下载: 导出CSV

    表  6  工况1测试结果

    Table  6.   Test result under condition 1

    关键记录编号 时间 发送至RBC的信号 来自RBC的信号
    0001 14:26:37 信息来源: 0001车; 建立会话信息 发送至: 0001车; 接受
    0002 14:26:38 信息来源: 0001车; 位置: 12 567 km 发送至: 0001车; 拒绝
    0003 14:28:10 信息来源: 0001车; 位置: 12 569 km 发送至: 0001车; 拒绝
    0004 14:28:12 信息来源: 0001车; 位置: 12 570 km 发送至: 0001车; 接受
    0005 14:28:13 信息来源: 0001车; 列车信息 发送至: 调度中心; 列车信息
    0006 14:28:14 信息来源: 0001车; 位置: 12 570 km; 请求行车许可 发送至: 0001车; 行车许可信息
    0007 14:56:30 信息来源: 0001车; 位置: 12 720 km; 请求行车许可 发送至: 0001车; 行车许可信息
    0008 15:39:12 信息来源: 0001车; 结束通信会话 发送至: 0001车; 会话结束确认信息
    功能测试结果
    编号 功能 验证结果
    1 列车注册与注销 正确
    2 发送行车许可 正确
    3 延长行车许可 正确
    下载: 导出CSV

    表  7  工况2的RBC测试序列

    Table  7.   RBC test sequence under condition 2

    主要试验内容 1.注册与启动; 2.发送行车许可; 3.无线通信网络故障
    试验前提条件 列车停于位置1
    列车运行进路 列车从位置1发车
    试验速度 最高允许运行速度为350 km·h-1
    下载: 导出CSV

    表  8  工况2试验步骤

    Table  8.   Test steps under condition 2

    序号 操作步骤 测试案例内容
    1 注册、启动列车 车载发送会话信息至RBC, RBC确认; 车载发送位置信息至RBC, RBC对列车进行注册, 并向列车发送确认信息, 向调度中心发送列车相关信息
    2 列车在完全监控模式下运行 车载向RBC请求行车许可, RBC向列车发送行车许可
    3 无线通信网络故障 车载设备不向RBC发送请求行车许可信息, RBC与列车中断通信连接
    4 通信网络故障超时5 min RBC删除通信中断的列车注册信息, RBC向调度中心发送报告信息
    下载: 导出CSV

    表  9  工况2测试结果

    Table  9.   Test result under condition 2

    关键记录编号 时间 发送至RBC的信号 来自RBC的信号
    0001 15:18:25 信息来源: 0001车; 建立会话信息 发送至: 0001车; 接受
    0002 15:18:25 信息来源: 0001车; 位置: 12 577 km 发送至: 0001车; 接受
    0003 15:18:26 信息来源: 0001车; 列车信息 发送至: 调度中心; 列车信息
    0004 15:18:26 信息来源: 0001车; 位置: 12 577 km; 请求行车许可 发送至: 0001车; 行车许可信息
    0005 15:22:11 信息来源: 0001车; 位置: 12 603 km; 请求行车许可 发送至: 0001车; 行车许可信息
    0006 15:27:11 发送至: 调度中心; 删除列车信息
    功能测试结果
    编号 功能 验证结果
    1 列车注册与启动 正确
    2 发送行车许可 正确
    3 无线网络通信故障 正确
    下载: 导出CSV

    表  10  工况3的RBC测试序列

    Table  10.   RBC test sequence under condition 3

    主要试验内容 1.注册与启动; 2.发送行车许可; 3.RBC切换
    试验前提条件 列车停于位置1
    列车运行进路 列车从位置1发车
    试验速度 最高允许运行速度为350 km·h-1
    下载: 导出CSV

    表  11  工况3试验步骤

    Table  11.   Test steps under condition 3

    序号 操作步骤 测试案例内容
    1 注册、启动列车 车载发送会话信息至被测RBC, 被测RBC确认; 车载发送位置信息至被测RBC, 被测RBC对列车进行注册, 向列车发送确认信息, 向调度中心发送列车相关信息
    2 列车在完全监控模式下运行 车载发送位置信息, 车载向被测RBC请求行车许可, 被测RBC向列车发送行车许可
    3 列车通过预告点 车载设备向被测RBC发送通过预告点的位置信息, 被测RBC向列车发送RBC切换信息; 被测RBC向相邻RBC发送请求进路信息、列车数据等, 相邻RBC向被测RBC发送进路信息; 车载发送位置信息, 被测RBC向列车发送行车许可; 被测RBC命令列车与相邻RBC建立会话
    4 列车头部通过切换点 车载发送位置信息, 相邻RBC向被测RBC发送列车控制权通报信息, 被测RBC不向列车发送信息, 被测RBC不向相邻RBC发送信息
    5 列车尾部通过切换点 车载发送位置信息, 被测RBC命令车载设备发送通信会话结束信息; 车载设备向被测RBC发送通信会话结束信息, 被测RBC向车载回复通信会话结束确认信息; 被测RBC清空该列车相关信息
    下载: 导出CSV

    表  12  工况3测试结果

    Table  12.   Test result under condition 3

    关键记录编号 时间 发送至RBC的信号 来自RBC的信号
    0001 16:38:05 信息来源: 0001车; 建立会话信息 发送至: 0001车; 接受
    0002 16:38:05 信息来源: 0001车; 位置: 12 750 km 发送至: 0001车; 接受
    0003 16:38:06 信息来源: 0001车; 列车信息 发送至: 调度中心; 列车信息
    0004 16:38:06 信息来源: 0001车; 位置: 12 750 km; 请求行车许可 发送至: 0001车; 行车许可信息
    0005 16:50:35 信息来源: 0001车; 位置: 12 800 km; 请求行车许可 发送至: 0001车; RBC切换信息
    0006 16:50:35 发送至: 相邻RBC; 请求进路信息
    0007 16:50:35 发送至: 相邻RBC; 列车信息
    0008 16:50:35 信息来源: 相邻RBC; 列车信息
    0009 16:50:36 信息来源: 0001车; 位置: 12 800 km; 请求行车许可 发送至: 0001车; 行车许可信息
    0010 16:50:36 发送至: 0001车; 相邻RBC信息
    0011 16:50:36 发送至: 0001车; 与相邻RBC建立会话命令
    0012 16:55:07 信息来源: 0001车; 位置: 12 825 km; 请求行车许可
    0013 16:55:07 信息来源: 相邻RBC; 列车控制权通报信息
    0014 16:55:07 信息来源: 0001车; 位置: 12 825 km; 请求行车许可 发送至: 0001车; 会话结束命令
    0015 16:55:07 信息来源: 0001车; 结束通信会话 发送至: 0001车; 会话结束确认信息
    功能测试结果
    编号 功能 验证结果
    1 列车注册与启动 正确
    2 发送行车许可 正确
    3 RBC切换 正确
    下载: 导出CSV
  • [1] 季学胜, 李开成, 张勇, 等. CTCS-3级列控系统测试案例生成方法的研究[J]. 铁道通信信号, 2009, 45 (10): 1-5. https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH200910001.htm

    JI Xue-sheng, LI Kai-cheng, ZHANG Yong, et al. Research on test case generation method of CTCS-3 train control system[J]. Railway Signalling and Communication, 2009, 45 (10): 1-5. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH200910001.htm
    [2] 张新明, 禹志阳, 袁焕靖. 基于运营场景的CTCS-3级列控系统功能需求分析[J]. 铁道通信信号, 2010, 46 (4): 17-21. https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH201004005.htm

    ZHANG Xin-ming, YU Zhi-yang, YUAN Huan-jing. CTCS-3 train control systemfunction requirements analysis based on operational scenarios[J]. Railway Signalling and Communication, 2010, 46 (4): 17-21. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH201004005.htm
    [3] HEI MDAHL M P E, RAYADURGAM S, VISSER W. Specification centered testing[C]//TRACEY N, PENIX J, VISSER W. The Second International Workshop on Automated Program Analysis, Testing and Verification. Toronto: ICSE, 2001: 1-5.
    [4] TOMMASO P D, FLAMMI NI F, LAZZARO A, et al. The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system[C]//IEEE. Proceedings of the Ninth IEEE International Symposiumon High-Assurance Systems Engineering. Heidelberg: IEEE, 2005: 131-139.
    [5] TILIERE G D, LAPERROUZA M. Developing and deploying innovative technologies in a liberalized European railway system[C]//STRC. Proceedings of 9th Swiss Transport Research Conference. Monte Verita: STRC, 2009: 1-22.
    [6] NICOLA G D, TOMMASO P D, ESPOSITO R, et al. A hybrid testing methodology for railway control systems[C]//MARITTA H, PETER L, STEFAN W. Computer Safety, Reliability, and Security. Potsdam: Springer Berlin/Heidelberg, 2004: 116-129.
    [7] ERTMS/ETCS SUBSET076-3, methodology of testing[S].
    [8] ERTMS/ETCS SUBSET 076-2, methodology to prepare features[S].
    [9] ERTMS/ETCS SUBSET 076-4-1, test sequence generation: methodology and rules[S].
    [10] ERTMS/ETCS SUBSET076-5-1, ERTMS ETCSclass 1 feature list[S].
    [11] 禹志阳, 赵阳. 基于黑盒测试技术的CTCS-3级列控系统联调联试研究[J]. 铁道通信信号, 2010, 46 (5): 1-5. https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH201005000.htm

    YU Zhi-yang, ZHAO Yang. Study on CTCS-3 train control systemdynamic test based on black-boxtest[J]. Rail way Signalling and Communication, 2010, 46 (5): 1-5. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDTH201005000.htm
    [12] 李伟, 王海峰. CTCS-3级列控系统车载设备测试序列的优化[J]. 北京交通大学学报, 2010, 34 (2): 75-78. https://www.cnki.com.cn/Article/CJFDTOTAL-BFJT201002019.htm

    LI Wei, WANG Hai-feng. Optimization test sequence of CTCS-3 on-board equipment[J]. Journal of Beijing Jiaotong University, 2010, 34 (2): 75-78. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-BFJT201002019.htm
    [13] ZHANG Yan, ZHU Li, CHEN Li-jie, et al. A method for simulation and analysis of trackside data communication systemin CBTC[C]//IEEE. 2009 WRI International Conference on Communications and Mobile Computing. Kunming: IEEE, 2009: 529-533.
    [14] 曾洁毅, 赵会兵. 应答器传输模块测试系统的研究[J]. 北京交通大学学报, 2008, 32 (2): 80-83. https://www.cnki.com.cn/Article/CJFDTOTAL-BFJT200802019.htm

    ZENG Jie-yi, ZHAO Hui-bing. Research on balise transmission module test system[J]. Journal of Beijing Jiaotong University, 2008, 32 (2): 80-83. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-BFJT200802019.htm
    [15] DONG Hai-rong, NING Bin, CAI Bai-gen, et al. Automatic train control system development and simulation for highspeed railways[J]. IEEE Circuits and Systems Magazine, 2010, 10 (2): 6-18.
    [16] 牛儒, 曹源, 唐涛. ETCS-2级列控系统RBC交接协议的形式化分析[J]. 铁道学报, 2009, 31 (4): 52-58. https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB200904012.htm

    NIU Ru, CAO Yuan, TANG Tao. Formal modelling and analysis of RBC handover protocol for ETCS level 2 using stochastic petri nets[J]. Journal of the China Railway Society, 2009, 31 (4): 52-58. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB200904012.htm
    [17] 梁楠, 王海峰. 基于SPN的CTCS-3级列控系统RBC实时性能分析[J]. 铁道学报, 2011, 33 (2): 67-71. https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB201102017.htm

    LIANG Nan, WANG Hai-feng. Real-time performance analysis of RBC system for CTCS lever 3 using stochastic petri networks[J]. Journal of the China Railway Society, 2011, 33 (2): 67-71. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB201102017.htm
    [18] 吕继东, 唐涛, 贾昊. 客运专线CTCS-3级列控系统无线闭塞中心的建模与验证[J]. 铁道学报, 2010, 32 (6): 34-42. https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB201006009.htm

    LUJi-dong, TANG Tao, JIA Hao. Modeling and verification of Radio Block Center of CTCS-3 train control system for dedicated passengers lines[J]. Journal of the China Railway Society, 2010, 32 (6): 34-42. (in Chinese) https://www.cnki.com.cn/Article/CJFDTOTAL-TDXB201006009.htm
  • 加载中
图(7) / 表(12)
计量
  • 文章访问数:  915
  • HTML全文浏览量:  150
  • PDF下载量:  600
  • 被引次数: 0
出版历程
  • 收稿日期:  2011-03-20
  • 刊出日期:  2011-08-25

目录

    /

    返回文章
    返回