本文選題：協(xié)議測試 + 互操作性測試　； 參考：《北京郵電大學(xué)》2015年碩士論文

【摘要】：協(xié)議是構(gòu)建網(wǎng)絡(luò)的基石,隨著互聯(lián)網(wǎng)的普及,協(xié)議越來越龐大復(fù)雜,協(xié)議實現(xiàn)的質(zhì)量直接決定了整個網(wǎng)絡(luò)的穩(wěn)定性和可靠性。網(wǎng)絡(luò)協(xié)議大多是以自然語言描述的,對協(xié)議規(guī)范的不同理解或?qū)崿F(xiàn)過程中的非形式化因素等都會導(dǎo)致產(chǎn)生不同的協(xié)議實現(xiàn),并且隨著網(wǎng)絡(luò)設(shè)備的與日俱增,不同的協(xié)議實現(xiàn)之間的互操作能力非常重要。不同的協(xié)議實現(xiàn)能否共同協(xié)作,服務(wù)網(wǎng)絡(luò)是網(wǎng)絡(luò)維護(hù)成本的根源。協(xié)議實現(xiàn)中的一些問題比較隱蔽,例如異常跳轉(zhuǎn)、錯誤消息等,通過發(fā)送激勵檢測響應(yīng)這種簡單的測試方式很難發(fā)現(xiàn)問題,只有經(jīng)過一些特殊配置后對正常運(yùn)行設(shè)備進(jìn)行長時間在線監(jiān)測才能實現(xiàn)。因此,為了在更加真實的網(wǎng)絡(luò)環(huán)境中,不干擾設(shè)備的正常運(yùn)行,檢測被測實現(xiàn)的故障,本文提出了互操作性被動測試方法。 本文設(shè)計的互操作性被動測試模型適合多種特點的協(xié)議。該模型包括：1)抽象被測系統(tǒng)模型,描述被測系統(tǒng)的協(xié)議實體間的通信關(guān)系和端口連接關(guān)系；2)協(xié)議互操作性被動測試的分布式測試結(jié)構(gòu)；3)測試系統(tǒng)的主要實現(xiàn)步驟：a)生成復(fù)合全局有限狀態(tài)機(jī),b)設(shè)置觀察點,采集處理數(shù)據(jù),c)進(jìn)行錯誤診斷,d)根據(jù)診斷結(jié)果,生成測試報告；4)設(shè)計了互操作性被動測試測試系統(tǒng)的架構(gòu),該架構(gòu)主要包含數(shù)據(jù)采集與處理、形式化描述、錯誤診斷和控制管理UI界面。 隨著移動互聯(lián)網(wǎng)和IPv6技術(shù)的發(fā)展,移動IPv6技術(shù)日益成熟,成為當(dāng)前互聯(lián)網(wǎng)發(fā)展的熱點。移動IPv6是典型的分布式協(xié)議,在真實的網(wǎng)絡(luò)環(huán)境中對其協(xié)議實現(xiàn)進(jìn)行互操作性被動測試具有重要價值。本文基于移動IPv6協(xié)議,實現(xiàn)了移動IPv6協(xié)議互操作性被動測試系統(tǒng)。該系統(tǒng)具有很強(qiáng)的擴(kuò)展性和通用性,針對不同的協(xié)議特點,添加不同的模塊,就能對其進(jìn)行測試。 本文最后,在Linux環(huán)境下,基于UMIP開源軟件搭建了移動IPv6的測試環(huán)境。對移動節(jié)點和家鄉(xiāng)代理進(jìn)行了互操作性被動測試。結(jié)果表明移動節(jié)點和家鄉(xiāng)代理能夠很好的互連互通,實現(xiàn)移動IPv6規(guī)范中的基本功能,同時也說明該測試系統(tǒng)和模型的可用性。
[Abstract]:Protocol is the cornerstone of network construction. With the popularity of the Internet, the protocol becomes more and more complex. The quality of protocol implementation directly determines the stability and reliability of the whole network. Most of the network protocols are described in natural language. Different understanding of the protocol specification or non-formal factors in the implementation process will lead to different protocol implementation, and with the increasing number of network devices, Interoperability between different protocol implementations is very important. Service network is the root of network maintenance cost. Some problems in the implementation of the protocol are relatively hidden, such as abnormal jump, error message, etc. It is difficult to find the problem by sending the excitation detection response, which is a simple test method. Only after some special configuration to carry on the long time on-line monitoring to the normal operation equipment can realize. Therefore, in order to detect the faults of the tested devices without interfering with the normal operation of the equipment in a more real network environment, this paper proposes an interoperability passive test method. The interoperability passive test model designed in this paper is suitable for many kinds of protocols. The model includes: 1) abstracting the system model, describing the communication relationship between protocol entities and port connection relation of the system under test (2) the distributed test structure of protocol interoperability passive testing. 3) the main implementation step of the test system is: (a) generating the compound global finite state machine (b) setting the observation point, collecting and processing data (c) for error diagnosis) according to the diagnosis result, generating the test report; 4) the architecture of the interoperability passive test system is designed. The architecture includes data acquisition and processing, formal description, error diagnosis and control management UI interface. With the development of mobile Internet and IPv6 technology, mobile IPv6 technology is becoming more and more mature. Mobile IPv6 is a typical distributed protocol. It is of great value to implement interoperability passive testing in real network environment. Based on the mobile IPv6 protocol, a mobile IPv6 protocol interoperability passive testing system is implemented in this paper. The system has strong extensibility and generality. According to the characteristics of different protocols, it can be tested by adding different modules. Finally, a mobile IPv6 test environment based on UMIP open source software is built under Linux environment. The interoperability between mobile nodes and home agents is tested passively. The results show that the mobile node and the home agent can interconnect well and realize the basic functions of the mobile IPv6 specification. At the same time, the usability of the test system and the model is also illustrated.
【學(xué)位授予單位】：北京郵電大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TP393.04

