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

• 作者: 喻钢 张盛 徐中伟 杨世玉
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 有限状态机 唯一输入输出序列 铁路信号安全协议 时间约束 收敛边
• 年，卷（期）: 2010,（34）
• 页码范围: 59-61,91
• 分类号: TN915.852
• 字数: 4555字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.34.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	喻钢	同济大学电子与信息工程学院	24	147	7.0	11.0
6	杨世玉	同济大学电子与信息工程学院	3	16	2.0	3.0
7	张盛	同济大学电子与信息工程学院	2	9	2.0	2.0