文档介绍：内蒙古大学
硕士学位论文
基于GE--3抽象测试套的设计与实现
姓名:刘波
申请学位级别:硕士
专业:计算机软件与理论
指导教师:赵玉兰
20090520
基于—榈腡橄蟛馐蕴椎纳杓朴胧迪摘要随着计算机网络的快速发展,网络协议测试技术成为人们日益关注的焦点,而如何才能设计出可靠的网络协议测试工具已经成为人们必须要面对的问题。为此,协议工程琍应运而生。形式描述技术在协议工程中扮演着重要角色,使得网络协议测试的正确性和可靠性得到了有利的保障。是一种形式描述技术,它支持形式化方法。图形甃甃,.是甃的图形表示形式,具有形象、直观的特点。本文遥过对甃和,纳钊胙芯浚谝延蠰的图形表示基础上,;;;给出了,。议关键字:.橐恢滦圆馐裕琓,抽象测试套,.协内蒙吉大学硕士学钽论文
...琍瑆瓽狶,.,—瑆.—琣.—.Ⅱ
:—琍·.,,琁狪内蒙古大学硕士学位论文·
⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图一致性测试的基本模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。—挠成浔怼图核心语言和各种表示格式的用户视图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图—路由协议拓扑结构图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.广播网络邻接关系状态机和输入事件⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.的糠值腉甃表示⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.的部分中状态的—硎尽—⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..的部分中输入事件⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..—的部分中输出事件⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..、⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.—⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...协议测试套测试状态的测试例内蒙古大学硕士学位论文Ⅵ
氢垒羔墨皇仝:』:原创性声明在学期间研究成果使用说明书本人声明:所呈交的论文是本人在导师指导下进行的研究工作及取得的研究成果。除的研究成果,也不包含为获得内蒙古大学或其他教育机构的学位或证书而使用过的材料。了文中特别加以标注和致谢中所罗列的内容以外,论文中不包含其他人己经发表或撰写过与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。学位论文作者签名:日指导教师签名:学位论文作者完全了解内蒙古大学有关保留和使用学位论文的规定,即:内蒙古大学研究生在校攻读学位期间论文工作的知识产权单位属内蒙古大学。学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许学位论文被查阅和借阅;学校可以公布学位论文的全部或部分内容,可以允许采用影印、缩印或其它复制手段保存、汇编学位论文。作者今后使用涉及在学期间主要研究内容或研究成果,须征得内蒙古大学就读期间导师的同意;若用于发表论文,版权单位必须署名为内蒙古大学方可投稿或公开发表。
第一章绪论研究背景世界中,协议是计算机之间或计算机与其它设备之间进行数据交换而建立的一系列规则、标准或约定。网络协议是计算机和计算机之间以及计算机和其他设备之间进行数据通讯的协议工程是世纪年代发展起来的一门新兴学科。它采用形式化的方法描述协议设计和维护的各个活动,是研究以协议为对象的软件工程,而且所建立的协议设计方法比的说明、开发和验证提供了一个框架,利于发现目标软件系统需求中的不一致性、不完整百和进程代数了应用,但它却不利于协议验证的实现。荈的变种,在协议工程中应用的不多。计算机和通讯密切结合而形成了计算机网络,它已经成为信息社会的基础。在计算机必要条件。为了设计出高质量的协议,保证协议的完整性、正确性、安全性、可移植性和标准化,以及控制协议开发的成本和缩短开发周期,需要采用协议工程的技术和方法设计出功能上正确可靠、逻辑上一致完整和易于有效实现的网络协议。现有软件工程的一般方法更严格,从而使协议开发的整个过程一体化、系统化和形式化。协议工程的研究范围包括协议说明、协议验证、协议综合、协议转换、协议性能分析、协议自动实现和协议测试等。形式化的方法是基于数学方法来描述目标软件系统性质的一门技术。用严格的数学符