【摘要】：協(xié)議是設(shè)備在互相通信時(shí)雙方都必須遵守的準(zhǔn)則,設(shè)備中的協(xié)議實(shí)現(xiàn)都是由協(xié)議開發(fā)人員根據(jù)標(biāo)準(zhǔn)的協(xié)議規(guī)范文本進(jìn)行開發(fā)實(shí)現(xiàn)的,不同的人員或者廠商的實(shí)現(xiàn)方式可能不同,協(xié)議一致性測試就是用于保證協(xié)議實(shí)現(xiàn)與協(xié)議規(guī)范之間沒有偏差,且為進(jìn)一步保證設(shè)備之間的正常通信打下了基礎(chǔ)。協(xié)議一致性測試中很關(guān)鍵的一部分就是如何生成滿足要求的測試序列,本文從形式化方法出發(fā),對目前常用的一些測試序列生成算法進(jìn)行了分析研究,詳細(xì)介紹了它們的求解方法,并基于UIO序列(Unique Input/Output Sequences),提出了一種改進(jìn)的測試序列生成方法,它具有較好的錯誤檢測性能,且能夠靈活的根據(jù)不同的測試需求進(jìn)行調(diào)整,最終生成的測試序列長度也較短。不僅如此,本文還對此方法進(jìn)行了實(shí)現(xiàn)工作,完成了一個較為通用的測試序列自動生成工具,用于簡化一致性測試中人工的步驟,提高了測試效率。 低功耗有損網(wǎng)絡(luò)(Low-Power and Lossy Networks, LLN)不同于傳統(tǒng)的IP網(wǎng)絡(luò),其中的節(jié)點(diǎn)往往只具有有限的計(jì)算和處理能力以及能量供應(yīng),現(xiàn)有的一些協(xié)議并不能滿足這種條件下的路由需求,因此IETF(Internet Engineering Task Force)的ROLL工作組推出了一種新的針對低功耗有損網(wǎng)絡(luò)的路由協(xié)議即RPL(IPv6Routing Protocol for Low-Power and Lossy Networks)。本文對RPL協(xié)議進(jìn)行了分析和研究,提出了基于有限狀態(tài)機(jī)的RPL協(xié)議數(shù)學(xué)表示模型,并利用改進(jìn)的測試序列生成算法對此模型進(jìn)行了求解,得到了RPL協(xié)議一致性測試序列。在此基礎(chǔ)上,實(shí)現(xiàn)了一套協(xié)議一致性測試系統(tǒng),并利用此系統(tǒng)完成了對一種RPL協(xié)議實(shí)現(xiàn)設(shè)備的一致性測試。 本文的工作為協(xié)議一致性測試中的測試序列生成提供了一種新的方法,實(shí)現(xiàn)的測試序列自動生成工具和一致性測試系統(tǒng)減少了協(xié)議測試中的人力勞動,實(shí)現(xiàn)了測試自動化,此外,本文對RPL協(xié)議的抽象建模和一致性測試研究也為后續(xù)協(xié)議實(shí)現(xiàn)設(shè)備的質(zhì)量檢測提供了保障。
[Abstract]:Protocol is the standard that both parties must abide by when communicating with each other. The protocol realization in the device is developed by the protocol developer according to the standard protocol specification text. Protocol conformance testing is used to ensure that there is no deviation between protocol implementation and protocol specification, and lay the foundation for further ensuring the normal communication between devices. The key part of protocol conformance testing is how to generate test sequences that meet the requirements. In this paper, some commonly used test sequence generation algorithms are analyzed and studied based on formal methods. Their solution methods are introduced in detail, and based on UIO sequence (Unique Input/Output Sequences), an improved test sequence generation method is proposed. It has good error detection performance and can be adjusted flexibly according to different test requirements. The resulting test sequence is also shorter in length. Not only that, this paper also implements this method, and completes a general automatic test sequence generation tool, which is used to simplify the manual steps in conformance testing and improve the test efficiency. Low-power lossy networks (Low-Power and Lossy Networks, LLN) are different from traditional IP networks, where nodes often have only limited computing and processing power and energy supply. Some existing protocols can not meet the routing requirements under this condition. So IETF (Internet Engineering Task Force) 's ROLL working Group has proposed a new routing protocol for low-power lossy networks, RPL (IPv6Routing Protocol for Low-Power and Lossy Networks).) In this paper, the RPL protocol is analyzed and studied, and a mathematical representation model of RPL protocol based on finite state machine is proposed. The model is solved by using the improved test sequence generation algorithm, and the conformance test sequence of RPL protocol is obtained. On this basis, a protocol conformance testing system is implemented, and a RPL protocol is used to implement the conformance test of the device. The work of this paper provides a new method for test sequence generation in protocol conformance testing. The automatic test sequence generation tool and conformance testing system can reduce the labor in protocol testing and realize test automation. In addition, the abstract modeling and conformance testing of RPL protocol in this paper also provide a guarantee for the implementation of equipment quality inspection in subsequent protocols.
【學(xué)位授予單位】：北京郵電大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TP393.04

【參考文獻(xiàn)】

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

1 孫濤;葉新銘;劉靖;楊蒙;;一種基于CPN的協(xié)議測試序列生成方法[J];解放軍理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年02期

2 龔正虎;利用CCS的協(xié)議描述與驗(yàn)證技術(shù)的研究[J];計(jì)算機(jī)研究與發(fā)展;1995年03期

3 喻星;尹霞;王之梁;陳東洛;;IPv6中RIPng協(xié)議的一致性測試研究與實(shí)踐[J];計(jì)算機(jī)工程;2006年20期

4 李正良,周顥,趙保華;IPv6中OSPF協(xié)議的一致性測試系統(tǒng)設(shè)計(jì)[J];計(jì)算機(jī)應(yīng)用;2005年04期

5 黎中文;張來順;何焱;;基于FSM的測試序列生成方法研究[J];計(jì)算機(jī)應(yīng)用研究;2011年09期

6 王小銀;;基于UIO序列的狀態(tài)機(jī)測試序列生成算法[J];昆明理工大學(xué)學(xué)報(bào)(理工版);2009年05期

7 朱琳;高德云;羅洪斌;;無線傳感器網(wǎng)絡(luò)的RPL路由協(xié)議研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2012年08期

，

本文編號：2399521