Conformance test sequence generation for railway signal safety protocol

doi:10.3778/j.issn.1002-8331.2010.34.018

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (34): 59-61.DOI: 10.3778/j.issn.1002-8331.2010.34.018

• 研发、设计、测试 • Previous Articles Next Articles

Conformance test sequence generation for railway signal safety protocol

YANG Shi-yu¹，XU Zhong-wei¹，YU Gang^1，2，ZHANG Sheng¹

1.College of Electronic and Information Engineering，Tongji University，Shanghai 201804，China
2.College of Sydney Business，Shanghai University，Shanghai 201800，China

Received:2010-05-27 Revised:2010-07-26 Online:2010-12-01 Published:2010-12-01
Contact: YANG Shi-yu

铁路信号安全协议一致性测试序列生成研究

杨世玉¹，徐中伟¹，喻钢^1，2，张盛¹

1.同济大学电子与信息工程学院，上海 201804
2.上海大学悉尼工商学院，上海 201800

通讯作者: 杨世玉

Abstract

Abstract: Railway signal safety protocol-I ensures the safe operation of high-speed railway.And generation of test sequence is the key of conformance test.Aiming at the real-time requirements of RSSP-I，this paper proposes an FSM model with time constraints，and generates every state’s unique input/output sequence at the basis of this model.At last，the algorithm based on converging edge is used to generate conformance test sequence for RSSP-I，which is more efficient than other algorithms.

Key words: Finite State Machine（FSM）, Unique Input/Output（UIO） sequence, Railway Signal Safety Protocol（RSSP-I）, time constraints, converging edge

摘要： 铁路信号安全协议（RSSP-I）是实现高速铁路安全运行的保障，协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求，提出了带时间约束的FSM（Finite State Machine）模型，并在此模型基础上生成状态的UIO（Unique Input/Output sequences）序列，最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列，从而提高了测试效率。

关键词: 有限状态机, 唯一输入输出序列, 铁路信号安全协议, 时间约束, 收敛边

CLC Number:

TN915.852

YANG Shi-yu¹，XU Zhong-wei¹，YU Gang^1，2，ZHANG Sheng¹. Conformance test sequence generation for railway signal safety protocol[J]. Computer Engineering and Applications, 2010, 46(34): 59-61.

杨世玉¹，徐中伟¹，喻钢^1，2，张盛¹. 铁路信号安全协议一致性测试序列生成研究[J]. 计算机工程与应用, 2010, 46(34): 59-61.

[1]	WANG Di, LI Caihong, GUO Na, LIU Guoming, GAO Tengteng. Local Path Planning of Mobile Robot Based on Fuzzy Potential Field Method [J]. Computer Engineering and Applications, 2021, 57(6): 212-218.
[2]	FEI Kai, YANG Rennong, HUANG Zhengyu, LI Qiuni. Considering time constraints of cooperative weapon-target assignment in air combat [J]. Computer Engineering and Applications, 2016, 52(13): 259-264.
[3]	LI Donghui, ZHANG Bin, FEI Xiaofei. Attribute access control model based on OSBE [J]. Computer Engineering and Applications, 2015, 51(7): 84-87.
[4]	WANG Xiaogang1, CAO Dong2. Period design of periodic tasks in flight control software [J]. Computer Engineering and Applications, 2015, 51(10): 242-246.
[5]	ZAOKERE Kadeer1，2, AISHAN Wumaier1，2, TUERGEN Yibulayin1，2, PARIDA Tursun2，3, WU Xiaochuan1，2. Uyghur noun stemming system based on hybrid method [J]. Computer Engineering and Applications, 2013, 49(1): 171-175.
[6]	LIU Xueheng, WANG Chuanxu, XU Changyan. Inventory strategy optimization for multi-location emergency supply system based on time constraints [J]. Computer Engineering and Applications, 2012, 48(7): 212-216.
[7]	MA Junliang, WANG Xili, HE Juhou, XIAO Bing. Research and design of enhanced Anti-Xprobe2 [J]. Computer Engineering and Applications, 2012, 48(32): 1-4.
[8]	YANG Tao¹，DENG Hongli²，SHAO Chenxi³. Simulation of cellular signal transduction network based on Agent and FSM [J]. Computer Engineering and Applications, 2011, 47(3): 221-224.
[9]	ZHANG Xiuping，YANG Guowu，LI Xiaoyu. Emulation model for MMU coprocessor [J]. Computer Engineering and Applications, 2011, 47(3): 57-60.
[10]	TIAN Yuan，LI Jianbin，ZHANG Zhen. Effective approach to re-engineering of protocol’s state machine model [J]. Computer Engineering and Applications, 2011, 47(19): 63-67.
[11]	YANG Qing^1,2,LI Fang-min¹. Study on model of intrusion detection for wireless Ad Hoc network based on SVM and FSM [J]. Computer Engineering and Applications, 2009, 45(13): 114-118.
[12]	DING Zhen-guo,ZHAO Da-yong. URL access control algorithm based on double-array finite state machine [J]. Computer Engineering and Applications, 2007, 43(36): 129-131.
[13]	WANG Zhan-min¹,FEI Rong¹,WU Fei²,CUI Du-wu¹. Call center system based on CT-Bus and state node design [J]. Computer Engineering and Applications, 2007, 43(18): 239-241.
[14]	,. Time Constraints Analysis of Task Scheduling for Colored Timed Workflow Net [J]. Computer Engineering and Applications, 2006, 42(8期): 16-.

Conformance test sequence generation for railway signal safety protocol

铁路信号安全协议一致性测试序列生成研究

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 14

Recommended Articles

Metrics