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

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

单位：华中师范大学计算机科学系计算机网络与通信技术研究所; 湖北; 武汉; 430079