万方数据IPv6协议一致性测试张升，刘兴伟，郭闯协议一致性测试System制定了～套国际标准——ISO／IEc9646(协议的一致西华大学学报(自然科学版)AConformanceTestingforIPv6Protocol协议是计算机网络的核心，是通信双方关于如何进行通信的约定规则。目前的协议一般都是由自然语言来加以描述的文本，网络设备的实现者往往会对这些协议文本有不同的认识和理解。所以，实现过程中的非形式化因素将出现相同协议的不同实现，以至可能出现导致完全错误的协议实现。即使这些网络设备厂商都能正确地完成了协议实现，也无法确定所有不同的协议实现之间是否可以准确地进行信息交互，因此，需要一种有效的方法对协议实现进行判别，这种方法就是协议测试¨、2J。从20世纪起，在欧洲就有众多的计算机企业及各种研究机构对协议一致性测试技术进行重点的研究口制，如德国柏林科学研究院GMD、法国巴黎的ADI、英国国家物理实验室NPL都进行了一系列对协议一致性测试的标准化工作b’6]。20世纪90年代，国际标准化组织(ISO)专门性测试方法和框架)，它为协议的一致性测试提供了基本方法和框架，为测试集制定了设计步骤和描述方法，并为测试系统的实现提供了指导。我国从20世纪80年代开始了OSI协议测试等方面的研究，并紧紧跟踪世界先进国家在协议测试领域的最新研究动态，如清华大学在“八五”期间研制成功了基于TFCN的“协议一致性测试系统PITS”【_瑚J。本测试系统在遵循IS0／IEC9646的协议一致性测试方法下，进行该测试系统的平台的搭建。11．1协议一致性测试原理协议测试理论包容了协议测试的整个过程，其主要研究内容可以概括为测试组织、测试方法、测试生成、测试集描述、测试管理、测试执行和判决、测试结果分析等多个方面，功能如表l所示。Journal文章编号：1673．159X(2009)Ol-0034-04摘要：对网络设备的协议实现进行一致性测试是网络设备研发的必要环节。本文在研究协议一致性测试原理和方法的基础上，围绕实现IPv6协议一致性测试这个目标，在Linux平台上设计了一种协议一致性测试的软件架构。同时针对LinuxAS4．0的IPv6基本协议和ICMPv6设计了两大组共10个测试例，并对RedHatAS4的IPv6协议的一致性进行了验证测试。关键词：网络；协议；一致性测试；IPv6协议中图分类号：TP393．06ZHANGSheng，LIUXing—wei，GUOChuang(SchoolofMathematics&ComputerChina)System(CTES)isscherm自s(10test)are第28卷第1期ofXihuaUniversity·NaturalScience2009年1月(西华大学数学与计算机学院，四川成都610039)文献标识码：AproposedconformanceAM．0protocolsconducted收稿日期：2008-06·16基金项目：四川省教育厅自助科研项目(07ZAll5；07ZC050)作者简介：张升(1983·)，男．山东德州人，硕士研究生，主要从事计算机网络研究。VoL28，No．1Jan．2009LinuxEngineering，XihuaUniversity，Chengdu610039Abstract：Protocolisimportantstepthedevelopmentnetworkdevices．Inthispaper，thearchitectureTestExecutionbasedtheoriesandmethodsplatform．ItimplementedbasicIpv6testedafterward．TwodesignedICMPv6operationsystem．TheprotocolRadHatAS4well．Keywords：Network；Protocol；Conformancetest；IPv15testanaonarecasegas万方数据测试管理募勰嬲黜憾张帕斛纵部雾黜行蠡嚣裂舞篙霰寮黧委嚣鹱芒燃裂盏筹测试生成豢委藩磊荽器釜裂标准的描述中获得进行协嚣蒸磊茬瑟霎霎喜黧嘉焱黧器蒙誓铲翼萝结果黎举雾稔装荔蓑曩碟箍嚣勰美婆萎薷嘉翥篓翌蓑辜馨辇辫薹嫠差娄磊篙篱装的研究，明点的，主机和路由器都必须实现。IPv6相关的协议在协议标准中定义的一致性测试需求分为两个基本组：(1)静态一致性要求。网络互连所规定的最小能力，规定了在对可选功能进行选择时应遵从的约束。它规定了协议实现所应提供的最低功能，以及不同可选功能之间的组合性与一致性。(2)动态一致性要求。协议所规定的全部可观察到的行为，它定义了协议实现和外部环境进行通信时的可观察行为，构成协议标准的主体。常见