内蒙古自治区自然科学基金(200408020806)
- 作品数：4 被引量：4H指数：1
- 相关作者：李华叶新铭张巨萍丁雪莲刘玉林更多>>
- 相关机构：内蒙古大学内蒙古自治区劳动和社会保障厅更多>>
- 发文基金：内蒙古自治区自然科学基金国家自然科学基金内蒙古自治区科技厅科技攻关项目更多>>
- 相关领域：自动化与计算机技术更多>>
- BGP4+协议的分布式一致性测试系统的设计被引量：1
- 2006年
- 首先对BGP4+进行了分析,然后阐述了BGP4+的分布式的一致性测试系统的设计方法,包括主测试系统的设计、从测试系统、测试套的描述方法的设计以及它们的部分设计框图.最后使用一个简化的分布式测试系统对BGP4+协议实现进行了一致性测试实践.
- 李华叶新铭吴承勇丁雪莲
- 关键词：BGP4+测试例
- 基于属性的协议互操作性测试的TTCN-3实现
- 2011年
- 目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.
- 洪有芬刘龙李华
- 关键词：互操作测试路由协议TTCN-3
- 基于OOPN的面向对象的集成测试方法被引量：1
- 2007年
- 面向对象的程序与传统的结构化程序相比,具有许多特点,如消息传递、同步、动态绑定、对象实例、继承、多态等.面向对象软件的测试比结构化软件的测试更困难,因此提出一种基于OOPN模型的面向对象的集成测试方法.首先用面向对象petri网(OOPN)模拟系统中的对象及其交互过程,然后在此模型的基础上提出生成测试例的算法.此方法的创新之处在于将数据流与控制流相结合的方法用于面向对象的测试之中.
- 刘玉林李华阚丽云
- 关键词：面向对象OOPN
- 基于Petri网的测试路径选择标准被引量：2
- 2007年
- 首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准.然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题.
- 李华叶新铭张巨萍
- 关键词：PETRI网控制流数据流
