CPN

作品数：356被引量：730H指数：11
导出分析报告
相关领域：自动化与计算机技术医药卫生更多>>
相关作者：叶新铭李华朱连章杨春辉冯涛更多>>
相关机构：内蒙古大学北京交通大学华南理工大学中国石油大学（华东）更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划内蒙古自治区自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 机构=内蒙古大学计算机学院x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SDN全局状态视图构建及应用被引量：1
《计算机应用研究》2020年第9期2835-2839,共5页李元平 李华 赵俊岚 
国家自然科学基金资助项目(61862047);内蒙古自治区科技计划资助项目(201802028);赛尔网络下一代互联网技术创新项目(NGII20150112)。
随着云计算、大数据以及物联网的兴起,网络流量以爆炸性的速度增长,与此同时网络带宽的增长速度却无法与之相应匹配。在可预见的将来,日益增长的网络流量与缓慢增长的网络带宽之间的矛盾将长期存在。如何改变当前粗放式的网络管理手段,...
关键词：网络模型 状态视图栈 CPN Open Flow 
CPN建模与on-the-fly方法相结合的测试用例生成被引量：1
《软件学报》2017年第10期2564-2582,共19页张玉荣 李华 邢熠 王显荣 阮宏玮 张素梅 
国家自然科学基金(61163011;61262082);内蒙古自治区自然科学基金(2015MS0612);内蒙古自治区高校科学技术研究项目(NJZY010);赛尔创新项目(NGⅡ20150112)~~
在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴...
关键词：on-the-fly测试 CPN层次模型 扩展可达图 同步乘积 测试例 
基于Token选取的OpenStack单一平面网络建模方法
《计算机科学》2016年第11期66-70,106,共6页李华 邢熠 张玉荣 
国家自然科学基金项目(61163011;61262082)资助
CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,token的选取采用穷举法,由此造成生成的token数量较多、CPN模型生成的状态空间相当庞大甚至...
关键词：CPN 符号执行 token选择 OPENSTACK 单一平面网络 
基于CPN对系统的并发行为进行测试被引量：1
《计算机科学》2016年第1期218-225,共8页李华 孙涛 王显荣 邢熠 李颖杰 夏兴行 
国家自然科学基金项目(61562064;61163011;61262082);内蒙古自然科学基金项目(2012MS0922)资助
首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在保证并发覆盖的前提下,将测试序列的生成划分为3个阶段,重点讨论了覆盖并发行为的测试序列生成方法。对...
关键词：并发行为 CPN 测试序列生成 TTCN-3 
面向CPN属性的测试序列的自动生成方法
《科技资讯》2015年第14期26-27,共2页白红英 叶新铭 王慧 
CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算...
关键词：CPN属性 测试序列 自动生成 
一种改进的基于CPN的密码协议攻击者模型
《内蒙古农业大学学报（自然科学版）》2014年第5期130-136,共7页白云莉 叶新铭 
内蒙古自然科学基金项目(2012MS0914)
从目前的研究成果来看,基于CPN(Colored Petri Nets,着色Petri网)的密码协议形式化建模及其分析方法主要采用传统的Dolev-Yao攻击者模型。针对该攻击者模型在验证协议中存在的不足,提出一种改进的基于CPN的攻击者模型,利用该模型对具体...
关键词：CPN 密码协议 攻击者模型 NS协议 
基于层次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 
BitTorrent协议中激励机制的设计与分析被引量：1
《计算机科学与探索》2014年第3期275-287,共13页贾垒 刘靖 马燕林 叶新铭 
国家自然科学基金No.61262017;内蒙古自然科学基金重点项目No.20080404ZD20~~
激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能。原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,因此提出了一种新的激励策略,并给出了具体的实施算法。对应用这...
关键词：BITTORRENT 激励策略 着色Petri网(CPN) 模型模拟 
基于着色Petri网的IS-IS路由协议互操作性测试的研究被引量：1
《计算机工程与科学》2013年第12期90-95,共6页赵玉兰 冀超 蒋凤仙 朱洋洋 雷厉霆 张志斌 
国家自然科学基金资助项目(31360289;31160253)
网络已经成为我们生活当中不可或缺的一部分,高效稳定的路由协议变得日益重要。对主流内部网关协议IS-IS进行了互操作性测试的研究。首先对IS-IS协议建立了分层的互操作性测试的CPN模型;然后使用CPN Tools工具自动生成完全状态空间,根...
关键词：IS-IS协议 互操作性测试 着色PETRI网 CPN TOOLS GNS3模拟器 
Web应用工作流的CPN建模及测试序列生成
《内蒙古大学学报（自然科学版）》2013年第5期545-551,共7页董路路 李华 张素梅 
国家自然科学基金项目(61163011);教育部春晖项目(Z2007-1-01032);内蒙古自然科学基金项目(2011MS0912)
为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减...
关键词：PETRI网 CPN 建模 合理性 测试序列 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部