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

发布时间：2018-06-07 12:04

本文选题：OpenFlow + CPN　；参考：《内蒙古大学》2014年硕士论文

【摘要】：随着互联网地快速发展,当前的互联网体系结构不能满足多层面的业务需求,出现了改革派和改良派两大派别。改革派的观点是重新设计互联网体系结构,OpenFlow是改革派提出的新型网络交换模型。OpenFlow协议可扩展性是OpenFlow网络可扩展性的基础,其正确性是OpenFlow网络得以发展的前提。因此本文以OpenFlow协议可扩展性为研究对象,以OpenFlow version1.0为基础,以最新的OpenFlow version1.4.0为扩展协议,对基础协议的模型进行修改得到扩展后协议的模型(称为“扩展模型”),将由扩展模型得到的测试例集和由基础模型得到的测试例集进行比较,得到扩展后协议的测试例集。本文的研究工作主要包括： (1)总结了OpenFlow协议的消息类型、消息格式及进化历程,深入分析了OpenFlow的交互过程,将其交互分成三个相互独立又依次执行的阶段。 (2)提出了先分段,再分角色的层次CPN建模方法,介绍了如何将符号执行的优势运用到CPN建模中。基于CPN Tools生成的状态空间实现了测试序列的自动生成算法,以及测试序列向测试例的自动转换算法。最后,对OpenFlow协议的基础协议(OpenFlow version1.0)进行建模实现及测试例生成,验证了所提方法的有效性。 (3)根据值扩展、字段扩展和数据包扩展的特点,提出了基于Openflow基础模型的模型修改方法,根据修改后的模型得到扩展后协议的测试例集。
[Abstract]:With the rapid development of the Internet, the current Internet architecture can not meet the multi-level business needs, there are two major factions: reformist and reformist. Redesigning Internet Architecture OpenFlow is a new network switching model proposed by reformers. OpenFlow protocol scalability is the basis of OpenFlow network scalability and its correctness is the premise of the development of OpenFlow network. Therefore, this paper takes the extensibility of OpenFlow protocol as the research object, takes OpenFlow version1.0 as the foundation, and takes the newest OpenFlow version1.4.0 as the extension protocol. The model of extended protocol (called "extended model") is obtained by modifying the model of the base protocol. The set of test cases obtained from the extended model is compared with the set of test cases obtained from the base model, and the set of test cases of the extended protocol is obtained by comparing the set of test cases obtained from the extended model and the set of test cases obtained from the base model. The research work of this paper mainly includes: 1) the message type, message format and evolution of OpenFlow protocol are summarized, and the interactive process of OpenFlow is deeply analyzed. The interaction is divided into three independent and sequential stages. This paper puts forward a hierarchical CPN modeling method, which is divided into sections and then roles, and introduces how to apply the advantages of symbol execution to CPN modeling. The state space generated by CPN Tools realizes the automatic generation algorithm of test sequence and the automatic conversion algorithm from test sequence to test case. Finally, the modeling implementation and test case generation of the basic protocol of OpenFlow (OpenFlow version 1.0) are carried out to verify the effectiveness of the proposed method. 3) according to the characteristics of value extension, field expansion and data packet expansion, a model modification method based on Openflow basic model is proposed. According to the modified model, the set of extended protocol test cases is obtained.
【学位授予单位】：内蒙古大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.04

【参考文献】