期刊论文

中文

计算机工程与科学

1007-130X

2004

26

2

32-35

湖北省科技攻关重大项目（2001AA104A05）； 湖北省自然科学基金资助项目（2001ABB013）；

本校为第一机构

在协议一致性测试中,选择恰当的测试例至关重要.文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点探讨基于通信扩展有限状态机的测试集生成技术.

Selecting appropriate test cases is a crucial activity in protocol conformance testing. This paper first introduces the concept of conformance testing and the test models of a finite state machine and an extended finite state machine. Then it emphatically analyzes the test suite generation techniques based on commu...