| 摘要: |
| 本文基于多UIO序列提出了一种最优化协议一致性测试生成方法．可以证明本方法生成的测试序列的长度比其它基于UIO序列的测试方法生成的测试序列短．由于本方法采用了形式叠加技术，因此生成叠加转换序列所需要的计算时间大大减少了． |
| 关键词: 协议一致性测试，有限状态机，测试序列，UIO序列． |
| DOI： |
| 分类号: |
| 基金项目: |
|
| PROTOCOL CONFORMANCE TEST GENERATION BASED UPON MULTIPLE UIO SEQUENCES |
|
Liu Jiren,Du Jun
|
| 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． |
| Key words: Protocol conformance testing,finite state machine,test sequences,UIO sequences． |
