检索结果-内蒙古大学图书馆

IGMP协议一致性测试研究与实现

引用

计算机应用 2003年第z2期23卷 3-5页

作者：王鹏王乐春朱培栋国防科学技术大学计算机学院湖南长沙410073

在介绍IGMP协议的基础上 ,结合高端路由器开发的工程实践 ,介绍了IGMP一致性测试系统的结构 ,给出测试方法、案例生成和测试集结构 ,最后介绍了利用此系统进行的实际测试执行。

关键词：协议一致性测试 IGMP 被测实现参考实现

来源：评论

学校读者我要写书评

暂无评论

基于MVB的协议一致性测试系统设计

引用

控制工程 2014年第1期21卷 9-13页

作者：许力章洁刘博浙江大学电气工程学院浙江杭州310027

针对不同生产厂家的多功能车辆总线(Multifunction Vehicle Bus,MVB)设备存在兼容性和互操作性适应度差的问题,设计了基于MVB的协议一致性测试系统,给出了系统的总体结构、软硬件设计与实现方案,并构建测试集优化模型。测试系统的测试... 详细信息

针对不同生产厂家的多功能车辆总线(Multifunction Vehicle Bus,MVB)设备存在兼容性和互操作性适应度差的问题,设计了基于MVB的协议一致性测试系统,给出了系统的总体结构、软硬件设计与实现方案,并构建测试集优化模型。测试系统的测试电路接口模块包括物理层接口模块和链路层接口模块两部分,负责将采集的MVB总线上的数据传递给控制与测试模块进行分析和处理。控制与测试模块软件部分着重设计了测试用例集优化模型,并采用高效的商业求解器CPLEX进行有效求解,提高了测试效率。实际运行结果表明:该测试系统是稳定并且高效的,可应用于不同MVB设备的协议一致性测试。

关键词：多功能车辆总线协议一致性测试测试集优化

来源：评论

学校读者我要写书评

暂无评论

OSPFv3协议一致性测试集的设计和实现

引用

计算机工程 2005年第21期31卷 96-97,106页

作者：赵达观谢高岗张大方湖南大学软件学院长沙410082 中国科学院计算技术研究所北京100080

设计改进了OSPFv3一致性测试例,使它能在IPv6上顺利运行,采用改进的穿越测试法,通过虚拟测试,利用测试序列包中的地址字段和其它特征字段,采用改进了的TSS语言,仅用一台测试器就搭建了一种逻辑测试结构,实现了多台虚拟测试器的测试拓扑... 详细信息

设计改进了OSPFv3一致性测试例,使它能在IPv6上顺利运行,采用改进的穿越测试法,通过虚拟测试,利用测试序列包中的地址字段和其它特征字段,采用改进了的TSS语言,仅用一台测试器就搭建了一种逻辑测试结构,实现了多台虚拟测试器的测试拓扑。介绍了测试集的形式化,并对一基于Linux平台的OSPFv3实现的测试结果进行了分析。

关键词： OSPFv3协议协议一致性测试测试集设计

来源：评论

学校读者我要写书评

暂无评论

用于协议一致性测试序列生成的状态规范化算法

引用

通信学报 1997年第2期18卷 75-82页

作者：倪群苏彤程时端中科院计算所北京邮电大学

这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想... 详细信息

这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想，一方面将非确定性的ＥＦＳＭ向确定性的ＤＦＳＭ规范化，另一方面修改ＦＳＭ的测试序列生成算法，使之能够同时测试数据流，也即能够处理输入、输出原语的参数问题。在本文中讲述了第一步的工作，提出了由ＥＦＳＭ到ＤＦＳＭ的规范化算法和其概念的严格定义，建立了用于算法描述和实现的ＥＦＳＭ向图概念。同时选择了一个较能完全体现ＥＦＳＭ特点的Ｑ．

关键词：协议一致性测试测试集有限状态机信息论

来源：评论

学校读者我要写书评

暂无评论

一种基于消息中间件的协议一致性测试系统

引用

四川大学学报（自然科学版） 2014年第6期51卷 1177-1182页

作者：肖立王俊峰吴斌四川大学计算机学院成都610064

针对传统的协议一致性测试系统多采用单机架构或基于某些特定的平台,缺乏足够的通用性和可扩展性的这些问题,本文提出并设计了一种基于消息中间件的协议一致性测试系统.利用面向服务架构的消息中间件实现分布式运行环境,不仅增强消息传... 详细信息

