-
题名OpenFlow协议IPv6属性测试研究
被引量：2
- 1
-
-
作者
李元平
李华
赵俊岚
阮宏玮
-
机构
内蒙古大学计算机学院
内蒙古财经大学网络中心
内蒙古大学网络中心
-
出处
《计算机工程与科学》
CSCD
北大核心
2018年第10期1757-1765,共9页
-
基金
国家自然科学基金(61862047)
内蒙古自治区科技计划项目(2018MS0612)
赛尔网络下一代互联网技术创新项目(NGII20150112)
-
文摘
鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv6网络长期共存或平滑过渡到IPv6网络是工业界与学术界要解决的问题。SDN则提供了这样一个选项,其中OpenFlow协议是否支持IPv6协议便成为我们关注的重点。通过形式化方法对OpenFlow协议进行形式化建模,得到其非确定性有限状态机模型,在此基础上得到其测试生成树,以指导测试。同时,对于其是否支持IPv6进行重点关注,利用组合测试的方法,产生了167条测试例。完成了测试引擎的开发,支持高效的测试生成算法,以及测试执行与判定。利用此测试引擎,以上述测试例为测试输入,执行测试过程,同时进一步对测试结果进行分析,得到了定量的分析结果,符合预期要求。
-
关键词
nfsm
IPV6
OpenFlow
测试引擎
-
Keywords
nondeterministic finite state machine(nfsm)
IPv6
OpenFlow
test engine
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
