ipv6互操作性测试研究.pdf

University ofScience and Technology ofChina Adissertation formaster’S deg ree Research ofIPv6 lnterOperabiIity Testing Author’SName: Speciality: bupervisor: Finished time: Xueqin puter Software andTheory Jiang April 22,2012 中国科学技术大学学位论文原创性声明本人声明所呈交的学位论文,是本人在导师指导下进行研究工作所取得的成果。除已特别加以标注和致谢的地方外,论文中不包含任何他人已经发表或撰写过的研究成果。与我一同工作的同志对本研究所做的贡献均已在论文中作了明确的说明。作者签名:蹲签字日期:』盟L￡兰L 中国科学技术大学学位论文授权使用声明作为申请学位的条件之一,学位论文著作权拥有者授权中国科学技术大学拥有学位论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅,可以将学位论文编入《中国学位论文全文数据库》等有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。本人提交的电子文档的内容和纸质论文的内容相一致。保密的学位论文在解密后也遵守此规定。西公开口保密( 年) 作者签名:豳堕置导师签名:洳签字日期:兰!!!:』:至2 签字日期:塑!兰=』二兰壁: 摘要摘要随着互联网规模的不断扩大,已有的IPv4地址即将枯竭,IPv6将逐渐得到广泛的应用。目前,随着各个国家大规模的部署IPv6网络,各种支持IPv6协议的网络设备也已经投入到实际的网络应用中,如何保证不同厂家生产的IPv6 设备能够正确通信和互操作成为网络发展中的关键问题。.3作为唯一标准的协议测试描述语言,已经被广泛应用于协议测试中,在协议一致性测试方面的使用较为成熟。一致性测试无法保证协议实现之间的正确交互,因此必须要进行互操作性测试来验证网络中设备之间的互连互通。目前的互操作性测试研究主要集中在对互操作性测试理论研究和测试序列的生成方面,对互操作性测试工具开发相对较少。本文通过研究互操作性测试理论和基本测试框架,对IPv6协议规范的形式化描述和互操作性测试序列生成算法方面做了一定的研究,.3语言编写互操作性测试例。在此基础之上,.3编译器,开发一套IPv6互操作性测试工具,工作的重点在系统适配器和编解码器的开发方面,并通过完整的互操作性测试实验验证了测试工具的可用性。在IPv6互操作性测试工具的基础上,.3语言引入到无线传感器网络的测试,给出了一种基于单边互操作性测试架构的设计方案,该方案将被用于6LoWPAN协议互操作性测试系统,对测试系统的结构、功能和三种应用场景也予以了详细的描述。关键字:.3 6LoWPAN 摘要一垒璺兰坚坠璺!一一 ABSTRACT With thedevelopment ofInterne,IPv4 addresses almost have been exhausted, andtheapplication of lPv6 withthedevelopment of works,many kinds work devices which support IPv6protocol have beenput to ensure the munication and interoperationamong differentmanufacturers’IPv6 e akey issue. As恤only standardprogramming language usedfortesting munication protocol,一3 iswidely usedinprotocoltesting andhasbeenrelatively mature particularly testing cannot guarantee the correct interactionamong protocol realizations,SOinteroperabilitytesting is necessary toverify the interconnection among devices ,most ofinteroperability testing studiesmainly focus on interoper