1、隨著計(jì)算機(jī)網(wǎng)絡(luò)的發(fā)展，網(wǎng)絡(luò)協(xié)議的重要性日漸突出。協(xié)議是通信各方能夠正確互聯(lián)的保證，是各個(gè)通信實(shí)體間需要遵守的一系列規(guī)則。然而，多數(shù)協(xié)議的文檔都是通過(guò)自然語(yǔ)言進(jìn)行書寫的，極易在不同閱讀者間造成歧義。所以，有必要對(duì)網(wǎng)絡(luò)協(xié)議進(jìn)行一致性測(cè)試。
　　 標(biāo)簽分發(fā)協(xié)議LDP(Label Distribution Protocol)是多協(xié)議標(biāo)記交換MPLS(Multiple Protocol Label Switching)的骨干協(xié)議，該技術(shù)可

2、以從根本上解決傳統(tǒng)IP轉(zhuǎn)發(fā)技術(shù)存在的諸多問(wèn)題。目前，LDP協(xié)議已廣泛應(yīng)用于多項(xiàng)領(lǐng)域，并可以和多種網(wǎng)絡(luò)傳輸技術(shù)進(jìn)行無(wú)縫結(jié)合。而且，目前國(guó)際和國(guó)內(nèi)市場(chǎng)上有相當(dāng)數(shù)量的基于LDP標(biāo)簽技術(shù)的網(wǎng)絡(luò)產(chǎn)品，所以有必要對(duì)該協(xié)議進(jìn)行一致性測(cè)試。
　　 本文主要的工作有：
　　 第一，將工作流的概念應(yīng)用于協(xié)議測(cè)試領(lǐng)域，結(jié)合LDP協(xié)議，針對(duì)協(xié)議文檔狀態(tài)機(jī)描述功能的不足，利用UML建模語(yǔ)言描述了從協(xié)議文檔自然語(yǔ)言到IUT狀態(tài)轉(zhuǎn)移的過(guò)程。建立了基于