-
题名有限状态机模型测试序列生成算法研究
被引量：6
- 1
-
-
作者
李元平
李华
赵俊岚
-
机构
内蒙古大学计算机学院
内蒙古财经大学网络中心
内蒙古大学网络中心
-
出处
《计算机科学》
CSCD
北大核心
2016年第S2期474-481,共8页
-
基金
国家自然基金项目资助项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011)
赛尔网络下一代互联网技术创新项目:SDN环境下IPv6网络测试研究(CERNET IPv6 Innovation Project)(NGII20150112)资助
-
文摘
在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法。同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法;结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性。建立了相应的测试方法工具集,实现了上述算法,验证了其可行性。最后给出了下一步的工作。
-
关键词
DFSM
NFSM
约束集
适应性测试
-
Keywords
DFSM
NFSM
Constraint set
Adapt test
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名OpenFlow协议IPv6属性测试研究
被引量：2
- 2
-
-
作者
李元平
李华
赵俊岚
阮宏玮
-
机构
内蒙古大学计算机学院
内蒙古财经大学网络中心
内蒙古大学网络中心
-
出处
《计算机工程与科学》
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
[电子电信—通信与信息系统]
-
