测试驱动的OpenFlow协议建模

发布时间：2017-12-22 02:26

  本文关键词：测试驱动的OpenFlow协议建模　出处：《小型微型计算机系统》2016年05期 　论文类型：期刊论文

  更多相关文章： 软件定义网络 OpenFlow 测试 建模

【摘要】：对OpenFlow协议的形式化建模进行了研究,提出一种基于测试驱动的形式化建模新方法,首先,该方法在OpenFlow协议形式化建模之初就考虑它的测试例生成,然后对OpenFlow协议的通信过程进行了分析,并将其划分为三个阶段,最终得出先分段,再分角色对OpenFlow协议进行建模,并根据模型生成可执行测试例,用于测试支持OpenFlow协议的各种设备和控制器是否符合规范.对OpenFlow协议通信的第一个阶段—Hello消息,采用提出的方法进行了建模及测试例生成实验,实验结果表明,该方法有效简化了OpenFlow协议的形式化建模及测试例生成过程.
【作者单位】： 内蒙古大学计算机学院;内蒙古大学网络信息中心;
【基金】：国家自然基金项目(61163011,61262082)资助 内蒙古自然科学基金项目(2012MS0922)资助
【分类号】：TP393.04
【正文快照】： 1引言SDN(Softw are Defined Netw ork)是由美国斯坦福大学clean slate研究组提出的一种新型网络创新架构,其核心技术是Open Flow[1],工作原理是将原来由路由器/交换机控制的转发过程转化为由Open Flow控制器和交换机独立完成的过程,实现控制层和数据转发层的分离.在传统的协

【参考文献】

中国期刊全文数据库 前1条

1 左青云;陈鸣;赵广松;邢长友;张国敏;蒋培成;;基于OpenFlow的SDN技术研究[J];软件学报;2013年05期

中国硕士学位论文全文数据库 前2条

1 贺楠;基于CPN的OpenFlow建模及交互属性测试[D];内蒙古大学;2013年

2 岳婧媛;基于属性的微内核系统调用CPN建模和测试[D];内蒙古大学;2012年

【共引文献】

中国期刊全文数据库 前10条

1 陈兴凯;卢昱;陈立云;;基于虚拟化和SDN的装备保障信息网络构建方案研究[J];装备学院学报;2016年03期

2 肖军弼;隋萌萌;李們;;基于SDN的网络带宽保障系统[J];计算机系统应用;2016年06期

3 王春枝;罗晨;陈宏伟;;软件定义网络中一种按需路径分配的定量评估模型[J];软件导刊;2016年06期

4 杨艳梅;毛德梅;;OpenFlow在移动自组网络中的应用研究[J];信息技术;2016年05期

5 董宏成;郑飞毅;;基于OpenFlow的数据中心网络负载均衡算法[J];电子技术应用;2016年05期

6 熊钢;胡宇翔;段通;兰巨龙;;一种软件定义网络的安全服务链动态组合机制[J];电子与信息学报;2016年05期

7 熊余;董先存;李圆圆;吕翊;王汝言;;软件定义光网络中基于最小点覆盖的控制平面跨层生存性设计[J];电子与信息学报;2016年05期

8 权恒星;魏学才;王漫;;基于软件定义网络的分布式文件系统设计[J];计算机工程;2016年05期

9 曾帅;殷志坚;;OpenFlow交换机协议一致性测试集模型研究[J];电信网技术;2016年05期

10 吕亮亮;阮宏玮;董路路;李华;;测试驱动的OpenFlow协议建模[J];小型微型计算机系统;2016年05期

中国硕士学位论文全文数据库 前4条

1 吕亮亮;从OpenStack创建网络需求到Floodlight构网的实现及测试[D];内蒙古大学;2015年

2 张素梅;基于CPN 的on-the-fly测试方法研究[D];内蒙古大学;2015年

3 董路路;OpenFlow协议可扩展性建模方法研究及测试例生成[D];内蒙古大学;2014年

4 贺楠;基于CPN的OpenFlow建模及交互属性测试[D];内蒙古大学;2013年

【二级参考文献】

中国硕士学位论文全文数据库 前5条

1 岳婧媛;基于属性的微内核系统调用CPN建模和测试[D];内蒙古大学;2012年

2 郭亚杰;协议可扩展属性测试方法的研究与实现[D];内蒙古大学;2012年

3 彭永光;基于属性的Minix3操作系统的分析与测试生成[D];内蒙古大学;2010年

4 王宽卿;微内核进程间通信的研究[D];浙江大学;2010年

5 牛晗晖;Linux系统调用及其安全测试自动化的研究[D];北京交通大学;2009年

【相似文献】

中国期刊全文数据库 前10条

1 蔡进科;顾华玺;卢冀;余晓杉;;基于Openflow网络的高可靠性虚拟网络映射算法[J];电子与信息学报;2014年02期

2 孙英英;李战怀;李宁;石琳;;基于OpenFlow的虚拟网络架构的设计与实现[J];计算机与现代化;2014年01期

3 王智辉;;OpenFlow创造网络新格局[J];信息系统工程;2013年02期

4 王明昊;;浅谈SDN—软件定义网络与OpenFlow技术[J];数字技术与应用;2013年03期

5 蒋培成;陈鸣;李兵;;OpenFlow软交换机的性能测量[J];重庆邮电大学学报(自然科学版);2013年01期

6 周昭;林昭文;;基于OpenFlow的数据流管控系统的研究与实现[J];软件;2013年12期

7 何\，

本文编号：1318085