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

Test Suite Generation Techniques Based on Communicating Extended Finite State Machines

作　　者：彭熙[1] 李艳[1] 肖德宝[1] 

机构地区：[1]华中师范大学计算机科学系计算机网络与通信技术研究所,湖北武汉430079

出　　处：《计算机工程与科学》2004年第2期32-35,共4页Computer Engineering & Science

基　　金：湖北省科技攻关重大项目(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 communicating extended finite state machines.

关 键 词：通信扩展有限状态机 测试集生成 通信协议 协议测试集 

分 类 号：TN915.04[电子电信—通信与信息系统]