铁路信号安全协议（RSSP．I）是实现高速铁路安全运行的保障，协议一致性测试的核心是生成完备有效的测试序列。针对铁路信号安全协议的实......

文中采用新的方法对通讯协议的一致性产生相应的测试序列，对ＵＩＯＶ（ＩｍｐｒｏｖｅｄＵｎｉｑｕｅＩｎｐｕｔ／Ｏｕｔｐｕｔ）方法进行改进：当某状态先ＵＩＯ序列时，采用并行表示技术或收敛边标识与其它状态......