基于OpenFlow的SDN协议一致性测试研究与设计

发布时间：2018-04-09 13:37

本文选题：软件定义网络　切入点：OpenFlow　出处：《北京邮电大学》2017年硕士论文

【摘要】：软件定义网络的出现为传统网络架构带来了颠覆性的改变,它将数据平面与控制平面解耦,使得网络管理者能够使用软件来决定网络中流的处理方式。OpenFlow协议作为SDN架构中控制器与交换机通信的接口,不同厂商生产的设备只需要符合其相关规范就能成功实现互联互通,打破了传统上的网络壁垒,然而由于协议描述的二义性以及不同厂家的理解不同,所以在OpenFlow协议的实现上面难免会出现偏差,这给不同厂家的控制器与交换机之间的互联带来了不确定性,所以为了更好的实现通信,对于OpenFlow一致性测试也是迫在眉睫。同时,在协议测试过程中,对于有效测试序列的产生也是一个研究热点。针对以上问题,本文首先深入分析了 SDN网络架构特点和OpenFlow协议特性,结合一致性测试理论,以扩展有限状态机为出发点,针对OpenFlow数据流处理特点,以模块化和分层为指导,对OpenFlow协议进行EFSM模型建立,该模型能够清晰阐述OpenFlow协议数据流处理过程。接下来,就EFSM模型测试用例生成的问题,在基于全变迁覆盖准则条件下,针对EFSM模型可行变迁路径进行了研究。首先,对EFSM模型生成的状态图进行遍历生成状态迁移序列,然后根据路径构造评估函数,该评估函数结合了 EFSM模型中的守卫变量可能导致路径不可行的条件,针对每一条路径对其可行性进行判定,然后从生成的迁移序列中通过遗传算法得到可行性迁移序列。从而提高测试用例生成效率,同时有效避免无效迁移序列。最后,在OpenFlow协议生成的模型中,应用该判定算法对迁移序列进行判定和生成。本文研究针对OpenFlow协议的一致性测试建模与有效测试序列生成问题进行相应的研究,为OpenFlow协议测试进一步研究提供了一定的参考。
[Abstract]:The emergence of software-defined networks has brought about a disruptive change in the traditional network architecture, which decouples the data plane from the control plane.OpenFlow protocol can be used as the interface between controller and switch in SDN architecture.Breaking down the traditional network barrier, however, because of the ambiguity of protocol description and the different understanding of different manufacturers, it is inevitable that there will be deviation in the implementation of OpenFlow protocol.This brings uncertainty to the interconnection between controllers and switches of different manufacturers, so in order to achieve better communication, OpenFlow conformance testing is urgent.At the same time, in the process of protocol testing, the generation of effective test sequences is also a research hotspot.The EFSM model of OpenFlow protocol is established and the process of data flow processing of OpenFlow protocol can be clearly described by this model.Then, on the basis of full transition coverage criterion, the feasible transition path of EFSM model is studied for the generation of test cases in EFSM model.Firstly, the state diagram generated by the EFSM model is traversed to generate the state migration sequence, and then the evaluation function is constructed according to the path. The evaluation function combines the guard variables in the EFSM model with the conditions that the path is not feasible.The feasibility of each path is determined, and then the feasible migration sequence is obtained by genetic algorithm from the generated migration sequence.In order to improve the efficiency of test case generation, and effectively avoid invalid migration sequence.Finally, in the model of OpenFlow protocol generation, the decision algorithm is used to judge and generate the migration sequence.In this paper, the conformance test modeling and efficient test sequence generation of OpenFlow protocol are studied, which provides a reference for further research on OpenFlow protocol test.
【学位授予单位】：北京邮电大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：TP393.0

【相似文献】