基于TTCN-3的Zone协议一致性研究和验证

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:syscom
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
计算机网络将计算机与通信技术融合在一起,它实现了远程通信、信息交互和资源共享,而协议在计算机网络中一直相当重要。分布式系统中各种通信实体之间交互信息必须满足协议规定。协议是构建网络的基石。因为FCoE是存储网络最重要的一个技术,存储网络的结构慢慢地变得非常庞大,为了方便网络管理以及维护,非常多的网络协议就出现了。当下每个定义协议准则的组织都通过自然语言对网络协议进行解释描述,这样就给许多的协议开发工作者制造了太多的麻烦。因为对于每个开发人员来说,他们对协议准则的认识都有非常大的不同,还有就是在开发这个阶段中出现了一部分客观因素。最终导致协议的实现会有不止一个版本,这里面还会出现不正确的协议实现。一致性测试的目的就是验证协议实现是不是与协议准则相一致。本论文主要是完成Zone协议一致性测试。Zone协议是由FC-SW-5定义的。而为了让各企业所实现的Zone协议可以与协议准则相吻合,协议一致性测试的作用就相当明显。和其他测试相比,协议一致性测试可以说是最跟本的。在协议实现完成了之后,测试人员要特别注意它。现在有非常多的协议一致性测试的方法,TTCN被使用的最为普遍,它其实就是一种测试语言。它有十分巨大的测试支持作用,让测试人员使用的时候可以很方便。文中细致的说明了协议一致性测试。然后它的基本概念还有工作机制进行简单介绍。说明了测试集描述语言TTCN-3的组件,测试系统等。本文严格遵循协议测试的方法对Zone协议一致性测试设计还有实现。首先介绍和整个测试相关的技术,然后对测试进行需求分析,分析Zone协议标准文档,找出最基础的测试点并将它们细化成为测试需求。深入分析了协议一致性测试方法。而且对Zone协议准则、工作过程、报文结构深刻认识得基础上,设计出Zone协议一致性测试。然后根据之前分析出的测试需求写出与之呼应的测试用例,最后用TTCN语言写出报文的模板,发送报文的函数,接收报文的函数。最后就是写出测试用例所相呼应的测试套。对测试结果进行分析。协议一致性测试系统能够对Zone协议实现协议一致性测试自动化,大大缩短了测试时间以及减少了人员投入。同时对于测试人员来说,管理和维护测试系统也会很方便。如果协议实现发生改变,只要对测试系统进行小范围修改就可以继续使用。
其他文献
电子邮件是当前社会主流的通信手段之一,是社会网络的一部分。一封电子邮件主要构成有邮件唯一标识,邮件的发送时间,邮件发送地址,邮件接收地址,邮件主题和邮件正文等。通过
按照聚类模式的不同,聚类算法可以分为球形聚类算法和非球形聚类算法。非球形聚类算法指的是自动检测数据中的任意形状类。最具代表性的非球形聚类算法是DBSCAN算法。DBSCAN
图像分割是图像处理的基础,它是将图像中具有某些独特特征的区域从整体图像中划分出来的过程。几何活动轮廓模型利用了图像底层特征,并有数学基本理论来支持求解,因此成为了
以智能手机和无线网络为基础发展的基于位置的服务给用户带来极大的方便,滴滴打车、微博定位、网上外卖等第三方应用在用户的日常生活中占据重要地位。第三方应用会对用户的
TCP/IP体系逐渐无法适应当前网络的环境和需求,国际上纷纷开展新型网络的研究。973项目“一体化可信网络与普适服务体系基础研究”提出的新型互联网,是具有我国自主知识产权
近几年,有机氮和有机硫化合物作为底物的有机合成反应引起了很多实验化学家的兴趣,并逐渐发展成了研究的热点。其中有机氮化合物主要包括环烷基肼、芳肼、杂环肼和酰肼等各种
DTN即延迟容忍网络,是一种在网络传输过程中允许一定程度的网络中断或延迟的网络体系结构。DTN的出现提高了端对端网络建立的可行性和高效性,为端对端通讯网络的组建提供了新
传统的数据中心之间是通过三层来进行互联,二层之间是隔离的。近年来,伴随着数据中心由唯一的主中心发展成为多个不同地点的中心,虚拟机动态迁移也在数据中心得到了广泛的应
Legendre-Stirling数是在Everitt探究经典二阶勒让德微分表达式的谱理论时提出来的,而且Legendre-Stirling数是拉格朗日对称式中勒让德表达式的积分复合幂的系数.Jacobi-Stir
局域网接入认证技术作为宽带网络接入的关键组成部分,是实现可管理、可运营网络的关键。Portal认证是一种接入认证方式,一般称为门户认证,或Web认证,Portal认证协议主要应用