您的位置： 专家智库 > >

内蒙古自治区高等学校科学研究项目(NJ09012)

作品数：6 被引量：2H指数：1
相关作者：李华岳婧媛郭亚杰刘龙叶新铭更多>>
相关机构：内蒙古大学更多>>
发文基金：内蒙古自治区高等学校科学研究项目内蒙古自治区自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 6篇期刊文章
  • 1篇会议论文

领域

  • 7篇自动化与计算...

主题

  • 1篇单模式
  • 1篇单模式匹配
  • 1篇单模式匹配算...
  • 1篇形式化
  • 1篇形式化建模
  • 1篇移动IPV6
  • 1篇移动IPV6...
  • 1篇正交
  • 1篇正交实验
  • 1篇冗余
  • 1篇入侵
  • 1篇入侵检测
  • 1篇数据挖掘
  • 1篇网络
  • 1篇网络管理
  • 1篇文本
  • 1篇无监督学习
  • 1篇路由
  • 1篇路由协议
  • 1篇模式匹配算法

机构

  • 7篇内蒙古大学

作者

  • 6篇李华
  • 2篇叶新铭
  • 2篇刘龙
  • 2篇郭亚杰
  • 2篇岳婧媛
  • 1篇吕东旭
  • 1篇庞滨
  • 1篇洪有芬
  • 1篇吴承勇
  • 1篇王佳
  • 1篇贺楠
  • 1篇王燕
  • 1篇刘静

传媒

  • 4篇内蒙古大学学...
  • 1篇小型微型计算...
  • 1篇计算机科学

年份

  • 1篇2012
  • 4篇2011
  • 1篇2010
  • 1篇2009
共 6 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
BT协议的形式化建模与测试生成
2011年
B itTorrent(BT)是基于Peer-to-Peer(P2P)技术的比较流行文件共享软件,BT protoco l是其相关软件实现的一个基本协议.本文对BT协议进行深入的分析,采用有限状态机(FSM,F inite S tate M achine)对BT协议进行形式化建模,描述了正常的共享流程及部分异常处理.然后使用U IO方法生成了BT协议基于FSM模型的一致性测试序列,包括各个状态的U IO序列及各个变迁的测试序列,最后是本文的结论及下一步将要做的研究工作.
李华叶新铭吴承勇王佳吕东旭
关键词：BITTORRENT协议FSM
基于属性的协议互操作性测试的TTCN-3实现
2011年
目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.
洪有芬刘龙李华
关键词：互操作测试路由协议TTCN-3
基于文本频率冗余的单模式匹配算法的研究被引量：1
2010年
针对入侵检测系统中经典的BM、KMP等单模式匹配算法进行了分析,根据入侵检测数据的特点和匹配算法的基本原理,提出了文本频率冗余度的概念,设计实现了评估文本频率冗余度的算法.实验测试了其对于单模式匹配算法效率的影响,结果显示基于文本频率冗余智能地选择匹配算法,对于提高入侵检测系统的实时性能有实际的应用价值.
王燕李华常军
关键词：入侵检测单模式匹配
基于正交实验的Web表单关联项测试被引量：1
2011年
随着Web应用越来越庞大,Web应用的表单项之间的关系越来越复杂,这给Web测试带来了一定的难度.单纯的将Web表单项作为一个因素进行正交实验会得到一些不合理的测试例,因此将相互关联的表单项作为一个关联组,将关联组作为一个单独的因素进行正交实验,再将关联组内的表单项做全实验后嵌入到正交实验测试例中,得到最终的测试例.相对于简单的使用正交实验得到的测试例,该方法得到的测试例更加合理有效.
郭亚杰李华岳婧媛
关键词：正交实验WEB测试
基于属性的Minix3系统调用的建模和测试
2011年
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
岳婧媛李华郭亚杰贺楠庞滨
移动IPv6协议中移动节点的可执行测试序列生成方法研究
2009年
移动IPv6可以为主机移动提供便利,使得它可以以一个永久的IPv6地址连接到任何链路上。对于它的测试研究可以保证协议的实现与说明的一致性。在移动IPv6中共有移动节点、家乡代理以及对端节点3个角色。分析了移动节点的控制流模型以及它的基于控制流的测试序列,基于该序列重构并形成了扩展有限状态机,其中考虑加入数据流,构建了可执行的测试序列,然后基于可执行测试序列提取了测试例,此方法可以减缓甚至避免爆炸问题。通过测试实践展示了本方法的有效性,最后给出了结论。
李华叶新铭刘静刘龙
关键词：移动IPV6
网络管理中基于无监督学习的流量识别研究
现今网络管理对各种应用的网络流量的管理要求越来越精确,而传统的网络管理软件及网络工具仅通过SNMP协议获得对OSI模型第三、四层网络性能的监测和网络流量的检查,获得的信息资料简单而笼统。因此,为了适应现代网络发展的需要,...
庞滨李华
关键词：OSIP2P数据挖掘无监督学习SNMP
文献传递
全选 清除 导出
共1页<1>
聚类工具0