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

doi:10.3778/j.issn.1002-8331.2010.34.018

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (34): 59-61.DOI: 10.3778/j.issn.1002-8331.2010.34.018

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

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

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

收稿日期:2010-05-27 修回日期:2010-07-26 出版日期:2010-12-01 发布日期:2010-12-01
通讯作者: 杨世玉

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

摘要/Abstract

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

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

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

中图分类号:

TN915.852

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

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]	王迪，李彩虹，郭娜，刘国名，高腾腾. 基于模糊势场法的移动机器人局部路径规划[J]. 计算机工程与应用, 2021, 57(6): 212-218.
[2]	伍旭东，唐麒，张伟，张健，魏急波，王一军. 基于扩展有限状态机的SCA符合性测试方法研究[J]. 计算机工程与应用, 2021, 57(16): 263-268.
[3]	郭娜，李彩虹，王迪，张宁，刘国名. 结合预测和模糊控制的移动机器人路径规划[J]. 计算机工程与应用, 2020, 56(8): 104-109.
[4]	张承德，别紫妮. 基于三维时空轨迹的拼车改进算法研究[J]. 计算机工程与应用, 2019, 55(13): 239-245.
[5]	康红凯，吴礼发，洪征，庄洪林，张亚丰. 一种基于FSM的BGP-4协议模糊测试方法[J]. 计算机工程与应用, 2017, 53(6): 111-117.
[6]	彭家寅. 扰动模糊有限状态机的转移结构[J]. 计算机工程与应用, 2017, 53(16): 1-9.
[7]	黄冬梅，许琼琼，贺琪，杜艳玲. 基于TC-Net的工作流模型研究[J]. 计算机工程与应用, 2016, 52(15): 260-265.
[8]	费凯，杨任农，黄震宇，李秋妮. 考虑时间约束的空战编队协同火力分配研究[J]. 计算机工程与应用, 2016, 52(13): 259-264.
[9]	冯复剑. 时间约束工作流的可调度性分析[J]. 计算机工程与应用, 2016, 52(12): 26-30.
[10]	郁文枢，周勇，燕雪峰. 包含时间约束的作战任务建模与验证方法[J]. 计算机工程与应用, 2016, 52(11): 238-242.
[11]	李冬辉，张斌，费晓飞. 基于OSBE的属性访问控制模型[J]. 计算机工程与应用, 2015, 51(7): 84-87.
[12]	胡忠刚，娄全福，孙小迎. 格值有限状态机的一些性质[J]. 计算机工程与应用, 2015, 51(21): 70-73.
[13]	王小刚1，曹东2. 飞行控制软件周期任务的定时周期设计[J]. 计算机工程与应用, 2015, 51(10): 242-246.
[14]	尤枫，边毅，赵瑞莲. EFSM模型的字符串类型测试数据自动生成[J]. 计算机工程与应用, 2014, 50(16): 57-61.
[15]	马君亮，汪西莉，何聚厚，肖冰. 增强型Anti-Xprobe2的研究与设计[J]. 计算机工程与应用, 2012, 48(32): 1-4.

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

Conformance test sequence generation for railway signal safety protocol

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics