【摘要】 鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv6网络长期共存或平滑过渡到IPv6网络是工业界与学术界要解决的问题。SDN则提供了这样一个选项,其中OpenFlow协议是否支持IPv6协议便成为我们关注的重点。通过形式化方法对OpenFlow协议进行形式化建模,得到其非确定性有限状态机模型,在此基础上得到其测试生成树,以指导测试。同时,对于其是否支持IPv6进行重点关注,利用组合测试的方法,产生了167条测试例。完成了测试引擎的开发,支持高效的测试生成算法,以及测试执行与判定。利用此测试引擎,以上述测试例为测试输入,执行测试过程,同时进一步对测试结果进行分析,得到了定量的分析结果,符合预期要求。更多还原

【Abstract】 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.更多还原