国家教育部博士点基金(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协议进行了性能测试。
- 李越鹏赵保华屈玉贵
- 基于同步有向图的同步测试序列生成方法被引量：3
- 2002年
- 使用多测试单元的测试系统可以对多端口协议实现进行一致性测试 .但是在进行这种一致性测试时 ,测试系统各个端口之间可能会出现同步问题 .现在 ,解决同步问题常用的办法是在测试单元相应端口之间增加同步连接 ,然后通过此同步连接相互发送同步消息来进行同步 .多端口协议和其它类型的分布式系统可以用有限状态机模型来描述 .目前 ,同步问题被分为双端口同步问题、多端口同步问题、紧同步问题等多种类型 .该文考虑两种有限状态机测试问题 :第一种是面向端口的测试 ,不考虑有限状态机测试单元之间的通信问题 ;第二种面向组的测试 ,有限状态机中的各个端口被分成互不相关的多个组 ,属于不同组中的测试单元之间互不通信 .该文提出了一种基于同步有向图的同步测试序列生成方法 .这种生成方法适用于 Pair同步、Port同步和组同步问题 .并且 ,这种方法也可以用来判断如何在非同步测试序列中增加同步通信 。
- 孙宇霖赵保华屈玉贵
- 关键词：通信协议
- 通信顺序进程的扩充及其在协议形式化技术中的应用被引量：5
- 2004年
- 讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨论了协议规范的正确性及测试用例的生成。
- 顾翔赵保华屈玉贵
- 关键词：通信顺序进程形式化描述技术
