基于多UIO序列的协议一至致性测试生成

本基于多ＵＩＯ序列提出了一种最优化协议一致性测试生成方法，可以证明本方法生成的测试序列的长度比其它基于ＵＩＯ序列的测试方法生成的测试序列短。由于本方法采用了形式珈技术，因此生成叠加转换序列所需要的计算时间大大减少了。