IPv6邻居发现协议的一致性测试序列生成.pdfVIP

第 29卷 第 12期 信 号 处 理 V0l_29 No．12 2013年 12月 JOURNALOFSIGNALPROCESSING Dec．2013 IPv6邻居发现协议的一致性测试序列生成 陈守宁 郑宝玉 李 璩 赵玉娟 (1．南京邮电大学 通信与信息工程学院，江苏 南京210003； 2．江苏移动南京分公司，江苏 南京210029) 摘 要：自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来，IPv6已经历了十多年的发展。现 今已有越来越多的IPv6产品被投入到了开发与应用中。而如何提高不同产品问的互通性和可靠性则成为了一个 关键问题。进行协议一致性测试是提高IPv6实现可靠性的一种有效方式。本文就重点针对 IPv6邻居发现协议进 行了一致性测试分析。本文首先简要分析了IPv6邻居发现协议的主要功能及实现原理，并据此抽象出其有限状 态机 (FSM)模型。进而结合一种现有基于有限状态机 (FSM)的一致性测试序列改进算法生成了该协议的抽象测 试序列。本文在最后对得到的测试序列进行了有效性和可靠性分析，分析表明，使用该算法得到的测试序列不 仅在序列长度上较传统 UIO序列法有了明显的缩短，同时对测试过程中可能发生的输出错误及末状态转换错误 也具备 良好的检测能力。本文获得的抽象测试序列可对相关 IPv6协议开发者提供有效参考。 关键词：IPv6；协议一致性测试；有限状态机 (FSM)；UIO序列 中图分类号：TN92 文献标识码：A 文章编号：1003—0530(2013)12—1670-07 GeneratingofConformanceTestingSequenceforIPv6 NeighborDiscoveryProtocol CHENShou—ning ZHENGBao．yu LIJing ZHAOYu-juan (1．CollegeofTelecommunications InformationEngineering。NanjingUniversityofPosts andTelecommunications，Nanjing210003，China；2．JiangsuMobileCommunicationCompany LimitedNanjingBranch，Nanjing210029，China) Abstract： SincetheInternetEngineeringTaskForce(IETF)putforwardthenextgenerationofInternetstandardsin 1998，IPv6(InternetProtocolversion6)hasgonethroughtenyearsofevolutionandnowadaysmoreandmoreIPv6devices havebeenputintodevelopmentandapplication．SohowtoimprovethereliabilityandinteroperationbetweendifferentIPv6 implementationshasbecomeakeypoint．ConformancetestingisaneffectivemethodtoimprovethereliabilityofIPv6 im— plementationandthispaperwillfocusontheconformancetestingofIPv6NeighborDiscoveryProtocol(NDP)．Inthispaper wefirstanalyzethemajor