共查询到19条相似文献,搜索用时 250 毫秒
1.
2.
3.
IPv6协议一致性测试系统 总被引:1,自引:1,他引:1
随着IPv6协议在我国的推广应用,各种相关设备蜂拥而来,由于各协议实现厂家对协议的不同理解,使得通信设备的协议非一致性问题日趋严重,为检查各个不同生产厂家的IPv6实现是否与标准文本相一致,进而确保不同厂家的IPv6实现之间能够互操作,开发一种IPv6协议一致性测试系统,并利用自定义的一种形式化描述语言,实现IPv6相关协议一致性测试集的形式化,文中给出该测试的结构,通过一个测试例介绍测试集的形式化和测试实现过程,使用该测试系统对多种IPv6协议实现进行测试,发现许不一致问题,为协议实现厂家提供了修改意见,作为例子,给出一种UnixIPv6邻居发现协议实现的测试结果分析。 相似文献
4.
5.
6.
EPA协议抽象测试集的设计 总被引:1,自引:0,他引:1
根据IEC9646对协议测试的原理和说明,基于工业以太网(EPA)协议的通信特点及其要求,设计了EPA一致性测试中抽象测试集的层次结构模型,参照树表结合表示法(TTCN)的结构框架和思路定义了一种类形式化语言来描述EPA的抽象测试集,介绍了EPA抽象测试集的生成过程和实现步骤。通过EPA 一致性测试系统的实际应用,证明EPA抽象测试集能够完整的包括EPA协议一致性测试的所有内容,根据此测试集设计的测试系统能够准确测试出被测协议实现是否与EPA标准一致。 相似文献
7.
协议一致性冒烟测试是在协议软件开发过程中进行的突显功能测试.冒烟测试系统需要解决测试功能选择、测试用例设计、测试系统实现以及二次开发接口等问题,本文在协议形式化描述模型上使用贪心算法进行测试功能选择,将测试需求转换成测试目的后自动生成测试用例,设计并实现了一个测试系统和一套完整的二次开发接口,并使用该系统对IP协议栈的一些协议进行了测试。 相似文献
8.
邻居发现协议的形式化测试 总被引:5,自引:0,他引:5
Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 . 相似文献
9.
基于SDL和MSC模型的一致性测试生成方法 总被引:1,自引:0,他引:1
本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法。这种方法从协议的形式化描述出发,用形式化的语言定义测试目的和测试组,通过本文提出的算法自动生成一致性测试套。 相似文献
10.
11.
12.
基于TTCN的协议的一致性测试是保证协议实现正确的重要方法.在介绍ICMPv6协议和TTCN标准的基础上,构建了一种基于TTCN标准的一致性测试系统.介绍了该测试系统的架构与工作原理,同时给出了ICMPv6一致性测试的方法和步骤,并在测试平台上执行了测试套. 相似文献
13.
基于SoT的BGP4+协议一致性测试系统设计 总被引:2,自引:0,他引:2
底层网络协议由IPv4向IPv6的过渡,导致原先运行于IPv4上的应用层协议也需要做适当的修改或补充,BGP4+协议就是为了适应这种变化而由原来的基于IPv4的BGP4协议修改而成。针对修改后的协议,需要设计新的BGP4+协议一致性测试系统。本文首先介绍了BGP4协议的特点和一致性测试的概念,提出了对测试集形式化描述的改进,并在此基础上详细阐述了BGP4+协议一致性系统的架构和设计方法。 相似文献
14.
0.前言近几年,随着计算机网络和通讯技术的不断发展特别是开放型异构网络的迅猛发展,协议的设计和实现变得越来越复杂,协议测试理论和技术的研究越来越重要,已经成为国际上计算机网络研究的热点之一。 相似文献
15.
IPv6邻居发现协议的一致性测试 总被引:1,自引:2,他引:1
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。 相似文献
16.
17.
18.
在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。 相似文献