内蒙古自治区自然科学基金(200308020213)
- 作品数：3 被引量：12H指数：2
- 相关作者：李华叶新铭丁雪莲曾敏李元平更多>>
- 相关机构：内蒙古大学更多>>
- 发文基金：内蒙古自治区科技厅科技攻关项目内蒙古自治区自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于XML的协议一致性测试系统的设计与实现被引量：9
- 2006年
- 本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以分为协议无关和协议有关部分,与协议无关部分的实现可以重用。文中还定义了存放测试套的XML文件的结构以及相应的元素与标记。以邻居发现协议的路由请求包为例,展示了测试套的结构及日志窗口。
- 李华叶新铭曾敏丁雪莲
- 关键词：XML
- 边界网关协议BGP4+的一致性测试研究被引量：2
- 2006年
- 随着互联网的快速发展,高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议BGP4+进行了一致性测试研究；对BGP4及其面向IPv6的扩展BGP4+进行分析,给出了BGP4+协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4+的测试例。最后给出了运用测试例对具体的协议实现进行测试的结果。
- 丁雪莲李华叶新铭
- 关键词：BGP4+有限状态机测试例
- 基于XML的OSPFv3一致性测试研究被引量：1
- 2007年
- 协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究,分析了OSPFv2和OSPFv3的不同,给出了用XML来描述OSPFv3测试套的测试模板,并对OSPFv3协议在Linux下的实现进行了一致性测试,列举了部分测试结果,对测试结果进行了分析,发现了被测实现存在与协议说明不一致的地方。
- 李华张涛叶新铭郭怡静李元平白瑞峰
- 关键词：路由协议OSPFV3
