系统分析方法在协议一致性测试研究中的应用.pdfVIP

苎±二星!里盐苎垫堂皇塑些兰墼塑望生兰查室墨丝奎 ． 系统分析方法在协议一致性测试研究中的应用 赵邑新吴建平 (清华大学计算机系北京】∞034) 攮要系统分析具有较为完善成熟的理论基础和方法，本文将系统分析的概念与方法引入协议及—致性测试 研究．定义了协议传递函数．提出了协议的系统模型和测试方法系统模型，咀系统的观点考察协说、指导协 议一致性测试，以求对协议和一致性测试有更深入的认识：在此基础上，奉文分析了一臻性测试应当溯l的 测试内容、现有一致性测试方法的测试能力．并给出了应甩系统分析方法所进行的H甲协议一致性潮试实倒· 关甓字系统分析，协议j一致性测试 1引言 姗曲蜮的广泛应用对人类生活的各个方面产生了深刻的影响．而协议是弼络的灵魂，正确、有效的协 议是网络生存和发展的决定因素．通过测试，可发现网络产品中的缺陷或错误，使厂商鲢够改进产品．提高 性能． 系统分析与控制【l】是历史较悠久的学科，具有较成熟的理论和方法．网络、协议也属系统藕畴．因此 可利用、借鉴系统分折的理论和方法对网络和协议进行研究。以系统分析的观点考寨协议和协议测试，可以 指导、辅助协议和协议一致性测试的研究．现有协议模型比较简单．通常是非形式化的表示，瘫I；t精确刻两 协议特性．影响对协议的理解与分析，另一方面，对于协议一致性凛l试中常用的测试方法，其测试瞻力也投 有经过探八分析，会导致凄I试方法选择不当等问题．对于协议及测试方法的粗糙的认识必然影协谈测试的针 对性和有效性． 本文以系统的观点考察协议和协议测试，将系统分析的概念和方法引^协议和协议一致性测试．定义了 N层协议的传遵函数．用以刻画协议的特性，指出传递函数是协议一致性测试应当测试的内容．进而建立了 协议栈的模型；利用该模型可咀对协议进行系统分析；针对四种常用的一致性曩j试方法【2】，也利用系统分析 的方法进行了相应的分析．讨论了各种测试方法的特点和测试能力．并以PPP协议【3】的测试为实蜊进行了说 明． 2系统与系统分析 系统可以看成是相互关联和相互作用的若千部分组合而成的、具有特定功能的整体[4】．系境可以利用 个输出．按照方程共型分。可以分为线形系统和非线形系统．建立系统的数学模 城( 啦( n嫂 型是对系统进行分折和研究的基础．传递函数模型是系统的主要数学模型之一 卜t ” 系统模墅传递函数是进行系统分析和设计的重要手段．若线性、定常、集总 图l、系统的站构圈 参数系统的高阶微分方程为t 渊t)+bll—西1№+ +．+‰．1，1)(t)+a。y(t)= y叶t)+^I尹。kt)+a矿1t)+ 阿lot)++b．101h)+kI心) k)U(s) 则定义l 为该系统的传递函数．对于如图1所示的多输入输出系统，满足线性、定常、集总参数，也可定义其传递 函数： ·本课最得到目亲自然科学基盘支持(N0．696救O∞和No 55 第十一届中国计算机学会网络与数据通信学术会议论文 Y(s)=fYl(s)．Hs)uⅦs)】7Y(s)=G(s)qs)c缃曲传递函数矩 u0)=ⅣI(暑)，u《s)一s)】7 阵． 系统丧型传遵函数(或传递函数矩阵)的意义在于它刻i了系统的特性：只与系统的结椅参数有关，而 与系统的变量无关，通过它可以分析系统的静卷、动态特性，它铯眵反映系统各个环节对于整体性能的作用 与影响，根据它可分析出为了使系统达到某些静卷或动态特性，如何设计校正环节．一旦建立了谈系统模型， 则可以脊舅系统在任意输入下的输出．传递函数的方法和思想可用于协议、协议一致性测试研究． 3协议的系统分析模型 协议(戚协议栈)的研究也需要相应的系统模型进行描述．协议作为系统的具件形式之一．其兆性使其 具有一觳系统所共有的性质和特点；协议一致性涮试应当充分利用系统分析的思想与成果．同时协议的特性 又使■不娩