本文關(guān)鍵詞：測(cè)試驅(qū)動(dòng)的OpenFlow協(xié)議建模　出處：《小型微型計(jì)算機(jī)系統(tǒng)》2016年05期 　論文類型：期刊論文

  更多相關(guān)文章： 軟件定義網(wǎng)絡(luò) OpenFlow 測(cè)試 建模

【摘要】：對(duì)OpenFlow協(xié)議的形式化建模進(jìn)行了研究,提出一種基于測(cè)試驅(qū)動(dòng)的形式化建模新方法,首先,該方法在OpenFlow協(xié)議形式化建模之初就考慮它的測(cè)試?yán)?然后對(duì)OpenFlow協(xié)議的通信過(guò)程進(jìn)行了分析,并將其劃分為三個(gè)階段,最終得出先分段,再分角色對(duì)OpenFlow協(xié)議進(jìn)行建模,并根據(jù)模型生成可執(zhí)行測(cè)試?yán)?用于測(cè)試支持OpenFlow協(xié)議的各種設(shè)備和控制器是否符合規(guī)范.對(duì)OpenFlow協(xié)議通信的第一個(gè)階段—Hello消息,采用提出的方法進(jìn)行了建模及測(cè)試?yán)蓪?shí)驗(yàn),實(shí)驗(yàn)結(jié)果表明,該方法有效簡(jiǎn)化了OpenFlow協(xié)議的形式化建模及測(cè)試?yán)蛇^(guò)程.
【作者單位】： 內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院;內(nèi)蒙古大學(xué)網(wǎng)絡(luò)信息中心;
【基金】：國(guó)家自然基金項(xiàng)目(61163011,61262082)資助 內(nèi)蒙古自然科學(xué)基金項(xiàng)目(2012MS0922)資助
【分類號(hào)】：TP393.04
【正文快照】： 1引言SDN(Softw are Defined Netw ork)是由美國(guó)斯坦福大學(xué)clean slate研究組提出的一種新型網(wǎng)絡(luò)創(chuàng)新架構(gòu),其核心技術(shù)是Open Flow[1],工作原理是將原來(lái)由路由器/交換機(jī)控制的轉(zhuǎn)發(fā)過(guò)程轉(zhuǎn)化為由Open Flow控制器和交換機(jī)獨(dú)立完成的過(guò)程,實(shí)現(xiàn)控制層和數(shù)據(jù)轉(zhuǎn)發(fā)層的分離.在傳統(tǒng)的協(xié)

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 左青云;陳鳴;趙廣松;邢長(zhǎng)友;張國(guó)敏;蔣培成;;基于OpenFlow的SDN技術(shù)研究[J];軟件學(xué)報(bào);2013年05期

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前2條

1 賀楠;基于CPN的OpenFlow建模及交互屬性測(cè)試[D];內(nèi)蒙古大學(xué);2013年

2 岳婧媛;基于屬性的微內(nèi)核系統(tǒng)調(diào)用CPN建模和測(cè)試[D];內(nèi)蒙古大學(xué);2012年

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 陳興凱;盧昱;陳立云;;基于虛擬化和SDN的裝備保障信息網(wǎng)絡(luò)構(gòu)建方案研究[J];裝備學(xué)院學(xué)報(bào);2016年03期

2 肖軍弼;隋萌萌;李們;;基于SDN的網(wǎng)絡(luò)帶寬保障系統(tǒng)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2016年06期

3 王春枝;羅晨;陳宏偉;;軟件定義網(wǎng)絡(luò)中一種按需路徑分配的定量評(píng)估模型[J];軟件導(dǎo)刊;2016年06期

4 楊艷梅;毛德梅;;OpenFlow在移動(dòng)自組網(wǎng)絡(luò)中的應(yīng)用研究[J];信息技術(shù);2016年05期

5 董宏成;鄭飛毅;;基于OpenFlow的數(shù)據(jù)中心網(wǎng)絡(luò)負(fù)載均衡算法[J];電子技術(shù)應(yīng)用;2016年05期

