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

• 研发、设计、测试 • 上一篇    下一篇

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

杨世玉1,徐中伟1,喻 钢1,2,张 盛1   

  1. 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-yu1,XU Zhong-wei1,YU Gang1,2,ZHANG Sheng1   

  1. 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

摘要: 铁路信号安全协议(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

中图分类号: