%0 Journal Article
%T 基于多UIO序列的协议一致性测试生成*
%A 刘积仁
%A 都军
%J -
%D 1995
%X 本文基于多UIO序列提出了一种最优化协议一致性测试生成方法．可以证明本方法生成的测试序列的长度比其它基于UIO序列的测试方法生成的测试序列短．由于本方法采用了形式叠加技术，因此生成叠加转换序列所需要的计算时间大大减少了
%K 协议一致性测试
%K 有限状态机
%K 测试序列
%K UIO序列．
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=1995s108&flag=1