OpenFlow协议可扩展性建模方法研究及测试例生成

【摘要】随着互联网地快速发展,当前的互联网体系结构不能满足多层面的业务需求,出现了改革派和改良派两大派别。改革派的观点是重新设计互联网体系结构,OpenFlow是改革派提出的新型网络交换模型。OpenFlow协议可扩展性是OpenFlow网络可扩展性的基础,其正确性是OpenFlow网络得以发展的前提。因此本文以OpenFlow协议可扩展性为研究对象,以OpenFlowversion1.0为基础,以最新的OpenFlowversion1.4.0为扩展协议,对基础协议的模型进行修改得到扩展后协议的模型(称为“扩展模型”),将由扩展模型得到的测试例集和由基础模型得到的测试例集进行比较,得到扩展后协议的测试例集。本文的研究工作主要包括：(1)总结了OpenFlow协议的消息类型、消息格式及进化历程,深入分析了OpenFlow的交互过程,将其交互分成三个相互独立又依次执行的阶段。(2)提出了先分段,再分角色的层次CPN建模方法,介绍了如何将符号执行的优势运用到CPN建模中。基于CPNTools生成的状态空间实现了测试序列的自动生成算法,以及测试序列向测试例的自动转换算法。最后,对OpenFlow协议的基础协议(OpenFlowversion1.0)进行建模实现及测试例生成,验证了所提方法的有效性。(3)根据值扩展、字段扩展和数据包扩展的特点,提出了基于Openflow基础模型的模型修改方法,根据修改后的模型得到扩展后协议的测试例集。
【作者】董路路；
【导师】李华；
【作者基本信息】内蒙古大学，计算机科学与技术，2014，硕士
【关键词】OpenFlow；CPN；建模；可扩展性；测试例生成；

