基于通信扩展有限状态机的测试集生成技术

Test Suite Generation Techniques Based on Communicating Extended Finite State Machines

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

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 communicating extended finite state machines.