| 铁路信号安全协议一致性测试序列生成研究 |
| |
| 引用本文： | 杨世玉,徐中伟,喻钢,张盛. 铁路信号安全协议一致性测试序列生成研究[J]. 计算机工程与应用, 2010, 46(34): 59-61. DOI: 10.3778/j.issn.1002-8331.2010.34.018 |
| |
| 作者姓名： | 杨世玉 徐中伟 喻钢 张盛 |
| |
| 作者单位： | 1.同济大学 电子与信息工程学院，上海 2018042.上海大学 悉尼工商学院，上海 201800 |
| |
| 基金项目： | 国家自然科学基金，铁道部科技研究开发计划基金资助项目 |
| |
| 摘 要： | 铁路信号安全协议（RSSP-I）是实现高速铁路安全运行的保障，协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实时性要求，提出了带时间约束的FSM（Finite State Machine）模型，并在此模型基础上生成状态的UIO（Unique Input/Output sequences）序列，最后采用基于收敛边的算法生成了较其他算法更短的一致性测试序列，从而提高了测试效率。
|
| 关 键 词： | 有限状态机 唯一输入输出序列 铁路信号安全协议 时间约束 收敛边 |
| 收稿时间： | 2010-05-27 |
| 修稿时间： | 2010-7-26 |
Conformance test sequence generation for railway signal safety protocol |
| |
| YANG Shi-yu,XU Zhong-wei,YU Gang,ZHANG Sheng. Conformance test sequence generation for railway signal safety protocol[J]. Computer Engineering and Applications, 2010, 46(34): 59-61. DOI: 10.3778/j.issn.1002-8331.2010.34.018 |
| |
| Authors: | YANG Shi-yu XU Zhong-wei YU Gang ZHANG Sheng |
| |
| Affiliation: | 1.College of Electronic and Information Engineering，Tongji University，Shanghai 201804，China 2.College of Sydney Business，Shanghai University，Shanghai 201800，China |
| |
| 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. |
| |
| Keywords: | Finite State Machine （FSM） Unique Input/Output （UIO） sequence Railway Signal Safety Protocol （RSSP-I） time constraints converging edge |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
