文献类型：期刊文章

作　　者：李元平[1,2] 李华[1,3] 赵俊岚[2] 阮宏玮[1]

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

出　　处：《计算机工程与科学》

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

年　　份：2018

卷　　号：40

期　　号：10

起止页码：1757-1765

语　　种：中文

收录情况：BDHX、BDHX2017、CSCD、CSCD_E2017_2018、INSPEC、JST、ZGKJHX、核心刊

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

关 键 词：NFSM  IPV6 OpenFlow  测试引擎

分 类 号：TN915.04]