您的位置： 专家智库 > >

董路路

作品数：6 被引量：1H指数：1
供职机构：内蒙古大学计算机学院更多>>
发文基金：内蒙古自治区自然科学基金国家自然科学基金教育部“春晖计划”更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 2篇学位论文
  • 1篇会议论文

领域

  • 6篇自动化与计算...
  • 1篇电子电信

主题

  • 4篇CPN
  • 2篇网络
  • 2篇可扩展
  • 2篇可扩展性
  • 2篇扩展性
  • 2篇PETRI网
  • 1篇形式化
  • 1篇形式化建模
  • 1篇数据处理
  • 1篇列生成
  • 1篇工作流
  • 1篇OPEN
  • 1篇WEB应用
  • 1篇测试序列生成

机构

  • 6篇内蒙古大学

作者

  • 6篇董路路
  • 4篇李华
  • 2篇吕亮亮
  • 1篇贺楠
  • 1篇阮宏玮
  • 1篇张素梅

传媒

  • 1篇内蒙古大学学...
  • 1篇小型微型计算...
  • 1篇计算机科学
  • 1篇第十四届全国...

年份

  • 1篇2016
  • 3篇2014
  • 2篇2013
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
基于层次CPN的OpenFlow建模研究
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出.OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器,本文首先介绍了OpenFlow协议及CPN(Colo...
李华贺楠董路路吕亮亮
关键词：形式化建模PETRI网数据处理
文献传递
OpenFlowf协议可扩展性建模方法研究及测试例生成
随着互联网地快速发展，当前的互联网体系结构不能满足多层面的业务需求，出现了改革派和改良派两大派别。改革派的观点是重新设计互联网体系结构，OpenFlow是改革派提出的新型网络交换模型。OpenFlow协议可扩展性是Ope...
董路路
关键词：可扩展性
文献传递
Web应用工作流的CPN建模及测试序列生成
2013年
为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减少测试序列的冗余度.为了展示该方法的有效性,以物流管理系统中的下订单业务为例,使用CPN对工作流建模,并对CPN模型进行正确性验证,之后采用扩展-深度优先遍历算法得到下订单业务的测试序列集,进而证实了扩展-深度优先遍历算法可以减少测试序列的冗余.
董路路李华张素梅
关键词：PETRI网CPN
测试驱动的OpenFlow协议建模
2016年
对OpenFlow协议的形式化建模进行了研究,提出一种基于测试驱动的形式化建模新方法,首先,该方法在OpenFlow协议形式化建模之初就考虑它的测试例生成,然后对OpenFlow协议的通信过程进行了分析,并将其划分为三个阶段,最终得出先分段,再分角色对OpenFlow协议进行建模,并根据模型生成可执行测试例,用于测试支持OpenFlow协议的各种设备和控制器是否符合规范.对OpenFlow协议通信的第一个阶段—Hello消息,采用提出的方法进行了建模及测试例生成实验,实验结果表明,该方法有效简化了OpenFlow协议的形式化建模及测试例生成过程.
吕亮亮阮宏玮董路路李华
基于层次CPN的OpenFlow建模研究
2014年
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对OpenFlow网络进行了建模,对每一层的模型都做了详细的说明,充分体现OpenFlow的工作机制。在建模的过程中,详细地考虑了模型中token的选取和变量的定义,使得CPN模型的执行可以描述OpenFlow的动态工作过程。通过CPN工具生成的状态空间对模型的性质进行了简单的分析,证明了它的活性、有界性。最后给出了下一步的研究工作。
李华贺楠董路路吕亮亮
关键词：CPN
OpenFlow协议可扩展性建模方法研究及测试例生成
随着互联网地快速发展,当前的互联网体系结构不能满足多层面的业务需求,出现了改革派和改良派两大派别。改革派的观点是重新设计互联网体系结构,OpenFlow是改革派提出的新型网络交换模型。OpenFlow协议可扩展性是Ope...
董路路
关键词：CPN可扩展性
文献传递
全选 清除 导出
共1页<1>
聚类工具0