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