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

作者：杨世玉; 徐中伟; 喻钢; 张盛

来源：计算机工程与应用, 2010, (34): 59-61+91.

• 有限状态机
• 唯一输入输出序列
• 铁路信号安全协议
• 时间约束
• 收敛边 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)序列,最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列,从而提高了测试效率。

• 出版日期2010
• 单位上海大学; 同济大学