基于时间着色Petri网的OpenFlow协议建模研究

发布时间：2017-10-29 03:24

  本文关键词：基于时间着色Petri网的OpenFlow协议建模研究

  更多相关文章： 时间着色Petri网 OpenFlow协议 建模 验证 测试

【摘要】：介绍了Hierarchy CPN的相关定义,然后对OpenFlow协议进行了基于时间着色CPN建模.在建模过程中,详细考虑了Token Colour的选取与相关变量的定义,并考虑了时间属性,针对建模的性能进行了分析.执行上述模型并进行验证分析,得出变迁发生次数与所需时间基本符合稳态分布这一事实,满足预期的要求.对所构建模型进行自定义查询分析,依据模型活性、死锁、可达性等特性构建相应的抽象路径,用于指导抽象测试例的生成.
【作者单位】： 内蒙古大学计算机学院;内蒙古财经大学网络中心;内蒙古大学网络中心;
【关键词】： 时间着色Petri网 OpenFlow协议 建模 验证 测试
【基金】：赛尔网络下一代互联网技术创新项目(NG112015112)
【分类号】：TP393.0;TP301.1
【正文快照】： 形式化建模方法因为严密的数学理论支撑与成熟的分析方法,在系统设计、分析与验证、测试理论及软件开发等中扮演着重要的角色.根据说明目标软件系统的方式,形式化方法分为面向模型与面向属性的方法.不同的形式化方法,如有限状态机FSM(finite state machine)[1]、带标记转换系

【相似文献】

中国期刊全文数据库 前10条

1 蔡进科;顾华玺;卢冀;余晓杉;;基于Openflow网络的高可靠性虚拟网络映射算法[J];电子与信息学报;2014年02期

2 孙英英;李战怀;李宁;石琳;;基于OpenFlow的虚拟网络架构的设计与实现[J];计算机与现代化;2014年01期

3 王智辉;;OpenFlow创造网络新格局[J];信息系统工程;2013年02期

4 王明昊;;浅谈SDN—软件定义网络与OpenFlow技术[J];数字技术与应用;2013年03期

5 蒋培成;陈鸣;李兵;;OpenFlow软交换机的性能测量[J];重庆邮电大学学报(自然科学版);2013年01期

6 周昭;林昭文;;基于OpenFlow的数据流管控系统的研究与实现[J];软件;2013年12期

7 何\，

本文编号：1111207