铁路信号安全协议互操作性测试序列生成研究

Research on interoperability testing sequence derivation for Railway Signal Safety Protocol-I

铁路信号安全协议-Ⅰ为铁道部制订的用于高速铁路列控系统中的安全数据传输协议,对整个系统的安全起着重要作用,投入运行前对其进行完整的测试是非常必要的。协议测试中的互操作性测试是检查同一协议或者同一类协议的不同被测实现之间是否可以进行正确交互。本文对铁路信号安全协议-Ⅰ的互操作性测试建模和测试序列生成进行了详细的研究。

The railway signal safety protocol-I, which was made by Ministry of Railways, was used in the safety data transmission of the high-speed Train Control System and had a significant function to ensure the safety of the whole system. It was necessary to test it completely before it was put into use. The interoperability testing was to check whether the protocol implementations of the same protocol or the same type protocol could interoperate correctly. The paper researched on the interoperability testing modeling and testing sequence generation of the Railway Signal Safety Protocol-I （RSSP-I） in details.