丁雪莲 作品数:17 被引量:19 H指数:2 供职机构: 内蒙古财经学院计算机信息管理系 更多>> 发文基金: 国家自然科学基金 内蒙古自治区科技厅科技攻关项目 内蒙古自治区自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 更多>>
边界网关协议BGP4+一致性测试系统设计与实现 2008年 在分析BGP4+的基础上,设计实现了BGP4+协议一致性测试系统,给出了用XML描述BGP4+测试套的测试模板,并对BGP4+在Linux下的协议实现进行了一致性测试,发现了被测实现与协议说明不一致的地方. 丁雪莲 李华关键词:BGP4+ 协议一致性测试 XML 边界网关协议BGP4+的一致性测试研究及分布式测试系统实现 随着互联网的快速发展,高效稳定的路由协议成为保障网络性能的重要因素。目前互联网域问路由协议采用的是BGP4,在未来的IPv6网络中,域间路由协议将采用边界网关协议BGP4的扩展版本BGP4+。因此BGP4+越来越受到路由... 丁雪莲关键词:协议一致性测试 BGP4+ 分布式 测试套 PETRI网 文献传递 移动IPv6协议一致性测试研究 2009年 移动IPv6作为IPv6协议族中非常重要的1个协议,对基本的IPv6协议运作方式有较大的改变,因此对它的一致性测试将有助于协议的完善,对改进实现该协议的设备及软件等方面都将具有极其重要的意义。本文在分析移动IPv6协议的基础上,进行了移动IPv6协议的一致性测试研究。 丁雪莲 陈银凤 王彪关键词:移动IPV6 协议一致性测试 下一代路由协议测试研究----BGP4+测试 随着IPv6的部署,下一代路由协议将会起到越来越重要的作用。本文首先分析了下一代路由协议的特点,分析了包的通用格式,根据字段之间的关联关系将包中字段分成独立的和具有相关度的两部分,然后通过对独立字段给定测试优先级的方法对... 李华 叶新铭 丁雪莲 王晓勇关键词:路由协议 文献传递 BGP4+协议的分布式一致性测试系统的设计 被引量:1 2006年 首先对BGP4+进行了分析,然后阐述了BGP4+的分布式的一致性测试系统的设计方法,包括主测试系统的设计、从测试系统、测试套的描述方法的设计以及它们的部分设计框图.最后使用一个简化的分布式测试系统对BGP4+协议实现进行了一致性测试实践. 李华 叶新铭 吴承勇 丁雪莲关键词:BGP4+ 测试例 基于XML的协议一致性测试系统的设计与实现 被引量:9 2006年 本文详细介绍了一个协议一致性测试系统的实现,包括测试系统结构介绍、测试套编辑子系统和测试执行子系统的实现,同时实现了一个日志窗口,用于显示测试执行的过程。在测试套编辑子系统的实现部分,分析了编辑流程,设计的编辑子系统可以分为协议无关和协议有关部分,与协议无关部分的实现可以重用。文中还定义了存放测试套的XML文件的结构以及相应的元素与标记。以邻居发现协议的路由请求包为例,展示了测试套的结构及日志窗口。 李华 叶新铭 曾敏 丁雪莲关键词:XML 基于UIO的协议一致性测试序列生成方法研究 被引量:2 2011年 测试序列的生成是协议一致性测试中重要的研究领域,怎样使生成的测试序列既具有较强的检错能力又具有较广的差错覆盖范围成为许多科研人员研究的重点。文章在介绍了有限状态机模型和唯一输入/输出序列后,对基于UIO的测试序列生成方法进行了分析,然后对该方法进行了优化研究。使用优化后的算法可以缩短测试序列的长度,提高了测试效率和差错覆盖率。 丁雪莲 陈银凤 张巨萍关键词:协议一致性测试 有限状态机 有向图 下一代边界网关协议测试研究 2011年 为了促进互联网协议第6版的顺利部署和提高第4+版边界网关协议实现的准确性和可靠性,对边界网关协议第4+版进行了协议一致性测试研究。通过分析该协议的工作机制,为其选择了相应的测试方法,然后针对协议的特点组建了测试实验网、开发了相应的测试系统、提出了边界网关协议第4+版的一致性测试规范,最后在Red Hat Linux 9.0环境下对边界网关协议第4+版的协议实现进行一致性测试,所获得的测试结果对第4+版边界网关协议产品的开发具有一定的指导意义。 丁雪莲关键词:下一代互联网 协议一致性测试 测试例 基于路由软件的BGP4+协议测试平台搭建方法 2011年 随着下一代互连网IPv6的快速发展,作为其重要边界路由协议的BGP4+越来越受到路由设备与软件开发商的重视,很快从实验室走向产品化,因此对BGP4+进行一致性测试具有极其重要的作用。概要性地论述BGP4+协议,介绍路由软件Zebra,详细给出用Linux环境下的路由软件Zebra组建支持IPv6的BGP4+协议一致性测试平台的方法。 丁雪莲关键词:BGP4+ ZEBRA 边界网关协议BGP4+的一致性测试研究 被引量:2 2006年 随着互联网的快速发展,高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议BGP4+进行了一致性测试研究;对BGP4及其面向IPv6的扩展BGP4+进行分析,给出了BGP4+协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4+的测试例。最后给出了运用测试例对具体的协议实现进行测试的结果。 丁雪莲 李华 叶新铭关键词:BGP4+ 有限状态机 测试例