IPv6路由器的测试集规划技术的研究.doc

此文档收集于网络，如有侵权，请联系网站删除IPv6路由器测试集规划技术的研究 刘 霞 曾 淼 徐 娟 (西南交通大学计算机与通信工程学院 成都 610031)摘 要: 本文以四川省网络通信技术重点实验室进行的IPv6路由器的并发多端口测试技术研究和系统开发为背景，讨论了测试集的规划技术，其中的重点是通用测试集的规划。根据IP协议集的特点，本文分别针对单状态协议和多状态协议通用测试集规划的一般方法进行了详细的讨论。关键词：通用测试集 (GTS Generic Test Suite) 规划 此文档仅供学习与交流1 引 言在从IPv4向IPv6网络过渡期间，对新一代的IPv6网络产品，特别是路由器产品进行测试变得越来越重要。但是，迄今为止国、内外对路由器进行测试所采用的技术，仍然沿袭ISO规定的两种测试中继系统的方法：回绕测试(Loop-back Test)和穿越测试(Transverse Test)法1。由于这两种方法只能对路由器单个或一对端口进行测试，难以对未来的多端口路由器进行完整的测试，四川省网络通信技术重点实验室对“并发多端口测试技术”进行了研究并正在开发相关的测试系统。由于并发多端口测试可以对多个端口同时进行控制和观测，完成各对端口测试过程的协调与同步，因而能够在模拟路由器的正常与极端工作环境下进行测试。因此，并发多端口测试能够进行全面三类不同性质的测试，即：是否符合相关协议标准的测试(Conformance Test)、性能测试(Performance Test)和互通测试(Interoperability Test)。网络协议测试系统通过执行事先定义的测试控制数据来达到测试目的。ISO 96461 将测试控制数据定义为层次结构，其顶层为测试集(Test Suite)，下面各层次分别为测试组(Test Group)、测试子组(Test Subgroup)、测试例(Test Case)和测试步(Test Step)等。尽管在20世纪8090年代，许多人对自动生成测试控制数据进行了大量的研究，但在Internet相关的协议测试中，仍然以人工描述技术为主，ISO 9646-3中制订的半形式化测试控制数据TTCN(Tree and Table Combined Notation)仍然是广为采用的语言。以测试集为例，测试控制数据从规划到转变为测试系统可执行的机器代码可呈现为3种形式：通用测试集（GTS - Generic Test Suite）、抽象测试集(ATS - Abstract Test Suite)和可执行测试集(ETS - Executable Test Suite)。GTS是对测试目的、测试覆盖范围和测试内容的宏观描述，详细地界定测试组、子组和测试例，是后续的抽象测试集的描述和具体化的基础。根据GTS和采用的测试方法，再采用某种描述语言(如TTCN)对测试例和测试步骤进行详细的描述，然后再组合成ATS。测试系统测试支撑工具（编译器或解释器）将ATS变为特定测试系统可执行的机器代码，直接用于控制测试过程。鉴于ATS的重要性，而对GTS又缺少标准化的规划与描述工具，加上Internet协议种类繁多，需要对相关的技术进行研究。出于实验室的研究工作的需要，笔者在相关的工作中对路由器的IPv6协议集GTS的规划技术进行了研究，并在规划IPv6协议GTS的实践基础上提出了单状态协议和多状态协议GTS规划的一般方法。2 GTS规划原则与测试命名编码规则2.1 测试集规划原则尽管IP路由器的用户平面较为简单，仅涉及网络层的IP协议；但其信令控制与管理平面却涉及包括应用层在内的多个协议6。如网络层的协议除IP之外，在IP之上的子层中，有ICMP、RSVP、IPSec等；而在IP之下的子层中，有ARP、IARP和RARP等。因此，GTS的规划必须充分考虑其复杂性，以便将单个GTS的规划控制在可管理的范围内。由于对路由器的测试按性质可分为：一致性测试(Conformance Test)、性能测试(Performance Test)、互通测试(Interoperability Test)、仲裁测试(Arbitration Test)等，在进行并发多端口测试时可能还包括多个协议间的多协议配合测试(Multi-protocol Coordinated Test)等，因此，GTS的规划还必须考虑适应各类测试的能力。按照ISO规定的路由器的测试方法，可分为单端口回绕测试和一对端口的穿越测试，当涉及多端口并发测试时，两种测试方法的组合可能出现更复杂的情况。因此，GTS的规划必须考虑上述种种因素和需要。在笔者的实践中，探索出以下几项GTS规划原则： 测试集的可管理原则 单个GTS的规模不宜太大，所涉及协议宜尽量少。在笔者的IP路由器通用测试集的规划实践中采用了以单个协议为基础规划GTS的方法，以避免单个测试集过大，向下细分层次过多。 向上汇聚原则在ISO的测试集之上，我们引入了超级测试类(STC - Super Test Class)的概念，将多个测试集向上汇聚为超级测试类(STC)，相应地可派生出通用超级测试类(GSTC)和抽象超级测试类(ASTC)。由于我实验室正进行路由器的并发多端口测试和传统单个端口或一对端口的测试，笔者目前定义了两类超级测试类：并发多端口超级测试类(MSTC - Concurrent Multi-port Super Test Class)和单个/单对端口超级测试类(SSTC-Single port/pair Super Test Class)。超级测试类可以根据需要增加。采用上述汇聚法的目的还在于能够与其他研究单位关于单端口/单对端口测试使用的GTS具有可比性。 测试集划分原则为了适应不同测试性质的测试需要，测试集可分为：一致性测试集、性能测试集、互通测试集等。 测试组划分原则针对不同的测试集，划分原则也有所不同。一致性测试主要根据测试需求以协议标准为单位来划分测试组（如邻居发现协议测试组、RIP协议测试组等）；而性能测试主要按性能指标实现测试组的划分（如端口流量测试组等）。测试组可根据需要进一步增加。由于一致性测试是各类测试的基础，因此下文主要讨论一致性测试集的规划，对于其它测试集的规划有待进一步研究。 测试子组划分原则为了适应一致性测试的需要，每个测试组可以进一步划分为测试子组(Subgroup)。对测试子组的划分，主要针对被测协议的特点（如单状态、多状态、有连接等）采用了下面的规划原则： 对于无连接的单状态协议（如IPv6协议）按报文格式的字段以及协议各项功能来划分测试子组。 对于多状态协议，无连接（如RIPng协议）或有连接协议（如OSPF协议、TCP协议）基于协议的有限状态机并结合非状态描述按各状态来划分测试子组。 通用测试例的规划原则通用测试例是测试子组下的细化，独立于测试方法，因此对它的规划可采用以下原则： 按报文格式的字段划分测试子组，其测试例的规划主要按各字段的有效取值和无效取值划分。 按协议功能划分测试子组，其测试例的划分有几种情况：一是按功能的有效情况和无效情况划分测试例；二是继续划分子功能，将之作为测试例。 基于状态划分的主要按各输入事件、输出事件、状态变迁、状态处理等划分相应的测试例。值得一提的是，前面讨论的6项原则既适用于通用测试集(GTS)的规划，也适用于抽象测试集(ATS)的规划。由于ATS与测试方法有关，因此根据GTS的规划加上具体的测试方法和测试步骤，就可以得到相应的由抽象测试例（ATC,Abstract Test Case）组成的ATS。2.2 测试数据命名与编码规则为了使测试名称的定义既符合2.1节中讨论的规划原则和层次性分组原则，又能够兼顾可读性和机器易识别性，必须对测试数据的命名和编码做明确的规定。在相关的工作中我们对GTS和ATS分别规定了下述命名格式与编码规则：注：表中的层次结构连接符为英文中的着重线（_），以避免与名称中的英文连字符（-）。表2 ASTC、ATS、ATM、ATG、ATSG、ATC和ATSP命名格式ASTC Name_ATS Name_Test Method Name_ATG Name_ATSG Name_ATC NameASTC Name: 抽象超级测试类名称（字符串，最多10个字符），如路由器并发多端口超级测试类（A-MSTC-IPv6、A-MSTC-IPv4等）和缺省路由器超级测试类（A-Rdef-IPv6、A-Rdef-IPv4等）。根据需要超级测试类可以增加。ATS Name: 抽象测试集名称（字符串，最多10个字符），如Conformance、Performance、Interoperable、Arbitration等。Abstract Test Method Name: 测试方法名称（字符串，最多10个字符），如Loop-back、Transverse等。ATG Name: 抽象测试组名称（字符串，最多15个字符），如A-IPv4、A-IPv6、A-RSVP、A-BGP-4、A-SNMP-2等。ATSG Name: 抽象测试子组名称（字符串，最多10个字符），如IPv6协议中版本字段的测试为Version等。ATC Name: 抽象测试例名称(字符串，最多10个字符)，如版本字段有效取值Version-6,无效取值 Version-5、Version-4等。ATSP Name: 抽象测试步名称（字符串，最多10个子符），如发送为send,receive等。表1 GSTC、GTS、GTG、GTSG和GTC命名格式GSTC Name_GTS Name_GTG Name_GTSG Name_GTC NameGSTC Name: 通用超级测试类名称（字符串，最多10个字符），如路由器并发多端口超级测试类（G-MSTC-IPv6、G- MSTC-IPv4等）和缺省路由器超级测试类（G-Rdef-IPv6、G-Rdef-IPv4等）。根据需要超级测试类可以增加。GTS Name: 通用测试集名称（字符串，最多10个字符），如Conformance、 Performance、 Interoperable、 Arbitration等。GTG Name: 通用测试组名称（字符串，最多15个字符），如G-IPv4、G-IPv6、G-RSVP、G-BGP-4、G-SNMP-2等。GTSG Name: 通用测试子组名称，字符串（最多10个字符），如IPv6协议中通信流类型字段的测试为TrafficClass等。GTC Name: 通用测试例名称(字符串，最多10个字符)，如版本字段有效取值Version-6,无效取值 Version-5、Version-4等。对比表1和2可以看出：抽象测试例（ATC）和测试步（ATSP）与测试方法有关，需要命名格式，而通用测试例（GTC,Generic Test Case）的命名规则只需要到测试例为止。事实上，GTC解决测什么的问题，而ATC要根据各GTC解决怎样测的问题（即采用一定的测试方法来实现具体的测试过程）。从人工阅读容易的角度出发，采用表1和表2中的全称命名方式较直观，但书写起来较为繁琐，为此在机器阅读格式中可以采用缩写方式，即符号加序号的方式, 在两种命名格式间需要进行映射。一个测试集（GTS或ATS）的层次结构中，允许在特定测试组中不再划分测试子组，此时，测试子组的编码为缺省编码（连续5个“E” - Empty, 表示为空，或GTSG/ATSG缩写命名为序号为“0”）。在对ATS进行编译或解释时即可直接将测试例隶属于相应的测试组。3 IPv6协议集测试集举例有了规划原则和系统的测试集命名规则，就可以针对不同的协议进行相应的规划设计。下面笔者将以超级测试类IPv6协议集为例详细讨论其规划过程。明确测试工作的对象和内容，才可有效地开展测试工作，因此首先要做好协议测试的需求分析。通过对IPv6 RFC文本及相关资料的研究，笔者针对IPv6协议集的特点对ISO1建议的测试集结构进行了相应的改进，并根据2.1节中讨论的测试集的规划原则设计了自顶向下的IPv6协议集的树状测试集结构(如图1)，该结构从上到下分为以下6层： （1） 超级测试类：指路由器的IPv6协议集单个/单对端口的测试，即多个协议测试集的向上汇聚。（2） 测试集：按测试性质划分，本研究主要进行协议的一致性测试，当然还可进行性能测试等。（3） 测试组：对应于协议集一标准协议规范。如IPv6基本描述协议（RFC2460）、ICMPv6协议（RFC2463）、路由协议RIPng（RFC2080）等。（4） 测试子组：对应于一个标准协议的某一项功能描述，包含一个或多个对该项功能进行多项测试的测试例，如RFC2460中关于下一报头的描述、HBH选项头在扩展头中位置的描述等。（5） 测试例：完成一个测试组可能需要多个测试例。比如为了测试RFC2460中关于HBH(Hop by Hop)选项头在扩展头中位置的描述，需要对HBH在扩展头中位置的前后进行考虑，因此可设计多种顺序组合，这就需要测试子组中包括多个测试例。（6） 测试步：一个测试例的完成需要进行初始化、发包和收包、比较以及处理结果等等，每一个动作就是一个测试步。需说明的是，前5层可用于GTS和ATS，但测试步与测试方法有关，因此只用于ATS。图1 IPv6协议集的树状测试集结构test step:test subgroup:test group:test case:BI001:HBH Behind DOH HeaderBI002Initialize,send,receive etcIPv6 Single port/pair Super Test ClassG15:RFC2080G1:RFC2460SG 8:HBH positiontest suite:P:PerformanceC:Conformace为了便于机器阅读，笔者根据表1的命名格式设计了IPv6协议GTS缩写的命名规则：G-SSTC-IPv6表IPv6协议集单个/单对端口超级测试类；C表一致性测试集； Gn(n为整数)表示测试组；SGn表示测试子组；BV（Valid Behavior）和BI（Invalid Behavior）加上编号表示有效行为测试例和无效行为测试例。有了测试集结构和命名规则，就可根据测试需求，选择适当的规划技术确定相应的测试目的。下面笔者以实践工作中对IPv6基本描述协议2、ICMPv6协议3和RIPng协议4规划的测试集为例，详细讨论单状态协议、多状态协议通用测试集的规划设计。4 单状态协议通用测试集的规划设计 IPv6和ICMPv6协议无状态变迁，因此采用单状态协议测试，笔者主要针对它们协议描述中的数据报合法性问题和协议功能实现问题来进行相应的规划。4.1 报文格式的测试对于报文格式的测试 主要采用对数据报各字段取正常值、非正常值或者对几个字段进行联合取有效或无效值以达到对报文格式的一致性测试。 以 IPv6基本描述协议中基本报头的测试规划为例，如图2所示，IPv6基本报头报文格式中包括了6个字段和两个地址字段，因此规划时可按字段划分测试子组，根据各字段具体要求按其有效取值和无效取值就可设计各测试子组下的测试例。版本(Version)通信流类型 (TrafficClass)流标签(Flow Label)有效负载长度 (Payload Length)下一个报头NextHeader跳数限制(HopLimited)源地址(Source Address)（128位）目的地址(Destination Address)（128位）图2 IPv6基本报头格式以IPv6基本报头版本（Version）字段测试为例，首先将该字段的测试作为第一测试子组SG1；接着根据协议文本对该字段的描述（其值必须为6），按照字段值是否有效，分别设计了有效值为6，无效值为5和4的三个测试例。设置4是想看一下被测路由器（RUT）对版本号字段值为4的IPv6包是按IPv4包处理还是将之作为无效的包处理。综合上述测试需求就得到了GS1的三个测试例，即有效行BV001（ IPv6 Version_6），无效行为BI001（IPv6 Version_5）和BI002（ IPv6 Version_4）。基本报头其它字段（通信流类型、流标签等）测试目的的确定如法炮制，只是除了基于协议文本，还要尽量根据被测路由器的特点以及实践中可能遇到的问题来设计。4.2 协议功能的测试对协议功能进行测试规划的一般方法是根据协议文本，同时结合相关资料和实践经验划分各项功能及其子功能，对应于各功能划分同时分析出其有效和无效情况就能得到覆盖较全面的协议功能测试集。以ICMPv6协议差错报文测试目的的定义为例，其差错报文有四种类型：目的不可达、包过大、超时和参数出错。每一种类型都有不同的描述和要求，根据这四种类型可将差错报文规划为相应的4个测试子组。对于每个测试子组下测试目的的确定以目的不可达为例进行说明。目的不可达有4种情况：没有路由到目的、同目的的通讯由于管理被禁止、地址不可达和端口不可达。根据这四种功能设计了相应的四个测试例。因此对协议功能的测试主要在于如何对功能进行合理准确的划分。 4.3 单状态协议通用测试集规划的一般方法总的来讲，单状态协议测试目的定义充分利用了软件测试的方法等价类划分5。就是按照协议文本将诸多情况分为有效情况和无效情况。在每种情况内使用特殊代表一般的原则，使等价类采用特殊测试例来覆盖。有效或无效情况可以更详细的进一步划分为各等价类，直到不能再分为止。然后每种不可再分的等价类使用特殊的测试例来覆盖测试。事实上，就是按测试集的树形结构，自顶向下逐步确定各分支以（测试子组）及分支下的叶节点（测试例）来实现GTS的层层规划。 5 多状态协议通用测试集的规划设计多状态协议由于具有状态变迁因而比单状态协议在GTS的规划上更为复杂。本文将以IPv6的路径信息协议RIP，即RIPng（RIP next generation）GTS的规划为例来说明多状态协议的规划方法。对于RIPng这类多状态协议，笔者结合了基于协议状态变迁和基于协议文本非状态描述这两种规划技术的优点，采用以状态变迁为主、非状态描述为辅来实现对多状态协议GTS的规划。这样既可兼顾协议的各种状态，又可对非状态描述进行覆盖，较好的保证了测试的完备性。基于RIPng协议GTS规划的实践，笔者提出了多状态协议测试目的定义的一般步骤：图3 RIPng状态变迁图（1） 确定协议各状态及状态的输入事件和输出事件等。较好的方法是通过状态变迁图来实现。笔者设计了RIPng状态变迁图（图3），圆圈表状态；弧线表状态变迁，弧线上的标注表触发状态变迁的事件。 （2） 从多个状态变迁中，筛选出对测试有意义的状态变迁进行测试目的的确定。（3） 按照协议文本将各状态或状态变迁某些规划原则（如按功能）进行等价的分类，每一个分类作为一个大的测试子组，如RIPng中请求处理状态可作为一个大的测试子组。（4） 接着进一步分为：非状态测试（如路由条目RTE的有效性检查，若需要非状态测试）和状态测试（包括对所处状态处理的测试等），由此得出大测试子组下的小测试子组（如GS12是作为请求处理状态这个大测试子组下对请求报文处理的小测试子组）。（5） 根据状态的不同输入产生的不同处理来规划每个小测试子组下的测试例。如RIPng请求报文的处理主要以接收三种不同的请求报文（来自1000端口，源地址是全局地址；来自521端口，源地址是链路地址并且无RTE；请求全部路由表）为依据来进行测试例的规划。表3 RIPng协议通用测试集的规划基于状态的测试目标测试子组测试例路由器刚启动GS11周期更新处理GS32周期更新计时器处理GS41超时计时器处理GS51垃圾计时器处理GS61垃圾计时器运行处理GS71触发更新处理GS81输入请求处理GS9GS1310输入响应处理GS2,GS14GS2221