内蒙古自治区自然科学基金(200711020809)
- 作品数：3 被引量：1H指数：1
- 相关作者：李华叶新铭李元平杭成宝王佳更多>>
- 相关机构：内蒙古大学更多>>
- 发文基金：内蒙古自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UCM的组件集成测试方法
- 基于组件的软件开发是将现有的组件重用并集成到一个系统中,为了完成软件的功能,通常需要多个组件相互协调共同完成。需要经过测试来验证其功能是否符合系统要求。本文提出一种基于UCM的组件集成测试方法,首先为用例建立UCM,然后...
- 刘玉林李华
- 关键词：组件UCM
- 文献传递
- 通用分布式路由协议测试系统的设计被引量：1
- 2009年
- 协议测试系统是执行协议测试的基本组成部分,一个设计完善的系统既优化测试套的编写,又可以减少对硬件的需求,从而使得测试工作得以高效的运行.系统介绍了一个通用的分布式路由协议测试系统的设计与实现方法,详细描述了该系统的设计思路以及一些实现算法.通过对OSPFv3进行的两个从测的测试实验,验证了该系统的有效性,最后对该系统的特点进行了总结,并且提出了下一步应该考虑的工作.
- 李华叶新铭李元平杭成宝
- 关键词：分布式系统路由协议OSPFV3
- BGP4+互操作性测试研究
- 2008年
- BGP4是最主要的域间路由协议,BGP4+是对BGP4进行扩展之后支持IPv6的,对于它的互操作性测试很重要。本文首先介绍了互操作性测试的目的,分析了BGP4以及BGP4+的功能、路由类型以及数据包种类。根据BGP4的说明生成了协议的输入输出有限状态机,基于该模型生成了部分BGP4+的互操作性测试套。然后对于协议的不同实现进行了互操作性测试设计与实践,最后给出了结论以及下一步的研究工作。
- 李华张涛叶新铭
- 关键词：BGP4BGP4+互操作性
- BT协议的形式化建模与一致性测试的测试序列生成
- 2009年
- BitTorrent是一种流行的文件共享软件，它允许文件分块，并将每个数据块作为独立的传输单位在下载者之间进行交换。本文分析了P2P应用中的BitTo—nt（BT）协议的特点和工作原理，对BT协议的Peer端进行了形式化建模，得到Peer端的有限状态机模型（FiniteStateMachine，FSM），并基于该模型以及变迁覆盖标准，给出了结合UIO方法的一致性测试的测试序列产生方法，最后给出下一步的研究工作。
- 王佳李华叶新铭吴承勇
- 关键词：BITTORRENT协议FSM
