随着网络技术的蓬勃发展，服务于网络的各个层面的通信协议也被制定出来。尽管协议标准的语法是规范的，然而，在业务应用中，协议的语义和语用很多地方是用自然语言描述的，还无法实现从规范到代码的全自动的转换，不同厂商的实现可能会因为错误的理解而造成协议实现错误，进而系统运行失败，即使是有严格规范的接口，在具体实现时出现错误也是经常发生的。为确保协议实现的正确性和有效性，协议测试就显得尤为重要。　　 协议一致性测试是测试被测协议实现与协议规范要求的一致性，是协议测试的基础。一个协议实现能否通过一致性测试是它能否与其他实现成功进行交互的重要保障。而协议测试集自动生成理论则极大的简化了协议测试的工作，缩短了协议的开发时间。　　 论文首先阐述了目前的通信软件的测试理论和相关技术，着重对通信协议一致性测试方法展开研究，介绍了一致性测试的基本概念，测试结构和过程等，接着对多种协议的形式化描述方法和测试套自动生成方法展开调研，并且进行了分析和比较；在此基础上，对流行的TelelogicTau SDL and TTCN Suite 4.4仿真软件环境进行了深入的分析，研究该软件环境是否能够符合协议一致性测试的要求，是否满足ETSI测试规范，论文给出了肯定的结伦；最后，论文描述了在此环境下进行的工作，使用SDL对IMS中基于SIP的会话处理过程进行系统建模，并利用上述建立的模型，生成了基于TTCN的抽象测试套，最后使用该测试套对被测系统进行了一致性测试。