基于网络协议的一致性测试研究.pdf

南京邮电大学硕士学位论文摘要者:三塑王级研究生顾丽丽指导教师搀塑壹虚拟仪器在通信信息系统中的应用工学测试计量技术与仪器目:基于网络协议的一致性测试研究主题词:一致性测试—涌谟邢拮刺测试序列研究方向:学科、专业:作英文题目:—题:
摘要了保证协议实现的质量,需要对协议实现进行评价,这就是“协议测试”。一致性测试是协议是计算机网络的核心,随着网络技术的飞速发展,网络协议越来越复杂庞大,为协议测试领域的一个重要分支,用来检测所实现的协议实体与协议规范的符合程度。进行一致性测试,通常需要首先对协议进行形式化描述,然后根据该形式化描述生成测试序列。有限状态机是常用于协议一致性测试的形式化模型,它主要用于描述协议的控制流部分。本文以—涌谛樽魑>咛宓姆治龆韵螅孕榈姆肿槭菀滴窳鞒进行了分析,,阐述了生成协议一致性测试序列的方法,,进行了具体的测试序列生成的分析比较。通过仿真平台对诮屑嗖庥敕抡婵刂疲圆馐孕蛄薪辛搜橹ぃ测试结果完全符合协议规定,实现了协议的一致性测试。关键词:一致性测试,.涌谛椋邢拮刺问交枋
現,,甅,,!甐‘三埃篿‘—,,甀琾,”.瑃,瑃..,甀産甌,.
缩略语鵌扩展的有限状态机欧洲电信标准委员会形式化描述技术有限状态机实缧帕C徊馐允迪痔虏馐猿绦控制观察点槭莸ピ槭迪值囊恢滦猿率协议实现测试的附加信息喜馐猿绦究刂破基站收发台贫换换抽象服务原语致性测试方法论与框架虱际标准化组织娣端得骱兔枋鲇镅ㄒ皇淙胧涑龇敕侄嘀移动台肿榭刂频ピ肿槭莘窠诘淇刂菩ㄖ行葑急阜⑺消息传递部分南京邮电大学硕士研究生学位论文
研究生签名:阻毒师签名:研妄生签名:盟日期::南京邮电大学学位论文使用授权声明南京邮电大学学位论文独创性声明含为获得南京邮电大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包明确的说明并表示了谢意。南京邮电大学、中国科学技术信息研究所、国家图书馆有权保留本人所送交学位论文的复印件和电子文档,可以采用影印、缩印或其他复制手段保存论文。本人电子文档的内容和纸质论文的内容相一致。除在保密期内的保密论文外,允许论文被查阅和借阅,可以公布ǹ论文的全部或部分内容。论文的公布ǹ授权南京邮电大学研究生部办理。
第一章概述课题的背景和意义也越来越大。如何设计出功能上正确可靠,逻辑上一致完整的网络协议,并且系统地进行质量的一致性测试套是一个核心问题,而寻找通用、高效的一致性测试套生成方法一直是基础。系统具有频率规划简单、系统容量大、频率复用系数高、抗多径能力强、通在过去二十年中,以信息交换为基础的计算机网络和分布式系统取得了飞跃性发展,。与此同时,随着计算机网络和分布式系统的趋复杂,网络协议的种类和数量越来越多,其规模协议规范、协议验证、协议实现和协议测试,己经成为了一个非常具有挑战性的课题。为了解决以上的问题,很多学者将形式化方法引入到协议的研究中,从而形成了一个新的研究领域,称作协议工程。作为协议工程学的一个重要分支,协议一致性测试检查协议的具体实现与协议规范铣潭龋淠康氖翘岣叻植际较低匙榧之间能够成功进行通信的概率。在协议一致性测试中,如何从协议模型和规范出发生成高研究者们不懈追求的目标。协议一致性测试在形式化协议理论中,占据着极其重要的地位。进行一致性测试的目的,是检查协议的待绷实现是否满足网络互连的要求,即不同的协议开发人员根据同一份协议标准开发出来的协议软件是否能够通过网络进行互连和互操作。若一个协议的实现不依据协议规范,则它与其他与规范一致的协议实现之间就无法进行互连,这样的协议实现在实际的网络应用中也就没有价值了。近几年来,移动通信的发展十分迅猛,目前各国都在加紧系统的开发和商用试验,为了使得来自不同厂家的系统能够成功地进行通信,必须要有标准化的协议,它规定了通信系统之间进行通信时应遵守的规则。目前国际电联接受的标准主要有以下三种篧、与—是敕侄嘀的缩写,是第三代移动通信系统的技术信质量好、软容量、软切换等特点,可以大量减少投资和降低运营成本。曜际怯烧鳦~曜佳萁吹牡谌贫ㄐ标准,由美国高通公司为主导提出,摩托罗拉、朗讯和韩国三星等厂商参与。同时提供话音和高速分组数据业务,最高速率可达/∩仙兜美吹腄K荂墓砂姹荆С指咚偈萃ㄐ鸥蒁南京邮电大学硕芯可宦畚第一章概述
课题来源论文框架应用。系统中增加了以下几个接口:産,/,//,疉这些接口中,除//接口采用传统的/涌诶闯性仄吆判帕钔猓