现代通信与计算机网络技术的飞速发展,使得通信协议的复杂程度越来越高,这样就导致协议实现与协议之间不可避免地出现差错.为了检验协议实现与通信协议之间的符合程度,引入了协议的一致性测试方法.通过协议一致性测试的协议实现,由于其绝大部分功能与协议标准的描述相一致,它和其它具备"一致性"的协议实现之间的互连可能性有很大的提高.但是,通过协议一致性测试的协议实现之间并不能保证完全的互操作.为了保证不同厂商的协议实现之间可以进行完全的互操作,进行互操作性测试是非常重要的.文章系统介绍了协议测试理论和扩展有限状态机(EFSM)理论,利用贝尔实验室基础科学研究院开发的协议互操作性测试序列产生工具IT-IS,建立无线通信系统互操作的扩展有限状态机模型,并产生最小化、无冗余、全覆盖的测试序列.文章主要内容是设计开发了测试序列的执行器Test Executor(包括MasterExecutor和Slave Executor),它可以快速准确的执行测试序列并通过观察输出结果判断互操作测试的成功与否.最后,通过对GPRS无线网卡AirCard750和PSTN的互操作性测试验证了测试序列执行器的有效性和可靠性.该论文得到贝尔实验室基础科学研究院(北京)支持.