基于FSM的IPv6邻居发现协议一致性测试的研究可编辑.doc

基于FSM的IPv6邻居发现协议一致性测试的研究（可编辑） 基于FSM的IPv6邻居发现协议一致性测试的研究 西安电子科技大学 学位论文独创性 或创新性 声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在 导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特j|lll,Jn以标 注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成 果;也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的 材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说 明并表示了谢意。 申请学位论文与资料若有不实之处， 本人承担一切的法律责任。 日期 本人签名:幺亟垦 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即:研究生 在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留 送交论文的复印件，允许查阅和借阅论文;学校可以公布论文的全部或部分内容， 可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后结合 学位论文研究课题再攥写的文章一律署名单位为西安电子科技大学。 必威体育官网网址的论文在解密后遵守此规定 本学位论文属于必威体育官网网址，在j解密后适用本授权书。 L 日期丝竺』:!兰?l 日期鱼盟(丝:垡 IIIII I III IIIIIIII IIIIl ,1865424 摘要 作为下一代互联网协议，]Pv6有其自身明显的优势:近乎无限的地址容量、 增强的地址方式、自动配置 “即插即用’ 功能以及增强的安全性操作等。而邻居发 Discovery 现协议 Neighbor 条链路上的所有节点之间的互操作问题。 随着IPv6技术的不断发展，越来越多的厂家各自推出了支持IPv6的通信设备。 自然语言描述的，在RFC中以文本形式给出，各协议但由于IPv6协议是用 实现厂 家对协议会有各自不同的理解，有的理解甚至是错误的，从而使得通信设备的协 议非一致性问题日趋严重。因此，越来越多的研究人员致力于开发出好的口v6协 议一致性测试产品，用来检验各生产厂家的协议实现是否与标准文本相一致，进 而确保各厂家的协议实现之间能够互操作。事实上，网络的飞速发展早已使得协 议一致性测试成为计算机网络技术中热门的话题之一。一方面，从标准化角度看， UnderTest，被 一致性测试的重要性在于:为了验证协议实现IUT Implementation Under Test，被测系统 与相关协议标准的一致性，必须进 测实现 或SUT System 行协议一致性测试，可以说不经过一致性测试，就没有实现真正意义上的标准化: 另一方面，从协议工程学角度看，一致性测试也是其中的关键环节，通过形式化 描述技术，一致性测试与协议工程学中的其它领域可以有机地结合起来。 本文首先介绍了协议一致性测试的相关概念，然后详细阐述了IPv6邻居发现 协议及其测试方法，在对邻居发现协议进行详细分析的基础上，提出了协议 的形 式化描述方法，建立起邻居发现协议基于有限状态自动机 FSM 的主机模型。 重点研究了它的一致性测试的系统结构和测试执行，并建立相应的测试环境。最 后使用自定义的测试集对建立起来的IPv6邻居发现协议主机模型的实现进行了测 给出了测试报告，并对测试结果进行了分析。本文所研究的邻居发现协试， 议的 主机状态模型，是针对一个协议实体的状态机模型，今后将深入研究包含多个实 体的协议系统模型。 通过对测试结果进行分析，验证了基于有限状态自动机的模型在外部行为上 同协议规范的一致性，同时发现了被测模型实现的一些不一致的问题，为今后测 试方法改进，使协议的具体实现与协议标准相一致打下基础。 关键词:邻居发现协议协议一致性测试有限状态自动机 Abstract Internet hasitsownobvious Asthenext Protocol，IPv6 superiorities， generation abundantoftheaddress address suchasthe structure，the strengthened capacity,the and the functionofthe strongersecurity,etc( auto-configuration namelyPlug Play and IPv6(Ithassolvedthe While isthe of neighbordiscoveryprotocolmajorcomponent allnodesonthesame