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

【摘要】：協(xié)議是構(gòu)建網(wǎng)絡(luò)的基石,隨著互聯(lián)網(wǎng)的普及,協(xié)議越來(lái)越龐大復(fù)雜,協(xié)議實(shí)現(xiàn)的質(zhì)量直接決定了整個(gè)網(wǎng)絡(luò)的穩(wěn)定性和可靠性。網(wǎng)絡(luò)協(xié)議大多是以自然語(yǔ)言描述的,對(duì)協(xié)議規(guī)范的不同理解或?qū)崿F(xiàn)過(guò)程中的非形式化因素等都會(huì)導(dǎo)致產(chǎn)生不同的協(xié)議實(shí)現(xiàn),并且隨著網(wǎng)絡(luò)設(shè)備的與日俱增,不同的協(xié)議實(shí)現(xiàn)之間的互操作能力非常重要。不同的協(xié)議實(shí)現(xiàn)能否共同協(xié)作,服務(wù)網(wǎng)絡(luò)是網(wǎng)絡(luò)維護(hù)成本的根源。協(xié)議實(shí)現(xiàn)中的一些問(wèn)題比較隱蔽,例如異常跳轉(zhuǎn)、錯(cuò)誤消息等,通過(guò)發(fā)送激勵(lì)檢測(cè)響應(yīng)這種簡(jiǎn)單的測(cè)試方式很難發(fā)現(xiàn)問(wèn)題,只有經(jīng)過(guò)一些特殊配置后對(duì)正常運(yùn)行設(shè)備進(jìn)行長(zhǎng)時(shí)間在線監(jiān)測(cè)才能實(shí)現(xiàn)。因此,為了在更加真實(shí)的網(wǎng)絡(luò)環(huán)境中,不干擾設(shè)備的正常運(yùn)行,檢測(cè)被測(cè)實(shí)現(xiàn)的故障,本文提出了互操作性被動(dòng)測(cè)試方法。 本文設(shè)計(jì)的互操作性被動(dòng)測(cè)試模型適合多種特點(diǎn)的協(xié)議。該模型包括：1)抽象被測(cè)系統(tǒng)模型,描述被測(cè)系統(tǒng)的協(xié)議實(shí)體間的通信關(guān)系和端口連接關(guān)系；2)協(xié)議互操作性被動(dòng)測(cè)試的分布式測(cè)試結(jié)構(gòu)；3)測(cè)試系統(tǒng)的主要實(shí)現(xiàn)步驟：a)生成復(fù)合全局有限狀態(tài)機(jī),b)設(shè)置觀察點(diǎn),采集處理數(shù)據(jù),c)進(jìn)行錯(cuò)誤診斷,d)根據(jù)診斷結(jié)果,生成測(cè)試報(bào)告；4)設(shè)計(jì)了互操作性被動(dòng)測(cè)試測(cè)試系統(tǒng)的架構(gòu),該架構(gòu)主要包含數(shù)據(jù)采集與處理、形式化描述、錯(cuò)誤診斷和控制管理UI界面。 隨著移動(dòng)互聯(lián)網(wǎng)和IPv6技術(shù)的發(fā)展,移動(dòng)IPv6技術(shù)日益成熟,成為當(dāng)前互聯(lián)網(wǎng)發(fā)展的熱點(diǎn)。移動(dòng)IPv6是典型的分布式協(xié)議,在真實(shí)的網(wǎng)絡(luò)環(huán)境中對(duì)其協(xié)議實(shí)現(xiàn)進(jìn)行互操作性被動(dòng)測(cè)試具有重要價(jià)值。本文基于移動(dòng)IPv6協(xié)議,實(shí)現(xiàn)了移動(dòng)IPv6協(xié)議互操作性被動(dòng)測(cè)試系統(tǒng)。該系統(tǒng)具有很強(qiáng)的擴(kuò)展性和通用性,針對(duì)不同的協(xié)議特點(diǎn),添加不同的模塊,就能對(duì)其進(jìn)行測(cè)試。 本文最后,在Linux環(huán)境下,基于UMIP開源軟件搭建了移動(dòng)IPv6的測(cè)試環(huán)境。對(duì)移動(dòng)節(jié)點(diǎn)和家鄉(xiāng)代理進(jìn)行了互操作性被動(dòng)測(cè)試。結(jié)果表明移動(dòng)節(jié)點(diǎn)和家鄉(xiāng)代理能夠很好的互連互通,實(shí)現(xiàn)移動(dòng)IPv6規(guī)范中的基本功能,同時(shí)也說(shuō)明該測(cè)試系統(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é)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP393.04

【參考文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：2030457