随着网络技术和网络应用的发展，通信技术的发展也越来越迅速，通信协议也需要提供更多的功能并越来越复杂。另外伴随网络应用的不断增加，通信协议也提供了扩展功能来满足网络应用的发展，这就需要在不改变原有协议框架的前提下进行协议扩展。然而目前协议一致性测试技术无法满足新的网络环境下的协议发展的要求。本文的主要目的就是针对目前协议的复杂性和功能不断扩展的情况研究网络协议一致性测试问题。 协议组合是计算机网络中的一个传统研究课题，协议组合方法是一种重要的进行网络协议设计和验证的方法。它将协议按照功能划分为多个不同的构件，依次实现各个协议构件并将这些构件组合在一起最终达到实现复杂协议的目的。目前的协议组合思想主要用在协议的设计和实现中，本文将组合协议的思想用于网络协议一致性测试中，提出了协议组合一致性测试方法，建立了网络协议组合测试模型。网络协议组合测试模型符合协议规范的构件化思想，方便一致性测试在原有协议构件测试的基础上生成测试序列。 文章在该模型的基础上，基于现有的协议规范所规定的协议框架，提出了SIP组合测试模型，这是协议组合测试模型在SIP中的应用。在此基础上，运用了PROMELA语言描述了SIP协议，采用工具SPIN验证了SIP组合测试模型的正确性。然后利用本文中提出的基于通信有限状态机的一致性测试序列生成算法生成相应的测试序列。最后在Linux操作系统上实现了对开源的SIP协议VOCAL的一致性测试。