内蒙古自治区自然科学基金(200711020803)
- 作品数：8 被引量：16H指数：3
- 相关作者：叶新铭李华吴承勇王龙张巨萍更多>>
- 相关机构：内蒙古大学内蒙古财经学院中国科学院更多>>
- 发文基金：内蒙古自治区自然科学基金国家自然科学基金内蒙古自治区科技厅科技攻关项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UCM的组件集成测试方法
- 基于组件的软件开发是将现有的组件重用并集成到一个系统中,为了完成软件的功能,通常需要多个组件相互协调共同完成。需要经过测试来验证其功能是否符合系统要求。本文提出一种基于UCM的组件集成测试方法,首先为用例建立UCM,然后...
- 刘玉林李华
- 关键词：组件UCM
- 文献传递
- 一种互操作测试的建模及测试选择方法
- 本文介绍了互操作性测试的内容,一致性测试与互操作性测试的关系。根据说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况。基于该模型采用宽度优先算法以及一定的策略...
- 李华叶新铭吴承勇王龙王玲玲
- 关键词：互操作性不确定性
- 文献传递
- 一种互操作测试的建模及测试选择方法被引量：4
- 2009年
- 互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况.基于该模型采用宽度优先算法以及一定的策略生成包含所有状态的二叉树,然后基于得到的二叉树给出了包含不确定状态的互操作性测试序列的选择算法,通过示例展示了提出的算法的有效性,并以RIP协议的计数到无穷为例展示了提出的建模方法的应用.最后给出了结论以及下一步的研究工作.
- 李华叶新铭吴承勇王龙王玲玲
- 关键词：互操作性不确定性
- 通用分布式路由协议测试系统的设计被引量：1
- 2009年
- 协议测试系统是执行协议测试的基本组成部分,一个设计完善的系统既优化测试套的编写,又可以减少对硬件的需求,从而使得测试工作得以高效的运行.系统介绍了一个通用的分布式路由协议测试系统的设计与实现方法,详细描述了该系统的设计思路以及一些实现算法.通过对OSPFv3进行的两个从测的测试实验,验证了该系统的有效性,最后对该系统的特点进行了总结,并且提出了下一步应该考虑的工作.
- 李华叶新铭李元平杭成宝
- 关键词：分布式系统路由协议OSPFV3
- 协议互操作性测试综述被引量：7
- 2008年
- 随着网络的进一步发展,各种软硬件层出不穷,为了让不同生产厂家的产品互连起来可以正常工作,就需要进行产品间的互操作性测试.首先简介了互操作性测试的必要性,概述了互操作性测试的国内外研究现状,介绍了目前的互操作性测试研究工作,包括测试目的、测试序列的生成以及测试套描述方法,指出了互操作性测试各个阶段目前面临的问题.对于互操作性测试的体系结构进行了较为详细的介绍,最后给出了结论以及下一步的工作.
- 李华叶新铭
- 关键词：互操作性测试体系结构
- 基于NTP协议的时间同步服务的测试设计与实现
- 本文分析了NTP协议的特点和工作原理,基于最常见的客户服务器模式进行了测试设计。不同于以往的选取一小段时间对本地架设的NTP服务器进行连续测试的测试方法。本文考虑到时间的特性,采用均匀试验设计法,依据均匀设计表对测试数据...
- 王佳李华叶新铭杭成宝
- 关键词：NTP协议时间同步
- 文献传递
- 一种互操作场景中策略路由的建模与测试
- 策略路由是路由协议中的一种策略,其作用是优化路由。基于一定的场景,就策略路由根据具体情况用FSM进行建模,根据互操作性测试的要求对被测系统的两个对等体的FSM按照合成算法进行合成,基于合成模型,提出一种测试序列推导算法,...
- 武茂春李华王龙
- 关键词：策略路由遗传算法
- 文献传递
- BGP4+互操作性测试研究
- 2008年
- BGP4是最主要的域间路由协议,BGP4+是对BGP4进行扩展之后支持IPv6的,对于它的互操作性测试很重要。本文首先介绍了互操作性测试的目的,分析了BGP4以及BGP4+的功能、路由类型以及数据包种类。根据BGP4的说明生成了协议的输入输出有限状态机,基于该模型生成了部分BGP4+的互操作性测试套。然后对于协议的不同实现进行了互操作性测试设计与实践,最后给出了结论以及下一步的研究工作。
- 李华张涛叶新铭
- 关键词：BGP4BGP4+互操作性
- TTCN-3测试系统协议相关部分的分析与实现被引量：5
- 2009年
- 在TTCN-3测试系统的实现过程中,需要划分系统中与被测相关和无关的部分。分析与被测相关部分的编解码器和TRI中与协议相关的功能函数,并讨论它们的实现方法。以DHCPv6协议为例给出相关函数的实现算法,通过测试系统各部分的协作图阐述测试系统的工作过程。
- 李华张巨萍叶新铭吴承勇
- 下一代网络协议测试数据半自动生成方法研究被引量：1
- 2008年
- 在协议测试过程中,对于测试数据的生成方法的考虑应从包的粒度细化到字段上。对协议的通用数据包进行了全面的分析,根据各个字段的功能及其取值之间的关系,对所有字段进行了固定字段、独立字段以及相关字段序列的划分,然后根据测试经验对独立字段和相关字段序列进行了优先级赋值,并根据优先级构建测试包,从而可以将具有重要测试目的的包尽早生成进行测试,并根据优先级标记指导测试结果判定。给出了测试包库的生成算法,并分析了该算法的有效性,然后以BGP4+的UPDATE包为例给出了生成的包,最后给出了结论。
- 李华叶新铭吴承勇王龙
- 关键词：字段