【参考文献】
[1]亓潇.基于K均值聚类的自动文摘系统研究[D].吉林大学,软件工程,2012,硕士.
[2]杜苗林.薄膜流涎成形边料在线回收系统设计研究[D].南京理工大学,机械制造及其自动化,2013,硕士.
[3]王正,刘志峰,白连社,黄海鸿,罗健.导流罩对冰箱冷凝风机噪声的影响[J].机械工程学报.
[4]李峰.高活性面暴露的TiO_2制备及光/电化学性能研究[D].中国科学技术大学,材料物理与化学,2014,博士.
[5]蔡玉喜.有机配体调控Ni-B非晶态合金制备、晶化与电化学性能研究[D].河北科技大学,2013.
[6]杨雅秀.在线评论对创新扩散影响的实证研究[D].浙江大学,2012.
[7]潘蓉.应用EPP模型估计与预测上海市虹口区艾滋病疫情[D].复旦大学,公共卫生,2012,硕士.
[8]单单.双向轴流泵水力模型的设计与特性分析[D].华中科技大学,流体机械及工程,2013,硕士.
[9]乔佳亮.基于模糊聚类的射线图像分割与特征提取技术[D].中北大学,信号与信息处理,2014,硕士.
[10]刘炳伟.锅炉钢材腐蚀破坏及机理研究[D].郑州大学,材料工程（专业学位）,2013,硕士.
[11]陈恒.小灵通长春地区销售渠道研究[D].吉林大学,工商管理,2004,硕士.
[12]张屹然.基于促销行为的两阶段供应链牛鞭效应研究[D].北京工商大学,管理科学与工程,2013,硕士.
[13]朱宝金.面向云计算系统的日志过滤系统的设计与实现[D].杭州电子科技大学,计算机技术,2014,硕士.
[14]史福霞.PP辐射接枝功能化制备离子交换纤维及对锆、铪和铼离子吸附研究[D].上海大学,应用化学,2013,硕士.
[15]肖菲,罗艳玲.浅析知识管理发展的两个阶段[J].江西图书馆学刊,2002,01:5-8.
[16]贾燕冰,严正,孙勇,罗凯明,王亮.互联电网共享运行备用可靠性评估[J].电力系统自动化,2009,16:13-18.
[17]张潜,高立群,胡祥培,吴畏.物流配送路径多目标优化的聚类-改进遗传算法[J].控制与决策,2003,04:418-422.
[18]呼思乐太.游牧民与五畜交流信号探析[D].内蒙古师范大学,民俗学,2013,硕士.
[19]潘代远.鄂尔多斯沙地草地实验站生态制图系统的建立及应用[J].植物生态学报,1994,01:80-85.
[20]陈会.小学生数学问题解决能力现状的研究[D].东北师范大学,教育,2012,硕士.
[21]狄天秀.论汉英口译中语序的处理[D].苏州大学,翻译（专业学位）,2014,硕士.
[22]吴柳清.刑事瑕疵物证、书证问题研究[D].太原科技大学,诉讼法学,2014,硕士.
[23]王旭.辽宁兴城深部探测实验基地科学钻探技术研究[D].吉林大学,地质工程,2014,硕士.
[24]牛心蕙.新型环己二烯与六取代苯衍生物结构、性能理论研究[D].天津大学,制药工程,2013,硕士.
[25]王思洁.基于精益六西格玛理论的医院诊疗卡项目的质量管理[D].山西医科大学,社会医学与卫生事业管理,2013,硕士.
[26]董祥柏.葡萄糖氧化酶基因和草酸氧化酶基因在甘蓝型油菜中的表达研究[D].中国农业科学院,作物遗传育种,2004,硕士.
[27]韩尚云.重型数控机床可靠性技术研究[D].河南科技大学,机械制造及其自动化,2014,硕士.
[28]杨栋栋.Ti/APC-2纤维金属层板的制备与力学性能研究[D].南京航空航天大学,材料学,2013,硕士.
[29]李勇文.OAI集成信息检索系统研究与设计[D].四川大学,2004.
[30]杨烨.幼儿园网站在家园共育中应用的研究[D].湖南师范大学,学前教育学,2014,硕士.
[31]孟会红.卒中后睡眠障碍与认知障碍[D].河北医科大学,神经病学（专业学位）,2014,硕士.
[32]王征,曹田泉.模糊数学在中国书画评估体系下的应用与研究[J].艺术百家,2014,03:221-223.
[33]陈强.基于用户认知的企业品牌识别与产品识别的一致性研究[D].浙江工业大学,2013.
[34]杨琴洁.公共治理视角下县域女性社会组织建设研究[D].华东理工大学,公共管理（专业学位）,2014,硕士.
[35]李岩,吴智铭.基于GA和SA的制造单元成组方法[J].控制与决策,2000,06:654-657.
[36]毛青青.不同启动子RNA干扰载体构建及验证[D].南京农业大学,动物遗传育种与繁殖,2011,硕士.
[37]李如江.砖混结构楼房爆破拆除主要影响因素的研究[D].华北工学院,武器系统与运用工程,2004,硕士.
[38]潘鹤飞.连续鞅的一致可积性[D].河北工业大学,应用数学,2004,硕士.
[39]杨瑞玲.学校食品安全的法律规制[D].北京外国语大学,国际法,2014,硕士.
[40]李森.传感器网络中面向精确与隐私保护的数据融合算法研究[D].南京邮电大学,信息安全,2013,硕士.
[41]王宪明.基于粒子群算法PID控制在变风量空调系统中应用[D].沈阳建筑大学,控制工程,2011,硕士.
[42]杨萍.掺杂Li_4Ti_5O_(12)锂离子电池负极材料的制备与电化学性能研究[D].湘潭大学,2014.
[43]陈超.miRNA-205在脑源性神经营养因子影响猪卵母细胞成熟过程中的表达研究[D].吉林大学,动物遗传育种与繁殖,2014,硕士.
[44]左公宁.海洋电火花震源的电极结构[J].石油地球物理勘探,1981,04:56-62.
[45]何军.新型功能分子器件中的电子输运机理与计算设计[D].湖南大学,2012.
[46]宋秀范.留守儿童学校教育管理的调查研究[D].黑龙江大学,教育管理,2013,硕士.
[47]记者吴长锋通讯员杨保国.我科学家成功制备二维黑磷场效应晶体管[N].科技日报,2014-03-13001.
[48]夏辉.惠州市耕地保护的问题与对策研究[D].中南民族大学,公共管理,2013,硕士.
[49]陈宝珍.消化性溃疡中医证候与相关因素的研究[D].福建中医药大学,中医内科学（专业学位）,2014,硕士.
[50]冯玉玲,汪剑波,李霜.固体物理课程建设的探索和实践[J].长春理工大学学报,2012,11:222-223.