| 基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法 |
| |
| 引用本文： | 赵显琼,李开成,唐涛,袁磊.基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法[J].铁道通信信号,2010,46(7):15-20. |
| |
| 作者姓名： | 赵显琼 李开成 唐涛 袁磊 |
| |
| 作者单位： | 1. 北京交通大学轨道交通控制与安全国家重点实验室,100044,北京
2. 北京交通大学电子信息工程学院,100044,北京 |
| |
| 基金项目： | 国家自然基金重点项目，北京市城市轨道交通自动化与控制重点实验室资助，国家863高技术研究发展计划，国家支撑计划，中央高校基本科研业务费专项资金资助 |
| |
| 摘 要： | 提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。
|
| 关 键 词： | 列车运行控制系统 测试和测试控制符号 端口标记的时间输入输出自动机 自动测试 |
TTCN-3 Based Automatic Testing Approach of CTCS-3 Level Train Control System |
| |
| Zhao Xianqiong,Li Kaicheng,Tang Tao,Yuan Lei.TTCN-3 Based Automatic Testing Approach of CTCS-3 Level Train Control System[J].Railway Signalling & Communication,2010,46(7):15-20. |
| |
| Authors: | Zhao Xianqiong Li Kaicheng Tang Tao Yuan Lei |
| |
| Institution: | Zhao Xianqiong,Li Kaicheng,Tang Tao,Yuan Lei |
| |
| Abstract: | 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. |
| |
| Keywords: | TCS TTCN-3 LPTIOA Automatic testing |
| 本文献已被 维普 万方数据 等数据库收录！ |
