已閱讀1頁,還剩61頁未讀, 繼續(xù)免費閱讀
版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、隨著計算機網絡的發(fā)展,網絡協議的重要性日漸突出。協議是通信各方能夠正確互聯的保證,是各個通信實體間需要遵守的一系列規(guī)則。然而,多數協議的文檔都是通過自然語言進行書寫的,極易在不同閱讀者間造成歧義。所以,有必要對網絡協議進行一致性測試。
標簽分發(fā)協議LDP(Label Distribution Protocol)是多協議標記交換MPLS(Multiple Protocol Label Switching)的骨干協議,該技術可
2、以從根本上解決傳統(tǒng)IP轉發(fā)技術存在的諸多問題。目前,LDP協議已廣泛應用于多項領域,并可以和多種網絡傳輸技術進行無縫結合。而且,目前國際和國內市場上有相當數量的基于LDP標簽技術的網絡產品,所以有必要對該協議進行一致性測試。
本文主要的工作有:
第一,將工作流的概念應用于協議測試領域,結合LDP協議,針對協議文檔狀態(tài)機描述功能的不足,利用UML建模語言描述了從協議文檔自然語言到IUT狀態(tài)轉移的過程。建立了基于
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于擴展Petri網模型的標記分發(fā)協議LDP一致性測試生成.pdf
- 基于E-LOTOS的LDP協議一致性測試的研究.pdf
- 基于asn.1的標記分發(fā)協議ldp的一致性測試
- 基于擴展UML statecharts的協議一致性測試方法的研究.pdf
- 工作流系統(tǒng)一致性研究.pdf
- 協議一致性測試研究.pdf
- 路由協議的一致性測試.pdf
- 基于網絡協議的一致性測試研究.pdf
- 基于Petri網的業(yè)務流程模型一致性分析.pdf
- 基于TTCN的LLDP協議一致性測試.pdf
- BitTorrent協議一致性測試的研究.pdf
- 基于模型檢查的協議一致性測試生成.pdf
- 通信協議的一致性測試.pdf
- 基于CPN的WCDMA協議一致性測試研究.pdf
- 協議一致性測試原理及其應用.pdf
- 基于動態(tài)邏輯的UML模型一致性檢驗.pdf
- UML模型一致性檢測的研究.pdf
- TCP協議一致性測試系統(tǒng)的研究和實現.pdf
- 路由協議一致性測試平臺的設計.pdf
- 鄰機發(fā)現協議的一致性測試.pdf
評論
0/150
提交評論