共查询到14条相似文献,搜索用时 156 毫秒
1.
文章介绍了一种基于Tcl的BGP4以及BGP4+协议自动化测试系统的设计方法,该系统使用了一种针对网络协议测试特点的分布式虚拟测试法,并且根据路由协议测试的特点增加了控制通道,由一个统一的控制模块组织多个虚拟测试体协同工作实现对待测体的测试,使用在线配置脚本化的方法实现系统的自动化测试,并成功地对多个不同的BGP4以及BGP4+协议实现进行了测试,文中给出了测试实例,分析了测试结果,并提出了进一步的工作方向。 相似文献
2.
3.
4.
根据协议一致性测试的特点和要求,针对BGP4+协议的特点,介绍了一种BGP4+协议一致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用TCL语言作为测试例的描述语言,具有很好的测试能力和灵活性。在介绍BGP4+的基础上,设计并实现了该协议一致性测试系统,并对一基于FreeBSD平台的BGP4+一致性测试实现的结果进行了分析。 相似文献
5.
6.
7.
路由协议一致性测试系统研究及实现 总被引:5,自引:2,他引:3
文章通过对路由协议特点的分析,指出了路由协议一致性测试所包含的内容和目的,根据测试的内容和对现有的测试方法和测试系统的研究,提出了一种针对路由协议一致性测试的分布式虚拟测试法,它使用一个控制模块组织多个虚拟测试体协同工作实现对待测体的测试。依据这种方法,实现了一个可扩展的路由协议测试系统,并完成了IPv6路由协议的一致性测试。文中以对OSPFv3的测试作为示例。 相似文献
8.
基于TTCN的协议的一致性测试是保证协议实现正确的重要方法.在介绍ICMPv6协议和TTCN标准的基础上,构建了一种基于TTCN标准的一致性测试系统.介绍了该测试系统的架构与工作原理,同时给出了ICMPv6一致性测试的方法和步骤,并在测试平台上执行了测试套. 相似文献
9.
协议的冒烟测试在网络产品的设计过程中有着重要的作用。文章关注于协议冒烟测试系统的设计和实现,提出了一种单机虚拟测试方法,并采用该方法实现了一个基于Tcl语言的协议冒烟测试系统,并在实际应用中取到了较好的测试效率。 相似文献
10.
11.
表示层协议是OSI高层协议的一部分。文中介绍协议一致性测试的研究现状、测试过程及基本测试方法,分析表示层协议一致性测试需求;采用抽象语法表示(ASN.1)与树表格式(TTCN)相结合的形式化描述语法,设计实现了表示层协议核心部分一致性测试系统及测试集;测试系统通过了对ISODE软件表示层协议实现的一致性测试。表示层协议一致性测试系统,是协议一致性测试系统(PCTS)的一个子系统。这个子系统的功能实 相似文献
12.
13.
14.
Jae-Ho Lee Jong-Gyu Hwang Ducko Shin Kang-Mi Lee Sung-Un Kim 《Computer Standards & Interfaces》2009,31(2):362-371
Verification and conformance testing for protocol specification, the key part of the protocol development process, are complementary technologies employed to increase confidence that a system will function as stated in its specifications. In this paper, we verify the safety and liveness of the protocol specified for the Labeled Transition System (LTS) by using a model-checking method and implementing the testing tool, which experimentally demonstrates the presence of deadlock and reachability from the initial state to a random state. Implementing the testing tool can use modal mu-calculus to assess whether protocol model properties, presented by modal logic, meet protocol specifications. In addition, we propose a conformance testing tool to check correct implementation of sequences that have been derived by the UIO method from the specification of the protocol being verified. This generating tool uses the C++ language in the Microsoft Windows NT environment. 相似文献