安徽省自然科学基金(01042208)
- 作品数:15 被引量:54H指数:5
- 相关作者:赵保华屈玉贵顾翔李越鹏周晓煜更多>>
- 相关机构:中国科学技术大学更多>>
- 发文基金:国家教育部博士点基金安徽省自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 基于构造类别代数的数据流和控制流相结合的协议测试被引量:7
- 2003年
- 如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且给出了在一个实际的路由协议RIP的测试中的应用例子.
- 郭雄辉赵保华周颢屈玉贵
- 关键词:形式化描述
- 基于Tcl的路由协议一致性测试被引量:11
- 2003年
- 针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.
- 余营志赵保华屈玉贵
- 关键词:路由协议测试系统TCL
- 基于Tcl的路由协议一致性测试
- 针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.
- 余营志赵保华屈玉贵
- 关键词:路由协议测试系统TCL
- 文献传递
- 一种基于并发路径的协议验证方法
- 2004年
- 通信协议验证方法中 ,可达性分析是一种方便的、易于自动化处理的、有效的协议验证方法 .但是随着通信协议的多样性和复杂性的不断增加 ,状态爆炸问题使得可达性分析变得难以实施 .本文采用分而治之的策略 ,提出一种基于并发路径的协议验证方法 .该方法将协议划分为相互独立的并发路径 ,通过逐一分析验证各并发路径 ,来实现验证整个协议的目的 .由于各并发路径的生成和分析都是相互独立的 ,整个协议验证对内存的需求仅受限于各并发路径的复杂度 。
- 胡劲松赵保华屈玉贵
- 基于层次结构的OSPF一致性测试被引量:15
- 2002年
- 本文提出了对OSPF协议划分层次来进行一致性测试的方法,描述了划分层次结构的目的、原则和分析,这种方法可以消除测试用例之间的依赖性,减少协议实现中的不一致给测试过程带来的影响。
- 杨晶赵保华屈玉贵
- 关键词:OSPF路由协议通信
- 优化消息轨迹图以提高TTCN测试套的开发效率
- 最新的消息轨迹图(MSC)标准MSC-2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H.323、H.245...
- 吴慧萍屈玉贵赵保华
- 文献传递
- OSPF协议性能测试的研究与实践被引量:7
- 2003年
- 作为在Internet中广泛使用的一种内部网关协议,OSPF路由器的性能对网络的整体性能有着重要的影响。本文使用黑盒测试方法,用网络拓扑环境模拟软件NS仿真多种网络环境,对实现OSPF的路由软件gated进行了测试,测试了OSPF的时间性能。并对测试结果进行分析,讨论了网络拓扑环境等因素对OSPF性能的影响。
- 邵兵李越鹏赵保华
- 关键词:OSPFNS2
- 优化消息轨迹图以提高TTCN测试套的开发效率被引量:1
- 2003年
- 最新的消息轨迹图(MSC)标准MSC 2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H 323、H 245等协议一致性测试的TTCN测试套开发中.
- 吴慧萍屈玉贵赵保华
- 基于构造类别代数的变异分析被引量:2
- 2002年
- 在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.
- 周晓煜赵保华屈玉贵
- 关键词:变异算子通信协议
- 利用半可控接口进行通信协议一致性测试被引量:2
- 2003年
- 介绍了一种基于半可控接口的图转换算法,并应用于某通信产品的H.245协议一致性测试中,不仅增加了可测试转换的数目,还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列,错误覆盖率和测试效率都得到了显著的提高。
- 吴慧萍屈玉贵赵保华