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