MVB协议一致性测试研究与实现 被引量：27

1

作者 朱琴跃 谢维达 谭喜堂 《铁道学报》 EI CAS CSCD 北大核心 2007年第4期115-120,共6页

多功能车辆总线(MVB)是列车通信网络标准中明确定义的通信协议,用于车辆内部各功能设备间的信息传输。为了确保来自不同生产厂家的MVB设备的兼容性和互操作性,必须对各个MVB设备进行协议一致性测试。本文在简单介绍协议一致性测试基本... 多功能车辆总线(MVB)是列车通信网络标准中明确定义的通信协议,用于车辆内部各功能设备间的信息传输。为了确保来自不同生产厂家的MVB设备的兼容性和互操作性,必须对各个MVB设备进行协议一致性测试。本文在简单介绍协议一致性测试基本工作原理的基础上,分析了MVB协议的特点,提出了对MVB进行协议一致性测试的测试方法和应包括的测试内容。并以过程数据链路层协议为例,详细阐述了MVB设备的测试要求、测试实例的生成、测试运行及测试评估等具体的测试实现过程。最后基于上述测试原理,在实验室环境下设计并构建了基于PC104总线的80486硬件平台和μC/OS-II实时多任务操作系统软件平台的测试系统,完成了MVB过程数据链路层协议的高覆盖一致性测试,给MVB协议其他方面的一致性测试提供了一定的借鉴。 展开更多

关键词 列车通信网 协议一致性测试 MVB 实时协议 过程数据

在线阅读 下载PDF 职称材料

基于FSM的协议一致性测试序列生成算法研究 被引量：11

2

作者 陈涛 潘雪增 +2 位作者 陈健 陈小平 陆魁军 《计算机工程与应用》 CSCD 北大核心 2010年第6期60-62,共3页

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

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

在线阅读 下载PDF 职称材料

IPv6协议一致性测试例的设计 被引量：6

3

作者 郑红霞 田军 +2 位作者 张玉军 于东 李忠诚 《计算机应用》 CSCD 北大核心 2003年第4期62-64,共3页

文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤 ,针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案 ,应用这个方案设计了PMTU发现协议一致性测试的测试例 ,对几种不同的IPv6协议实现进行了测试 ,... 文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤 ,针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案 ,应用这个方案设计了PMTU发现协议一致性测试的测试例 ,对几种不同的IPv6协议实现进行了测试 ,并给出了测试结果。 展开更多

关键词 IPV6协议 通信协议 协议一致性测试 测试例设计 计算机网络

在线阅读 下载PDF 职称材料

IPv6协议一致性测试系统 被引量：7

4

作者 田军 张玉军 李忠诚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第4期296-300,共5页

随着IPv6协议在我国的推广应用 ,各种相关设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,使得通信设备的协议非一致性问题日趋严重 .为检查各个不同生产厂家的IPv6实现是否与标准文本相一致 ,进而确保不同厂家的IPv6实现之间能够... 随着IPv6协议在我国的推广应用 ,各种相关设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,使得通信设备的协议非一致性问题日趋严重 .为检查各个不同生产厂家的IPv6实现是否与标准文本相一致 ,进而确保不同厂家的IPv6实现之间能够互操作 ,开发一种IPv6协议一致性测试系统 ,并利用自定义的一种形式化描述语言 ,实现IPv6相关协议一致性测试集的形式化 .文中给出该测试系统的结构 ,通过一个测试例介绍测试集的形式化和测试实现过程 .使用该测试系统对多种IPv6协议实现进行测试 ,发现许多不一致问题 ,为协议实现厂家提供了修改意见 .作为例子 ,给出一种UnixIPv6邻居发现协议实现的测试结果分析 . 展开更多

关键词 IPV6协议 协议一致性测试系统 通信协议 INTERNET

在线阅读 下载PDF 职称材料

OSPFv3协议一致性测试系统设计与实现 被引量：4

5

作者 杨建华 王俊峰 谢高岗 《计算机应用》 CSCD 北大核心 2003年第7期18-20,23,共4页

如何保证各网络设备协议实现的一致性,是保证各设备可以互联、互操作的关键。文中在介绍OSPFv3协议的基础上,设计并实现了该协议一致性测试系统。根据系统支持多端口的特性,提出一种改进的针对中继系统的一致性测试方法,克服了原有穿越... 如何保证各网络设备协议实现的一致性,是保证各设备可以互联、互操作的关键。文中在介绍OSPFv3协议的基础上,设计并实现了该协议一致性测试系统。根据系统支持多端口的特性,提出一种改进的针对中继系统的一致性测试方法,克服了原有穿越式测试方法中测试系统之间的同步和协调问题。利用该系统对开放源码的路由软件包zebra进行了测试,结果表明在数据库描述包的MTU字段处理上和RFC2328存在不一致。 展开更多

