基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

作者：赵显琼; 李开成; 唐涛; 袁磊

来源：铁道通信信号, 2010, (07): 15-20.

DOI：10.13879/j.issn1000-7458.2010.07.031

• 列车运行控制系统
• 测试和测试控制符号
• 端口标记的时间输入输出自动机
• 自动测试 TCS
• TTCN-3
• LPTIOA
• Automatic testing

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。

• 单位
  轨道交通控制与安全国家重点实验室; 电子信息工程学院; 北京交通大学