###
DOI:
Journal of Software:1995.6(zk):52-58

基于多UIO序列的协议一致性测试生成*
刘积仁,都军
(计算机软件国家工程研究中心,沈阳110006)
PROTOCOL CONFORMANCE TEST GENERATION BASED UPON MULTIPLE UIO SEQUENCES
Liu Jiren,Du Jun
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 1819   Download 2443
Received:January 12, 1994    Revised:January 12, 1994
> 中文摘要: 本文基于多UIO序列提出了一种最优化协议一致性测试生成方法.可以证明本方法生成的测试序列的长度比其它基于UIO序列的测试方法生成的测试序列短.由于本方法采用了形式叠加技术,因此生成叠加转换序列所需要的计算时间大大减少了.
Abstract:This paper proposes an optimization method for protocol Conformance test generation based upon multiple UIO sequences.It can be shown that test sequences goner-ated by this method are shorter than those generated by other methods using UIO se-quences.Because of employing formally overlapping technique,generation time ot over-lapped transition sequences is greatly decreased.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

刘积仁,都军.基于多UIO序列的协议一致性测试生成*.软件学报,1995,6(zk):52-58

Liu Jiren,Du Jun.PROTOCOL CONFORMANCE TEST GENERATION BASED UPON MULTIPLE UIO SEQUENCES.Journal of Software,1995,6(zk):52-58