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

《openflowf协议可扩展性建模方法研究及测试例生成》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号UDCTP393论文题目10126—31109007密级编号专2014年5月2日原创性声明本人声明：所呈交的学位论文是本人在导师的指导下进行的研究工作及取得的研究成果。除本文已经注明引用的内容外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得内蒙直太堂及其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：篁堕堕日期：型铅篁。蜂指导教师签名：日期：在学期间研究成果使用承诺书本学位论文作者完全了解学校有关保留、

2、使用学位论文的规定，即：内蒙古大学有权将学位论文的全部内容或部分保留并向国家有关机构、部门送交学位论文的复印件和磁盘，允许编入有关数据库进行检索，也可以采用影印、缩印或其他复制手段保存、汇编学位论文。为保护学院和导师的知识产权，作者在学期间取得的研究成果(含计算机软件、程序)属于内蒙古大学计算机学院。作者今后使用涉及在学期间主要研究内容或研究成果，须征得内蒙古大学计算机学院就读期间导师的同意：若用于发表论文，版权单位必须署名为内蒙古大学计算机学院方可投稿或公开发表。学位论文作者签名：堑瞪睦指导教师签名：日期：

3、迎￡丝。笠：坐日期：内蒙古大学硕士学位论文OpenFlow协议可扩展性建模方法研究及测试例生成摘要随着互联网地快速发展，当前的互联网体系结构不能满足多层面的业务需求，出现了改革派和改良派两大派别。改革派的观点是重新设计互联网体系结构，OpenFlow是改革派提出的新型网络交换模型。OpenFlow协议可扩展性是OpenFlow网络可扩展性的基础，其正确性是OpenFlow网络得以发展的前提。因此本文以OpenFlow协议可扩展性为研究对象，以OpenFlowversionl．0为基础，以最新的OpenFlow

4、versionl．4．0为扩展协议，对基础协议的模型进行修改得到扩展后协议的模型(称为“扩展模型”)，将由扩展模型得到的测试例集和由基础模型得到的测试例集进行比较，得到扩展后协议的测试例集。本文的研究工作主要包括：(1)总结了OpenFlow协议的消息类型、消息格式及进化历程，深入分析了OpenFlow的交互过程，将其交互分成三个相互独立又依次执行的阶段。(2)提出了先分段，再分角色的层次CPN建模方法，介绍了如何将符号执行的优势运用到CPN建模中。基于CPNTools生成的状态空间实现了测试序列的自动生成算

5、法，以及测试序列向测试例的自动转换算法。最后，对OpenFlow协议的基础协议(OpenFlowversionl．O)进行建模实现及测试例生成，验证了所提方法的有效性。(3)根据值扩展、字段扩展和数据包扩展的特点，提出了基于Openflow基础模型的模型修改方法，根据修改后的模型得到扩展后协议的测试例集。关键词：OpenFlow，CPN，建模，可扩展性，测试例生成一一OpenFlow协议可扩展性建模方法研究及测试例生成——————————————————————————————————————————————

6、———————————————————一=一．一一二——RESEARCHoNTHEEXTENSIONPRoPERTYMODELLINGOFOPENFLOWPROTOCOLANDITSTESTCASESGENERATIoNABSTRACTWiththerapiddevelopmentofIntemet，thecurrentInternetarchitecturedidnotmeetthegrowingdifferentrequirementsofbusiness，twodifferentapproaches，r

7、eformersandreformists．wereproposedtosolvesuchproblems．ReformersputforwardtodesignamorereasonablearchitectureofInternet．OpenFlowisanewnetworkswitchmodelthatwasproposedbvreformers．TheextensionpropertyofOpenFlowprotocolisthebasisofextensionpropertvofOpenFlowne

8、twork．ThepremiseofOpenFlownetwork’SdevelopingistoensurethecorrectnessofOpenFlowprotoc01．Therefore，theresearchontheextensionpropertvofOpenFlowprotocolhasbeenstudiedinthisthesis，OpenFlowversion1，0istheba