共查询到15条相似文献,搜索用时 182 毫秒
1.
2.
在Internet迅速发展的今天,TCP/IP协议族的一致性测试具有重要意义。协议一致性测试研究工作主要集中于两方面:测试组织,测试方法的研究和测试系统的建立;测试集,如何生成高质量的测试集。文章针对跨越Internet的远程异地测试需求,研究了时间透明性问题、测试组织、测试方法和测试系统构成。作者已将这种方法用于PITS系统TCP/IP协议族的远程异地测试子系统的设计。原来为各种本地测试方法所编写的TTCN抽象测试集只需小的修改即可使用。 相似文献
3.
边界网关协议BGP-4的一致性测试 总被引:1,自引:0,他引:1
边界网关协议是在全球因特网上,用来在自治系统间的传递路由信息的域间路由协议。边界网关协议(BGP-4)的一致性测试,是国家高速信息示范网路由协议测试项目的重要组成部分。文中介绍了通讯协议的一致性测试方法,并结合BGP-4的一致性测试进行测试方法的实践与研究。针对GBP协议的不同部分的测试,介绍了不同的测试方法以及测试系统和测试环境的设计与构造。 相似文献
4.
一致性测试在通信协议工程中是非常重要的。本文给出有关一致性测试的一般概览。一致性测试的基本原理,抽象测试方法的比较和选择,测试集和TTCN,一致性评估过程以及结果的分析将在文章中讨论。 相似文献
5.
6.
7.
Internet协议的一致性测试是保证厂商的Internet产品和服务实现互连和互通的重要技术手段。文章在扼要地介绍简单邮件传输协议SMTP的基础上,理论上分析了SMTP的测试组织、抽象测试方法和测试集的设计,提出了适合于SMTP一致性测试的测试结构和测试描述技术。最后讨论了在协议集成测试系统PITS中SMTP一致性测试的实际应用。 相似文献
8.
用户数据报协议的一致性测试研究 总被引:1,自引:0,他引:1
Internet协议的一致性测试是保证厂商的Internet产品和服务实现互连和互通的重要技术手段。文章在扼要介绍用户数据报协议UDP的基础上,依托协议集成测试系统(PITS)给出了用户数据报协议UDP的测试方法、测试组织和测试集结构,最后介绍了利用此系统进行的实际的UDP测试活动,并给出了测试结果和分析。 相似文献
9.
10.
BGP4+协议一致性测试系统设计与实现* 总被引:1,自引:0,他引:1
BGP4+是一种在自治系统间运行的动态路由协议,其功能是在自治系统间交换网络层可达信息。IPv6协议作为下一代互联网最有竞争力的核心协议成为研究热点。BGP4+是IPv6最重要的路由协议,已经在路由器等网络设备中得到广泛实现。如何保证各网络设备协议实现的一致性,是保证各设备可以互连、互操作的关键。在介绍BGP4+的基础上,设计并实现了BGP4+的协议一致性测试系统,并对一基于FreeBSD平台的BGP4+一致性测试实现的结果进行了分析。 相似文献
11.
帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 ,并且已经将利用协议集成测试系统取得的该一致性测试的研究成果应用到路由器的开发和研制过程中 相似文献
12.
基于扩展有限状态机的协议测试集生成研究 总被引:21,自引:1,他引:21
与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明. 相似文献
13.
14.
在概述手机游戏开发和测试方法之后,重点讨论手机游戏采用的WAP(Wireless Application Protocol,简称WAP)协议。结合WAE(Wireless Application Environment,简称WAE),WAP协议的应用层,一个用MSC图(Message Sequence Chart,简称MSC)描述的游戏协议模型被提出;为了辅助游戏测试,给出了一个基于TTCN的手机游戏测试套框架。为了指导上述模型的应用,介绍一个由Nokia公司开发的苹果机游戏的测试工作。 相似文献
15.
随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究. 相似文献