计算机网络技术的迅猛发展,使得网络协议日趋多样和复杂,协议的开发也面临着越来越多的挑战。协议一致性测试是为了验证协议实现与相应的协议标准之间的一致性,是确保各种计算机系统正确互连和互操作的关键。多协议标记交换MPLS(Multi Protocol Label Switching)技术是为了解决IP技术发展所而临的传输效率低、无法保证服务质量等主要问题而提出的IP骨干网络技术。标记分发协议LDP(Label Distribution Protocol)是MPLS的核心技术,LDP协议交互的是关于标记转发结构的信息,正确地建立,处理和发送这些信息,形成对于MPLS域内网络打扑结构的正确反映是LDP协议的主要功能。其正确性直接影响到MPLS各种服务和应用的可靠性。本文首先对LDP协议进行了研究,使用形式描述技术语言E-LOTOS对LDP协议状态机进行了建模。运用协议抽象测试套自动生成系统PATSAG得到了TTCN-3抽象测试套,然后利用JAVA语言实现了从TTCN-3抽象测试套到可执行测试例的自动生成；对于协议中非状态机部分,手工得到了可执行测试例。最后,搭建测试平台,使用Cisco7200、Quidway netEngine40E和路由模拟软件GNS3对得到的测试例进行了测试,并对实验结果进行分析。