关键词 协议一致性测试 OSPFV3 测试方法

在线阅读 下载PDF 职称材料

BGP4+协议一致性测试系统设计与实现 被引量：2

6

作者 翟鹏 王旸旸 +1 位作者 李登道 毕经平 《计算机应用研究》 CSCD 北大核心 2006年第5期202-204,共3页

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

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

在线阅读 下载PDF 职称材料

基于MVB的协议一致性测试系统设计 被引量：3

7

作者 许力 章洁 刘博 《控制工程》 CSCD 北大核心 2014年第1期9-13,共5页

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

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

在线阅读 下载PDF 职称材料

列车用CAN协议一致性测试平台的设计与实现 被引量：1

8

作者 朱琴跃 陆晔祺 +1 位作者 谭喜堂 叶双挺 《计算机应用》 CSCD 北大核心 2014年第A02期59-62,共4页

列车用CAN总线协议一致性测试是保证不同设备制造厂家生产的CAN通信设备之间实现互联、互通和互操作的前提。在对协议一致性测试原理和CAN总线协议特点进行简要分析的基础上,提出了针对CAN总线协议一致性测试的协同测试方法和相应的一... 列车用CAN总线协议一致性测试是保证不同设备制造厂家生产的CAN通信设备之间实现互联、互通和互操作的前提。在对协议一致性测试原理和CAN总线协议特点进行简要分析的基础上,提出了针对CAN总线协议一致性测试的协同测试方法和相应的一致性测试内容,设计并构建了相应的一致性测试硬件平台,并对测试软件平台中可执行测试实例产生、测试执行、测试评估以及测试管理等诸多环节所涉及的基本功能软件进行了设计和实现,完成了CAN协议一致性测试的基本功能。实际运行和测试结果表明:所设计的测试平台达到了预期结果,为下一步列车用CAN总线协议的一致性测试打下了基础。 展开更多

关键词 CAN 协议一致性测试 协同测试法 可执行测试集 测试评估

在线阅读 下载PDF 职称材料

面向协议一致性测试的测试序列生成方法研究 被引量：1

9

作者 张新常 杨美红 +1 位作者 罗万明 耿光刚 《高技术通讯》 CAS CSCD 北大核心 2011年第10期1034-1041,共8页

考虑到协议一致性测试中基于扩展有限状态自动机（EFSM）模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题，提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法。此方法将EFSM模型转换成确定化的EFSM（DEFSM）... 考虑到协议一致性测试中基于扩展有限状态自动机（EFSM）模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题，提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法。此方法将EFSM模型转换成确定化的EFSM（DEFSM）模型，并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除，此外，通过测试序列生成附加模块的协助，可将变量及其条件判定从DEFSM模型中分离出来，使得处理后的DEFSM模型等同于有限状态自动机（FSM）模型，从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合。理论和实验分析结果显示了此方法的有效性。 展开更多

关键词 协议一致性测试 扩展有限状态自动机(EFSM) 有限状态自动机(FSM) 测试序列生成 模型转换

在线阅读 下载PDF 职称材料

IGMP协议一致性测试研究与实现 被引量：1

10

作者 王鹏 王乐春 朱培栋 《计算机应用》 CSCD 北大核心 2003年第z2期3-5,共3页

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

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

在线阅读 下载PDF 职称材料

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

11

作者 夏启志 綦科 谢高岗 《计算机工程》 CAS CSCD 北大核心 2006年第3期131-133,共3页

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

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

在线阅读 下载PDF 职称材料

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

12

作者 倪群 苏彤 程时端 《通信学报》 EI CSCD 北大核心 1997年第2期75-82,共8页

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

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

在线阅读 下载PDF 职称材料

BGP-4协议一致性测试序列生成 被引量：5

13

作者 葛猛 赵保华 《计算机工程与应用》 CSCD 北大核心 2005年第22期108-110,共3页

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

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

在线阅读 下载PDF 职称材料

IPv6地址协议一致性测试系统设计与实现 被引量：2

14

作者 陈想 周华春 苏伟 《计算机应用与软件》 CSCD 北大核心 2013年第11期28-31,49,共5页

