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

TTCN-3 Based Automatic Testing Approach of CTCS-3 Level Train Control ystem

作　　者：赵显琼[1] 李开成[2] 唐涛[1] 袁磊[1] 

机构地区：[1]北京交通大学轨道交通控制与安全国家重点实验室,北京博士研究生100044 [2]北京交通大学电子信息工程学院

出　　处：《铁道通信信号》2010年第7期15-20,共6页Railway Signalling & Communication

基　　金：国家自然基金重点项目(60634010);北京市城市轨道交通自动化与控制重点实验室资助;国家863高技术研究发展计划(2009AA11Z221);国家支撑计划(2009BAG12A08);中央高校基本科研业务费专项资金资助(2009YJS013)

摘　　要：提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。This paper presents an automatic testing framework for CTCS-3 level train control systems based on TTCN-3 testing language.Under the premise of considering the complexity and real-time features of distributed real-time systems,this method firstly decomposed a CTCS-3 level system into multiple entities and described each entity using a Timed Input/Output automata with Labled Ports TIOA model according to the functional requirement specification.Next,it derived the test sequences and test set based on an improved search algorithm.And then,the derived test sequences and test set are converted into another form described in TTCN-3 language.Finally,these entities have been tested on TTCN-3 test platform.

关 键 词：列车运行控制系统 测试和测试控制符号 端口标记的时间输入输出自动机 自动测试 

分 类 号：TP274[自动化与计算机技术—检测技术与自动化装置]