针对传统的协议一致性测试系统多采用单机架构或基于某些特定的平台,缺乏足够的通用性和可扩展性的这些问题,本文提出并设计了一种基于消息中间件的协议一致性测试系统.利用面向服务架构的消息中间件实现分布式运行环境,不仅增强消息传输的效率和可靠性,还支持对消息传输流程的扩展和重组等.最后,通过实际的测试应用,验证了该系统的通用性、实时性和可扩展性.

关键词：协议一致性测试分布式消息中间件面向服务架构

来源：评论

学校读者我要写书评

暂无评论

NEMO协议一致性测试集的设计与实现

引用

计算机工程 2007年第24期33卷 93-95页

作者：杜宁郑红霞谢高岗湖南大学软件学院长沙410082 中国科学院计算技术研究所北京100080

基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测... 详细信息

基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测试例描述语言说明了测试例设计与实现过程,给出在Linux实现下的测试结果及分析。

关键词： NEMO协议 MIPv6互联网协议一致性测试测试例描述语言

来源：评论

学校读者我要写书评

暂无评论

BGP4+协议一致性测试系统设计与实现

引用

计算机工程 2006年第3期32卷 131-133页

作者：夏启志綦科谢高岗中国科学院计算技术研究所北京100080 广州大学广州510056

在介绍BGP4+协议的基础上,设计并实现了该协议的一致性测试系统;提出了用于中继系统一致性测试的虚拟多端口的测试方法,解决了测试系统物理端口不够的问题;还介绍了一个新的测试例描述语言。

关键词：协议一致性测试 BGP4+ 测试方法

来源：评论

学校读者我要写书评

暂无评论

BGP-4协议一致性测试序列生成

引用

计算机工程与应用 2005年第22期41卷 108-110页

作者：葛猛赵保华中国科学技术大学计算机系合肥230027

该文讨论了一种协议测试序列生成的方法,它使用有限状态机模型作为协议的形式化描述规范,然后基于UIO序列和中国乡村邮路算法生成测试序列。该文将其应用于对BGP-4协议的一致性测试中。这种方法以协议的形式化描述为输入,易于自动化实现... 详细信息

该文讨论了一种协议测试序列生成的方法,它使用有限状态机模型作为协议的形式化描述规范,然后基于UIO序列和中国乡村邮路算法生成测试序列。该文将其应用于对BGP-4协议的一致性测试中。这种方法以协议的形式化描述为输入,易于自动化实现,同时生成的测试序列较短,提高了测试效率。

关键词： BGP 协议一致性测试有限状态机 UIO序列

来源：评论

学校读者我要写书评

暂无评论

BGP4+协议一致性测试系统设计与实现

引用

计算机应用研究 2006年第5期23卷 202-204页

作者：翟鹏王旸旸李登道毕经平山东科技大学山东青岛266510 中国科学院计算技术研究所北京100080

BGP4+是一种在自治系统间运行的动态路由协议,其功能是在自治系统间交换网络层可达信息。IPv6协议作为下一代互联网最有竞争力的核心协议成为研究热点。BGP4+是IPv6最重要的路由协议,已经在路由器等网络设备中得到广泛实现。如何保证各... 详细信息

BGP4+是一种在自治系统间运行的动态路由协议,其功能是在自治系统间交换网络层可达信息。IPv6协议作为下一代互联网最有竞争力的核心协议成为研究热点。BGP4+是IPv6最重要的路由协议,已经在路由器等网络设备中得到广泛实现。如何保证各网络设备协议实现的一致性,是保证各设备可以互连、互操作的关键。在介绍BGP4+的基础上,设计并实现了BGP4+的协议一致性测试系统,并对一基于FreeBSD平台的BGP4+一致性测试实现的结果进行了分析。

关键词：协议一致性测试 BGP4+ IPv6 测试方法

来源：评论

学校读者我要写书评

暂无评论

基于FSM的协议一致性测试序列生成算法研究

引用

计算机工程与应用 2010年第6期46卷 60-62页

作者：陈涛潘雪增陈健陈小平陆魁军浙江大学计算机科学与技术学院杭州310027

在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的... 详细信息

在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。

关键词：协议一致性测试有限状态机 UIO序列

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：