【參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 尹霞,施新剛;淺析移動IPv6協(xié)議及其測試技術(shù)[J];電信科學(xué);2004年10期

2 王之梁;吳建平;尹霞;;基于通信多端口有限狀態(tài)機(jī)的協(xié)議互操作性測試生成研究[J];計算機(jī)學(xué)報;2006年11期

3 吳崢濤,齊歡;基于面向?qū)ο蠹夹g(shù)的自動狀態(tài)機(jī)實現(xiàn)[J];計算機(jī)與現(xiàn)代化;2003年03期

4 杭成寶;樊月旺;李華;葉新銘;王佳;;計算機(jī)網(wǎng)絡(luò)協(xié)議測試技術(shù)分析[J];內(nèi)蒙古科技與經(jīng)濟(jì);2008年19期

5 趙保華,郭雄輝,錢蘭,屈玉貴;被動測試中觀察者放置問題[J];計算機(jī)研究與發(fā)展;2005年10期

6 趙保華;錢蘭;郭雄輝;;被動測試中網(wǎng)絡(luò)監(jiān)測問題[J];天津大學(xué)學(xué)報;2006年07期

7 趙保華;張煒;林華輝;李培龍;;一種通信有限狀態(tài)機(jī)的被動測試及其錯誤診斷[J];西安交通大學(xué)學(xué)報;2007年06期

8 丁雪蓮;;Mobile IPv6協(xié)議一致性測試研究[J];西安郵電學(xué)院學(xué)報;2011年05期

9 林�；�;面向?qū)ο蟮挠邢逘顟B(tài)機(jī)設(shè)計實例[J];現(xiàn)代計算機(jī)(專業(yè)版);2001年07期

10 張波,趙保華,屈玉貴,張英堂,劉桂英;被動測試和主動測試的研究[J];小型微型計算機(jī)系統(tǒng);2004年12期

相關(guān)博士學(xué)位論文 前1條

1 李華;基于屬性的網(wǎng)絡(luò)協(xié)議建模與互操作性測試方法研究[D];內(nèi)蒙古大學(xué);2010年

，

本文編號：2030457