6 熊鋼;胡宇翔;段通;蘭巨龍;;一種軟件定義網(wǎng)絡(luò)的安全服務(wù)鏈動(dòng)態(tài)組合機(jī)制[J];電子與信息學(xué)報(bào);2016年05期

7 熊余;董先存;李圓圓;呂翊;王汝言;;軟件定義光網(wǎng)絡(luò)中基于最小點(diǎn)覆蓋的控制平面跨層生存性設(shè)計(jì)[J];電子與信息學(xué)報(bào);2016年05期

8 權(quán)恒星;魏學(xué)才;王漫;;基于軟件定義網(wǎng)絡(luò)的分布式文件系統(tǒng)設(shè)計(jì)[J];計(jì)算機(jī)工程;2016年05期

9 曾帥;殷志堅(jiān);;OpenFlow交換機(jī)協(xié)議一致性測(cè)試集模型研究[J];電信網(wǎng)技術(shù);2016年05期

10 呂亮亮;阮宏瑋;董路路;李華;;測(cè)試驅(qū)動(dòng)的OpenFlow協(xié)議建模[J];小型微型計(jì)算機(jī)系統(tǒng);2016年05期

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前4條

1 呂亮亮;從OpenStack創(chuàng)建網(wǎng)絡(luò)需求到Floodlight構(gòu)網(wǎng)的實(shí)現(xiàn)及測(cè)試[D];內(nèi)蒙古大學(xué);2015年

2 張素梅;基于CPN 的on-the-fly測(cè)試方法研究[D];內(nèi)蒙古大學(xué);2015年

3 董路路;OpenFlow協(xié)議可擴(kuò)展性建模方法研究及測(cè)試?yán)蒣D];內(nèi)蒙古大學(xué);2014年

4 賀楠;基于CPN的OpenFlow建模及交互屬性測(cè)試[D];內(nèi)蒙古大學(xué);2013年

【二級(jí)參考文獻(xiàn)】

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前5條

1 岳婧媛;基于屬性的微內(nèi)核系統(tǒng)調(diào)用CPN建模和測(cè)試[D];內(nèi)蒙古大學(xué);2012年

2 郭亞杰;協(xié)議可擴(kuò)展屬性測(cè)試方法的研究與實(shí)現(xiàn)[D];內(nèi)蒙古大學(xué);2012年

3 彭永光;基于屬性的Minix3操作系統(tǒng)的分析與測(cè)試生成[D];內(nèi)蒙古大學(xué);2010年

4 王寬卿;微內(nèi)核進(jìn)程間通信的研究[D];浙江大學(xué);2010年

5 牛晗暉;Linux系統(tǒng)調(diào)用及其安全測(cè)試自動(dòng)化的研究[D];北京交通大學(xué);2009年

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 蔡進(jìn)科;顧華璽;盧冀;余曉杉;;基于Openflow網(wǎng)絡(luò)的高可靠性虛擬網(wǎng)絡(luò)映射算法[J];電子與信息學(xué)報(bào);2014年02期

2 孫英英;李戰(zhàn)懷;李寧;石琳;;基于OpenFlow的虛擬網(wǎng)絡(luò)架構(gòu)的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)與現(xiàn)代化;2014年01期

3 王智輝;;OpenFlow創(chuàng)造網(wǎng)絡(luò)新格局[J];信息系統(tǒng)工程;2013年02期

4 王明昊;;淺談SDN—軟件定義網(wǎng)絡(luò)與OpenFlow技術(shù)[J];數(shù)字技術(shù)與應(yīng)用;2013年03期

5 蔣培成;陳鳴;李兵;;OpenFlow軟交換機(jī)的性能測(cè)量[J];重慶郵電大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年01期

6 周昭;林昭文;;基于OpenFlow的數(shù)據(jù)流管控系統(tǒng)的研究與實(shí)現(xiàn)[J];軟件;2013年12期

7 何\，

本文編號(hào)：1318085