随着计算机网络的发展,网络协议的重要性日渐突出。协议是通信各方能够正确互联的保证,是各个通信实体间需要遵守的一系列规则。然而,多数协议的文档都是通过自然语言进行书写的,极易在不同阅读者间造成歧义。所以,有必要对网络协议进行一致性测试。标签分发协议LDP(Label Distribution Protocol)是多协议标记交换MPLS(Multiple Protocol Label Switching)的骨干协议,该技术可以从根本上解决传统IP转发技术存在的诸多问题。目前,IDP协议已广泛应用于多项领域,并可以和多种网络传输技术进行无缝结合。而且,目前国际和国内市场上有相当数量的基于LDP标签技术的网络产品,所以有必要对该协议进行一致性测试。本文主要的工作有：第一,将工作流的概念应用于协议测试领域,结合LDP协议,针对协议文档状态机描述功能的不足,利用UML建模语言描述了从协议文档自然语言到IUT状态转移的过程。建立了基于工作流Petri网的LDP协议形式化模型。第二,编写了基于Java的XML解析器,在已有模型基础上实现了抽象测试例的自动生成。完成了从抽象测试例到可执行测试例的转换。第三,使用Cisco7200, Quid way net Engine40E和路由模拟软件GNS3等工具搭建了测试环境,利用得到的可执行测试例对LDP协议进行一致性测试,并对实验结果进行了分析。