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

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

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

【參考文獻】

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

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

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

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

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

【共引文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 董路路;OpenFlow協(xié)議可擴展性建模方法研究及測試例生成[D];內(nèi)蒙古大學;2014年

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

【二級參考文獻】

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

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

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

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

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

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

【相似文獻】

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

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

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

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

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

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

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

7 何\，

本文編號：1318085