董路路

作品数：3被引量：0H指数：0
导出分析报告
供职机构：内蒙古大学计算机学院更多>>
发文主题：CPN可扩展性网络PETRI网OPEN更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《小型微型计算机系统》《内蒙古大学学报（自然科学版）》《计算机科学》更多>>
所获基金：内蒙古自治区自然科学基金国家自然科学基金教育部“春晖计划”更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
测试驱动的OpenFlow协议建模
《小型微型计算机系统》2016年第5期966-971,共6页吕亮亮 阮宏玮 董路路 李华 
国家自然基金项目(61163011;61262082)资助;内蒙古自然科学基金项目(2012MS0922)资助
对OpenFlow协议的形式化建模进行了研究,提出一种基于测试驱动的形式化建模新方法,首先,该方法在OpenFlow协议形式化建模之初就考虑它的测试例生成,然后对OpenFlow协议的通信过程进行了分析,并将其划分为三个阶段,最终得出先分段,再分...
关键词：软件定义网络 OpenFlow 测试 建模 
基于层次CPN的OpenFlow建模研究
《计算机科学》2014年第7期114-118,共5页李华 贺楠 董路路 吕亮亮 
国家自然基金项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011);内蒙古自然基金项目:面向网络关键软件的可信属性的形式化建模及测试方法研究(2011MS0912)资助
CPN作为一种形式化方法,得到了广泛的研究与应用,其在网络协议上和工业系统中的应用尤为突出。OpenFlow是一种新的网络交换模型,包含OpenFlow交换机和控制器。文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets),然后基于层次CPN对O...
关键词：CPN 建模 OpenFlow 
Web应用工作流的CPN建模及测试序列生成
《内蒙古大学学报（自然科学版）》2013年第5期545-551,共7页董路路 李华 张素梅 
国家自然科学基金项目(61163011);教育部春晖项目(Z2007-1-01032);内蒙古自然科学基金项目(2011MS0912)
为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减...
关键词：PETRI网 CPN 建模 合理性 测试序列 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部