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