协议测试是保证各种协议实体之间能够互联和可靠性操作的重要基础。为了对当前网络所研究的高性能路由器进行系统的协议测试，本文深入研究了ANVL(Automated Network Validation Library)系统，在此基础上提出了进行协议测试开发的一般方法，并对IGMP和PIM-DM协议一致性协议测试进行了实现。 本文介绍了当前协议一致性测试的国际标准——ISO9646，系统阐述了一致性测试的基本理论和方法，研究了测试执行系统——ANVL系统，给出了组播协议测试开发的一般过程和方法。进行测试开发首先是对测试方法的选择，对中继系统选择远程横断测试方法。其次是进行测试序列的设计，分为基于有限状态机的测试序列生成和基于测试目的的测试序列生成，我们给出了基于有限状态机的测试序列生成的一般算法。在基于测试目的的测试案例设计中，给出不能使用形式化方法而必须手动实现的案例设计方法。再次，我们介绍使用TTCN来进行测试描述，给出了实现测试案例的基本步骤。最后对于测试案例执行效率进行了初步讨论，分析了自动执行、回归测试对测试案例执行效率的改进。 由于组播协议本身的特点和测试方面的复杂性，在IGMP和PIM-DM的一致性测试集的设计、组织以及参考实现的设计编码中需要解决一系列问题。通过精心设计编写的测试集(包括测试数据)与参考实现协调工作，完成了IGMP和PIM-DM协议的一致性测试。 在对包括Cisco中高档路由器和我们开发的系统的测试中，发现了一定数量的IGMP和PIM-DM实现中的问题和错误，获取了大量技术细节，为开发国产高性能核心路由器中相应模块提供了重要的支持。同时也证实了IGMP和PIM-DM一致性测试各个环节的有效性。通过IGMP和PIM-DM的一致性测试实践，为组播协议的测试提供了重要的参考借鉴。在协议测试的回归测试理论和方法上进行的有益探索，为开展适合协议测试系统的回归测试打下了一定的基础。