OpenFlow協(xié)議可擴(kuò)展性建模方法研究及測(cè)試?yán)?/H1>
發(fā)布時(shí)間：2018-06-07 12:04
本文選題：OpenFlow + CPN��； 參考：《內(nèi)蒙古大學(xué)》2014年碩士論文
【摘要】：隨著互聯(lián)網(wǎng)地快速發(fā)展,當(dāng)前的互聯(lián)網(wǎng)體系結(jié)構(gòu)不能滿足多層面的業(yè)務(wù)需求,出現(xiàn)了改革派和改良派兩大派別。改革派的觀點(diǎn)是重新設(shè)計(jì)互聯(lián)網(wǎng)體系結(jié)構(gòu),OpenFlow是改革派提出的新型網(wǎng)絡(luò)交換模型。OpenFlow協(xié)議可擴(kuò)展性是OpenFlow網(wǎng)絡(luò)可擴(kuò)展性的基礎(chǔ),其正確性是OpenFlow網(wǎng)絡(luò)得以發(fā)展的前提。因此本文以O(shè)penFlow協(xié)議可擴(kuò)展性為研究對(duì)象,以O(shè)penFlow version1.0為基礎(chǔ),以最新的OpenFlow version1.4.0為擴(kuò)展協(xié)議,對(duì)基礎(chǔ)協(xié)議的模型進(jìn)行修改得到擴(kuò)展后協(xié)議的模型(稱為“擴(kuò)展模型”),將由擴(kuò)展模型得到的測(cè)試?yán)陀苫A(chǔ)模型得到的測(cè)試?yán)M(jìn)行比較,得到擴(kuò)展后協(xié)議的測(cè)試?yán)１疚牡难芯抗ぷ髦饕ǎ?(1)總結(jié)了OpenFlow協(xié)議的消息類型、消息格式及進(jìn)化歷程,深入分析了OpenFlow的交互過程,將其交互分成三個(gè)相互獨(dú)立又依次執(zhí)行的階段。 (2)提出了先分段,再分角色的層次CPN建模方法,介紹了如何將符號(hào)執(zhí)行的優(yōu)勢(shì)運(yùn)用到CPN建模中。基于CPN Tools生成的狀態(tài)空間實(shí)現(xiàn)了測(cè)試序列的自動(dòng)生成算法,以及測(cè)試序列向測(cè)試?yán)淖詣?dòng)轉(zhuǎn)換算法。最后,對(duì)OpenFlow協(xié)議的基礎(chǔ)協(xié)議(OpenFlow version1.0)進(jìn)行建模實(shí)現(xiàn)及測(cè)試?yán)?驗(yàn)證了所提方法的有效性。 (3)根據(jù)值擴(kuò)展、字段擴(kuò)展和數(shù)據(jù)包擴(kuò)展的特點(diǎn),提出了基于Openflow基礎(chǔ)模型的模型修改方法,根據(jù)修改后的模型得到擴(kuò)展后協(xié)議的測(cè)試?yán)?br/>[Abstract]:With the rapid development of the Internet, the current Internet architecture can not meet the multi-level business needs, there are two major factions: reformist and reformist. Redesigning Internet Architecture OpenFlow is a new network switching model proposed by reformers. OpenFlow protocol scalability is the basis of OpenFlow network scalability and its correctness is the premise of the development of OpenFlow network. Therefore, this paper takes the extensibility of OpenFlow protocol as the research object, takes OpenFlow version1.0 as the foundation, and takes the newest OpenFlow version1.4.0 as the extension protocol. The model of extended protocol (called "extended model") is obtained by modifying the model of the base protocol. The set of test cases obtained from the extended model is compared with the set of test cases obtained from the base model, and the set of test cases of the extended protocol is obtained by comparing the set of test cases obtained from the extended model and the set of test cases obtained from the base model. The research work of this paper mainly includes: 1) the message type, message format and evolution of OpenFlow protocol are summarized, and the interactive process of OpenFlow is deeply analyzed. The interaction is divided into three independent and sequential stages. This paper puts forward a hierarchical CPN modeling method, which is divided into sections and then roles, and introduces how to apply the advantages of symbol execution to CPN modeling. The state space generated by CPN Tools realizes the automatic generation algorithm of test sequence and the automatic conversion algorithm from test sequence to test case. Finally, the modeling implementation and test case generation of the basic protocol of OpenFlow (OpenFlow version 1.0) are carried out to verify the effectiveness of the proposed method. 3) according to the characteristics of value extension, field expansion and data packet expansion, a model modification method based on Openflow basic model is proposed. According to the modified model, the set of extended protocol test cases is obtained.
【學(xué)位授予單位】：內(nèi)蒙古大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：TP393.04
【參考文獻(xiàn)】
相關(guān)期刊論文 前7條
1 翁子盛;王寶生;林錦濱;;程序符號(hào)執(zhí)行中的數(shù)組分析[J];長(zhǎng)江大學(xué)學(xué)報(bào)(自然科學(xué)版)理工卷;2010年01期
2 田文進(jìn);;寸草心VS父母的老黃歷[J];大學(xué)生;2012年06期
3 崔歡歡;陳利;匡哈雷;朱變;;基于AR規(guī)則的全路徑測(cè)試數(shù)據(jù)自動(dòng)生成方法[J];計(jì)算機(jī)應(yīng)用研究;2010年11期
4 侯長(zhǎng)逸;;OpenFlow網(wǎng)絡(luò)軟件路由研究[J];蘭州大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年02期
5 趙慧娟;孫文輝;;基于符號(hào)執(zhí)行的單元測(cè)試研究與應(yīng)用[J];計(jì)算機(jī)應(yīng)用與軟件;2012年06期
6 崔寶江;國(guó)鵬飛;王建新;;基于符號(hào)執(zhí)行與實(shí)際執(zhí)行的二進(jìn)制代碼執(zhí)行路徑分析[J];清華大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年S2期
7 左青云;陳鳴;趙廣松;邢長(zhǎng)友;張國(guó)敏;蔣培成;;基于OpenFlow的SDN技術(shù)研究[J];軟件學(xué)報(bào);2013年05期
，
本文編號(hào)：1991109
本文鏈接：http://sikaile.net/guanlilunwen/ydhl/1991109.html
本文選題：OpenFlow + CPN��； 參考：《內(nèi)蒙古大學(xué)》2014年碩士論文
【摘要】：隨著互聯(lián)網(wǎng)地快速發(fā)展,當(dāng)前的互聯(lián)網(wǎng)體系結(jié)構(gòu)不能滿足多層面的業(yè)務(wù)需求,出現(xiàn)了改革派和改良派兩大派別。改革派的觀點(diǎn)是重新設(shè)計(jì)互聯(lián)網(wǎng)體系結(jié)構(gòu),OpenFlow是改革派提出的新型網(wǎng)絡(luò)交換模型。OpenFlow協(xié)議可擴(kuò)展性是OpenFlow網(wǎng)絡(luò)可擴(kuò)展性的基礎(chǔ),其正確性是OpenFlow網(wǎng)絡(luò)得以發(fā)展的前提。因此本文以O(shè)penFlow協(xié)議可擴(kuò)展性為研究對(duì)象,以O(shè)penFlow version1.0為基礎(chǔ),以最新的OpenFlow version1.4.0為擴(kuò)展協(xié)議,對(duì)基礎(chǔ)協(xié)議的模型進(jìn)行修改得到擴(kuò)展后協(xié)議的模型(稱為“擴(kuò)展模型”),將由擴(kuò)展模型得到的測(cè)試?yán)陀苫A(chǔ)模型得到的測(cè)試?yán)M(jìn)行比較,得到擴(kuò)展后協(xié)議的測(cè)試?yán)１疚牡难芯抗ぷ髦饕ǎ?(1)總結(jié)了OpenFlow協(xié)議的消息類型、消息格式及進(jìn)化歷程,深入分析了OpenFlow的交互過程,將其交互分成三個(gè)相互獨(dú)立又依次執(zhí)行的階段。 (2)提出了先分段,再分角色的層次CPN建模方法,介紹了如何將符號(hào)執(zhí)行的優(yōu)勢(shì)運(yùn)用到CPN建模中。基于CPN Tools生成的狀態(tài)空間實(shí)現(xiàn)了測(cè)試序列的自動(dòng)生成算法,以及測(cè)試序列向測(cè)試?yán)淖詣?dòng)轉(zhuǎn)換算法。最后,對(duì)OpenFlow協(xié)議的基礎(chǔ)協(xié)議(OpenFlow version1.0)進(jìn)行建模實(shí)現(xiàn)及測(cè)試?yán)?驗(yàn)證了所提方法的有效性。 (3)根據(jù)值擴(kuò)展、字段擴(kuò)展和數(shù)據(jù)包擴(kuò)展的特點(diǎn),提出了基于Openflow基礎(chǔ)模型的模型修改方法,根據(jù)修改后的模型得到擴(kuò)展后協(xié)議的測(cè)試?yán)?br/>[Abstract]:With the rapid development of the Internet, the current Internet architecture can not meet the multi-level business needs, there are two major factions: reformist and reformist. Redesigning Internet Architecture OpenFlow is a new network switching model proposed by reformers. OpenFlow protocol scalability is the basis of OpenFlow network scalability and its correctness is the premise of the development of OpenFlow network. Therefore, this paper takes the extensibility of OpenFlow protocol as the research object, takes OpenFlow version1.0 as the foundation, and takes the newest OpenFlow version1.4.0 as the extension protocol. The model of extended protocol (called "extended model") is obtained by modifying the model of the base protocol. The set of test cases obtained from the extended model is compared with the set of test cases obtained from the base model, and the set of test cases of the extended protocol is obtained by comparing the set of test cases obtained from the extended model and the set of test cases obtained from the base model. The research work of this paper mainly includes: 1) the message type, message format and evolution of OpenFlow protocol are summarized, and the interactive process of OpenFlow is deeply analyzed. The interaction is divided into three independent and sequential stages. This paper puts forward a hierarchical CPN modeling method, which is divided into sections and then roles, and introduces how to apply the advantages of symbol execution to CPN modeling. The state space generated by CPN Tools realizes the automatic generation algorithm of test sequence and the automatic conversion algorithm from test sequence to test case. Finally, the modeling implementation and test case generation of the basic protocol of OpenFlow (OpenFlow version 1.0) are carried out to verify the effectiveness of the proposed method. 3) according to the characteristics of value extension, field expansion and data packet expansion, a model modification method based on Openflow basic model is proposed. According to the modified model, the set of extended protocol test cases is obtained.
【學(xué)位授予單位】：內(nèi)蒙古大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：TP393.04
【參考文獻(xiàn)】
相關(guān)期刊論文 前7條
1 翁子盛;王寶生;林錦濱;;程序符號(hào)執(zhí)行中的數(shù)組分析[J];長(zhǎng)江大學(xué)學(xué)報(bào)(自然科學(xué)版)理工卷;2010年01期
2 田文進(jìn);;寸草心VS父母的老黃歷[J];大學(xué)生;2012年06期
3 崔歡歡;陳利;匡哈雷;朱變;;基于AR規(guī)則的全路徑測(cè)試數(shù)據(jù)自動(dòng)生成方法[J];計(jì)算機(jī)應(yīng)用研究;2010年11期
4 侯長(zhǎng)逸;;OpenFlow網(wǎng)絡(luò)軟件路由研究[J];蘭州大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年02期
5 趙慧娟;孫文輝;;基于符號(hào)執(zhí)行的單元測(cè)試研究與應(yīng)用[J];計(jì)算機(jī)應(yīng)用與軟件;2012年06期
6 崔寶江;國(guó)鵬飛;王建新;;基于符號(hào)執(zhí)行與實(shí)際執(zhí)行的二進(jìn)制代碼執(zhí)行路徑分析[J];清華大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年S2期
7 左青云;陳鳴;趙廣松;邢長(zhǎng)友;張國(guó)敏;蔣培成;;基于OpenFlow的SDN技術(shù)研究[J];軟件學(xué)報(bào);2013年05期
，本文編號(hào)：1991109
本文鏈接：http://sikaile.net/guanlilunwen/ydhl/1991109.html
最近更新
教材專著
