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

第十一届中国计算机学会网络与tR通煊荆一全iz鱼 一一一一一一一一 系统分析方法在协议一致性测试研究中的应用 赵邑新 吴建平 (清华大学计算机系北京100084) 摘要系统分析具有较为完善成熟的理论基础和方法，本文将系统分析的撅念与方法引入协议及一致性侧试 研究，定义了协议传递函数，提出了协议的系统棋型和侧试方法系统模型，以系统的观点考察协议、指导协 议一致性侧试，以求对协议和一致性侧试有更深入的认识:在此基础上，本文分析了一致性侧试应当涉及的 侧试内容、现有一致性侧试方法的侧试能力.并给出了应用系统分析方法所进行的PPP协议一致性翻试实例。 关键宇系统分析，协议x一致性侧试 1引言 Intemet的广泛应用对人类生活的各个方面产生了深刻的影晌。而协议是网络的灵魂，正确、有效的协 议是网络生存和发展的决定因索。通过侧试，可发现网络产品中的缺陷或错误，使厂商能够改进产品.提高 r