OpenFlow协议IPv6属性测试研究  

IPv6 property testing for OpenFlow protocol

作　　者：李元平[1,2] 李华[1,3] 赵俊岚[2] 阮宏玮 LI Yuan-ping;LI Hua;ZHAO Jun-lan;RUAN Hong-wei(College of Computer Science,Inner Mongolia University,Hohhot 010021;Center of Network and Information,Inner Mongolia University,Hohhot 010021;Center of Network and Information,Inner Mongolia University of Finance and Economics,Hohhot 010070,China)

机构地区：[1]内蒙古大学计算机学院,内蒙古呼和浩特010021 [2]内蒙古财经大学网络中心,内蒙古呼和浩特010070 [3]内蒙古大学网络中心,内蒙古呼和浩特010021

出　　处：《计算机工程与科学》2018年第10期1757-1765,共9页Computer Engineering & Science

基　　金：国家自然科学基金(61862047);内蒙古自治区科技计划项目(2018MS0612);赛尔网络下一代互联网技术创新项目(NGII20150112)

摘　　要：鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv6网络长期共存或平滑过渡到IPv6网络是工业界与学术界要解决的问题。SDN则提供了这样一个选项,其中OpenFlow协议是否支持IPv6协议便成为我们关注的重点。通过形式化方法对OpenFlow协议进行形式化建模,得到其非确定性有限状态机模型,在此基础上得到其测试生成树,以指导测试。同时,对于其是否支持IPv6进行重点关注,利用组合测试的方法,产生了167条测试例。完成了测试引擎的开发,支持高效的测试生成算法,以及测试执行与判定。利用此测试引擎,以上述测试例为测试输入,执行测试过程,同时进一步对测试结果进行分析,得到了定量的分析结果,符合预期要求。Since the data forwarding and control are separated in SDN networks,the OpenFlow protocol plays an important role in its southbound interface.With the development of the next generation Internet,available IPv4 address resources are almost used up,and the bottleneck of IPv4 networks is highlighted.How to deploy IPv6 networks quickly,making their contribution for social production and life,and realizing long-term coexistence of current networks and IPv6 networks or a smooth transition to IPv6 networks,becomes an urgent problem for the industry and academia.SDN networks provide such an option,so verifying whether the OpenFlow protocol supports IPv6 protocol has attracted our attention.We construct a formal model for the OpenFlow protocol,and build a nondeterministic finite state machine(NFSM).In order to guide the testing,we also achieve a test generation tree.We focus on identifying whether this protocol supports the IPv6 protocol,and generate 167 test cases by a combination test method.We also develop a test engine,which supports efficient test generation algorithms,test operation and identification.We test our test engine on the test cases,and analyze the test results.The quantitative analysis results meet the expected requirements.

关 键 词：NFSM IPV6 OpenFlow 测试引擎 

分 类 号：TN915.04[电子电信—通信与信息系统]