国家教育部博士点基金(2000035802)
- 作品数：20 被引量：76H指数：6
- 相关作者：赵保华屈玉贵顾翔郭雄辉李越鹏更多>>
- 相关机构：中国科学技术大学更多>>
- 发文基金：国家教育部博士点基金国家高技术研究发展计划中国科学院院长基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于Tcl的路由协议一致性测试
- 针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.
- 余营志赵保华屈玉贵
- 关键词：路由协议测试系统TCL
- 一种基于并发路径的协议验证方法
- 2004年
- 通信协议验证方法中 ,可达性分析是一种方便的、易于自动化处理的、有效的协议验证方法 .但是随着通信协议的多样性和复杂性的不断增加 ,状态爆炸问题使得可达性分析变得难以实施 .本文采用分而治之的策略 ,提出一种基于并发路径的协议验证方法 .该方法将协议划分为相互独立的并发路径 ,通过逐一分析验证各并发路径 ,来实现验证整个协议的目的 .由于各并发路径的生成和分析都是相互独立的 ,整个协议验证对内存的需求仅受限于各并发路径的复杂度 。
- 胡劲松赵保华屈玉贵
- 优化消息轨迹图以提高TTCN测试套的开发效率
- 最新的消息轨迹图(MSC)标准MSC-2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H.323、H.245...
- 吴慧萍屈玉贵赵保华
- OSPF协议性能测试的研究与实践被引量：7
- 2003年
- 作为在Internet中广泛使用的一种内部网关协议,OSPF路由器的性能对网络的整体性能有着重要的影响。本文使用黑盒测试方法,用网络拓扑环境模拟软件NS仿真多种网络环境,对实现OSPF的路由软件gated进行了测试,测试了OSPF的时间性能。并对测试结果进行分析,讨论了网络拓扑环境等因素对OSPF性能的影响。
- 邵兵李越鹏赵保华
- 关键词：OSPFNS2
- 利用半可控接口进行通信协议一致性测试被引量：2
- 2003年
- 介绍了一种基于半可控接口的图转换算法,并应用于某通信产品的H.245协议一致性测试中,不仅增加了可测试转换的数目,还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列,错误覆盖率和测试效率都得到了显著的提高。
- 吴慧萍屈玉贵赵保华
- Petri网和Z语言的集成形式化方法被引量：3
- 2004年
- 随着各具特色的形式化方法不断涌现 .研究各种形式化模型之间的关系 ,并且通过组合、集成的方法 ,综合它们的特性 ,不仅在理论上 ,而且在实践中都具有非常重大的意义 .将集成 Petri网和 Z语言两种形式化方法 ,使它们能够保留各自的优点 ,并互相弥补不足 ,进而形成一种新的、更加全面的形式化方法
- 胡劲松赵保华郭雄辉屈玉贵
- 关键词：形式化方法PETRI网Z语言
- CSP和RSL应用于协议形式化描述的研究被引量：8
- 2003年
- 文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协议性质。文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则。最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适用性。
- 贾若宇赵保华屈玉贵顾翔
- 关键词：CSPRSL协议形式化描述网络协议通信协议计算机网络
- 软交换产品性能测试的研究与实现被引量：2
- 2003年
- 探讨了硬件方法实现呼叫器的缺陷,针对这些缺陷提出了用软件实现呼叫器,对软交换产品进行性能测试的解决方法。在此基础上构造了一个基于PWLib的软件呼叫器平台,并用它对H.323协议进行了性能测试。
- 李越鹏赵保华屈玉贵
- 一种描述安全协议的形式化规范语言被引量：4
- 2004年
- 安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来规范安全协议 ,通过规则集合和公理集合对安全协议进行精确地描述 ,有利于协议设计地规范化和协议漏洞地发现 ,同时对 Needham-
- 刘政赵保华屈玉贵
- 关键词：安全协议形式化描述语言
- 含自发事件的协议一致性测试例的生成被引量：6
- 2001年
- 目前有许多基于有限状态机生成一致性测试序列的方法 ,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充 ,使之适用于含自发事件的有限状态机 ,并已将该方法应用于OSPF协议的一致性测试。
- 石勇军屈玉贵赵保华
- 关键词：有限状态机通信协议网络协议
