您的位置： 专家智库 > >

华为科技基金项目(YJCB2006044TS)

作品数：8 被引量：12H指数：2
相关作者：赵保华周颢胡甜潘全科林华辉更多>>
相关机构：中国科学技术大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划华为科技基金项目更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

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

领域

  • 7篇自动化与计算...
  • 3篇电子电信

主题

  • 2篇网络
  • 2篇TCL
  • 1篇代理
  • 1篇形式化
  • 1篇形式化验证
  • 1篇生命期
  • 1篇网络安全
  • 1篇无线
  • 1篇无线ADHO...
  • 1篇系统设计
  • 1篇负载平衡
  • 1篇被动测试
  • 1篇TCL语言
  • 1篇DHCP协议
  • 1篇串空间

机构

  • 9篇中国科学技术...

作者

  • 9篇赵保华
  • 7篇周颢
  • 2篇林华辉
  • 2篇潘全科
  • 2篇陈伟琳
  • 2篇胡甜
  • 1篇方毅
  • 1篇姜振海
  • 1篇高存皓
  • 1篇张炜
  • 1篇陈波
  • 1篇章志燮
  • 1篇李培龙
  • 1篇陆超

传媒

  • 3篇中国科学技术...
  • 2篇西安交通大学...
  • 1篇通信学报
  • 1篇电子技术应用
  • 1篇北京邮电大学...

年份

  • 1篇2009
  • 3篇2008
  • 5篇2007
共 8 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
基于局部错误诊断的动态协议一致性测试方法
2007年
为提高测试结果的可靠性和错误覆盖率,在动态协议一致性测试过程中引入局部错误诊断机制,提出了一种新的动态测试方法,并在确定有限状态机模型下分析其原理及正确性.新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选,有效避免了对局部错误位置的错误判断.同时,提出了一种基于错误子列的局部错误诊断方式,突破了单一错误假设的局限,更具实用价值.实验结果表明,该测试方法可以有效地避免由于局部错误而造成的测试结果可靠性的降低,具有更好的错误覆盖率.
林华辉周颢潘全科赵保华
一种基于测试序列失败树的动态测试方法被引量：2
2007年
针对传统的测试方法按照静态的顺序执行预先生成的固定测试集,而实际测试范围可能被缩小,同时测试结果受到测试序列间、测试序列内的影响等问题,提出了一种构造测试序列失败树(TSFT)并用其指导动态测试的方法.该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响,通过TSFT指导测试序列的动态执行,同时还考虑了引导序列和验证序列对测试结果的影响,在避开TSFT的前提下,可在引导序列和验证序列集合中进行搜索和替换,动态地生成新的有效测试序列.实验结果表明,所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响,较明显地提高了实际的测试效率和测试覆盖率.
赵保华高存皓姜振海周颢潘全科
无线Adhoc网络中的负载平衡广播路由算法被引量：5
2008年
在无线Ad hoc网络中,由于节点的能量有限,如果过分消耗一部分节点的能量使这些节点退出,这样将会影响整个网络的连通性,因而能量的负载平衡成为了一个核心问题,针对该问题提出了一个时间复杂度是O(n2)的贪心算法--WMST(weighted minimum spanning tree),该改进算法综合考虑了节点初始能量和通信的能量消耗等因素,随后又提出了一个改进算法,最后通过模拟实验将这2个算法与BIP算法进行了比较,实验表明该算法有效的改善了网络的负载平衡以及网络的生命期,最后,还指出了进一步的研究方向。
胡甜周颢赵保华
关键词：无线ADHOC网络负载平衡生命期
分布式网络攻击测试系统中的代理选择算法
2008年
对网络设备的网络攻击测试有助于确定设备的稳定性和安全性,从而降低网络运行风险.首先改进了分布式网络攻击测试系统,该系统由一个主控结点和多个代理结点组成,能适应多种网络拓扑结构,能对Internet网络中的目标设备进行各种常规的网络攻击和分布式攻击测试,并支持新攻击套件开发.然后讨论了该系统在线模式下特有的代理选择问题,提出了一种合理的代理选择算法,有利于保证结点通信,分散测试流量.
陈伟琳周颢赵保华
基于TCL的DHCP协议冒烟测试
2008年
介绍了基于TCL的协议冒烟测试系统,对DHCP协议进行形式化分析,生成EFSM图,采用UIO方法生成一致性测试序列,并在该系统上针对提供DHCP服务的各网络设备进行了DHCP协议的冒烟测试,在实际应用中取得了较好的测试效率,缩短了产品研发周期,降低了风险,提高了产品的可靠性。
方毅赵保华
一种通信有限状态机的被动测试及其错误诊断被引量：2
2007年
针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题,提出了一种被动测试错误检测方法.该方法在外部通道放置观察者,并使用了全局状态描述系统的当前可能状态,利用了观察到的输入输出信息,同时结合了模型转换推测出系统的状态变迁.基于该检测方法又设计出一种层次化的错误诊断算法,首先记录被动检测过程中系统经历的转换轨迹,用变异分析方法生成候选诊断,然后通过被动观察来降低错误集合的规模,最后使用区分序列和交叉判定进行错误定位.通过一个实际的H.245通信协议的实验表明,所提算法能够在有限观察步骤内检测出被测系统中的错误,并能有效定位检测错误,其回溯算法也可以显著缩短错误症状序列的长度.
赵保华张炜林华辉李培龙
关键词：被动测试
基于TCL的PIM-SM协议一致性测试系统设计被引量：1
2009年
针对PIM-SM组播协议,提出了一种协议一致性测试系统的设计方法.其核心思想是通过创建虚拟测试体,用简单的PC机模拟复杂的网络环境和协议行为,并针对协议测试过程中同时要求报文高效处理和网络场景频繁修改的问题,进行了系统层次的划分,实现了模拟配置灵活性和运行效率的统一,具有良好的扩展性.基于该方法实现的系统,成功地对多个不同的PIM-SM组播协议实现进行了一致性测试.
章志燮周颢胡甜赵保华
关键词：TCL语言
面向测试的协议攻击描述模型
本文提出了一个面向测试的协议攻击描述模型,以及相应的协议攻击测试算法。该模型能完整清晰的描述测试中所需要的协议攻击信息,且具有良好的可扩展性。我们在实际工作中利用该模型对多种协议攻击进行了描述,同时应用相关算法进行网络设...
陈伟琳周颢赵保华
关键词：网络安全
文献传递
基于串空间的Kao Chow加密协议形式化验证被引量：2
2007年
Kao Chow加密协议是由Kao和Chow提出的,他们利用BAN逻辑证明了该协议的认证性,但没有证明该协议的保密性,而且没有说明协议参与实体间得到的新会话密钥是否一致.事实上,由于BAN逻辑自身的缺陷,它无法用于证明加密协议的保密性.基于此,给出了Kao Chow加密协议的串空间模型,这个模型不仅验证了该协议的认证性,还验证了它的保密性及新会话密钥的一致性.
陆超周颢陈波赵保华
关键词：串空间
全选 清除 导出
共1页<1>
聚类工具0