IPv6协议一致性测试是保证IPv6协议实现正确性及有效性的方法。当前IPv6一致性测试系统共同的不足是标准协议的数量受限,并且对新型协议的支持不够。在这种需求的驱动下,提出一种可扩展模块化测试描述语言EMTL(Extensible Modular Test ... IPv6协议一致性测试是保证IPv6协议实现正确性及有效性的方法。当前IPv6一致性测试系统共同的不足是标准协议的数量受限,并且对新型协议的支持不够。在这种需求的驱动下,提出一种可扩展模块化测试描述语言EMTL(Extensible Modular Test Description Language),设计并开发了IPv6协议一致性测试系统,描述该系统各部件的具体功能。在对IPv6无状态地址自动分配协议的标准描述分析的基础上设计一套测试集,用IPv6协议一致性测试系统在Linux系统平台上对该协议进行测试,成功得到了相应测试结果,验证了该系统具有很好的测试能力和功能通用性。 展开更多

关键词 协议一致性测试 模块化 测试描述语言 测试系统

在线阅读 下载PDF 职称材料

一种基于TTCN-3的TD-LTE终端协议一致性测试系统的构建 被引量：7

15

作者 胡响 李勇 《西安科技大学学报》 CAS 2012年第6期765-767,780,共4页

TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LT... TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LTE协议一致性测试平台的设计及实现方案。 展开更多

关键词 TD—LTE 协议一致性测试 TTCN-3

在线阅读 下载PDF 职称材料

NEMO协议一致性测试集的设计与实现 被引量：1

16

作者 杜宁 郑红霞 谢高岗 《计算机工程》 CAS CSCD 北大核心 2007年第24期93-95,共3页

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

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

在线阅读 下载PDF 职称材料

专用短程通信协议一致性测试平台设计与分析

17

作者 柴华 张北海 +3 位作者 薛金银 李全发 马严 黄小红 《广西大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第6期1199-1203,共5页

为实现对专用短程通信协议进行自动化协议一致性测试,设计实现了一种以TTCN-3语言为工具的专用短程通信协议一致性测试平台,并使用有限状态机的模型对部分协议测试套进行了设计开发和测试验证。通过实际的测试和对结果的分析,证明该测... 为实现对专用短程通信协议进行自动化协议一致性测试,设计实现了一种以TTCN-3语言为工具的专用短程通信协议一致性测试平台,并使用有限状态机的模型对部分协议测试套进行了设计开发和测试验证。通过实际的测试和对结果的分析,证明该测试平台可以正确的实现协议一致性测试,验证了专用短程通信协议一致性测试的可行性。该平台为后续专用短程通信协议一致性测试系统的建立和完善提供了必要的技术基础和保证。 展开更多

关键词 专用短程通信 协议一致性测试 TTCN-3 电子收费

在线阅读 下载PDF 职称材料

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

18

作者 赵达观 谢高岗 张大方 《计算机工程》 CAS CSCD 北大核心 2005年第21期96-97,106,共3页

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

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

在线阅读 下载PDF 职称材料

一种网络协议一致性测试生成方法的改进

19

作者 王卫斌 孙吉振 《南京理工大学学报》 EI CAS CSCD 1998年第3期216-219,共4页

该文对一种协议一致性测试生成方法——叠加回路方法进行了分析，证明了由该方法产生的测试序列并没有对给定的有限状态机（ＦＳＭＭ）中所有的转换进行测试，因而作了修改和补充，修改后的方法大大降低了叠加转换序列的计算复杂性。

关键词 计算机网络 协议一致性测试 叠加回路法

在线阅读 下载PDF 职称材料

安捷伦移动WiMAX^(TM)协议一致性测试系统成为AT4 wireless进行移动WiMAX认证测试的最终选择

20

《电子测量技术》 2008年第1期193-193,共1页

安捷伦科技（NYSE：A）和AT4 wireless日前宣布，获得WiMAX论坛认证的AT4 wireless实验室将采用Agilent N6430A WiMAX协议一致性测试（PCT）和开发解决方案。该解决方案以Agilent E6651A移动WiMAX测试仪为基础构建，用于对WiMAX设备进行... 安捷伦科技（NYSE：A）和AT4 wireless日前宣布，获得WiMAX论坛认证的AT4 wireless实验室将采用Agilent N6430A WiMAX协议一致性测试（PCT）和开发解决方案。该解决方案以Agilent E6651A移动WiMAX测试仪为基础构建，用于对WiMAX设备进行PCT测试。 展开更多

关键词 WIRELESS 协议一致性测试 WIMAX 安捷伦科技 认证测试 一致性测试系统 移动 CT测试

在线阅读 下载PDF 职称材料