资源描述
ATS测试方法测试方法回饶测试法回饶测试法ATS测试方法测试方法穿越测试法穿越测试法抽象测试信息表抽象测试信息表ATIT对ATS进行抽象测试描述前，通过多方考虑和比较，借鉴了TTCN表格形式的优点，回避了该表格形式在设计过程中繁琐而不必要的类型定设计了表格形式的抽象测试信息表ATIT，该信息表直观且较全面地反应了测试信息、测试过程以及测试依据，很好地解决了怎样测的问题，较好的完成了从GTS到ATS的过渡。抽象测试信息表抽象测试信息表ATIT测试信息说明 测试方法和测试配置测试过程测试结果判定表4-1IPv6抽象测试集第一测试子组GS1信息表报文格式字段的有效性测试 测试信息说明：测试信息说明：该部分包括测试子组名、测试该部分包括测试子组名、测试对象、测试目的、测试内容说对象、测试目的、测试内容说明以及测试标准参考明以及测试标准参考表4-1IPv6抽象测试集第一测试子组GS1信息表测试方法与测试配置：测试方法与测试配置：说明测试器和路由器各端口的说明测试器和路由器各端口的连接情况，及各端口的地址配连接情况，及各端口的地址配置情况置情况表4-1IPv6抽象测试集第一测试子组GS1信息表报文格式字段的有效性测试 测试过程：测试过程：是测试例的核心部分，说明是测试例的核心部分，说明测试的步骤和方法测试的步骤和方法测试结果的判定：测试结果的判定：三种判定，测试通过，测试三种判定，测试通过，测试失败和测试结果不确定失败和测试结果不确定抽象测试信息表抽象测试信息表ATIT的具体约定的具体约定端口之间的连接用表示端口的地址配置用“:=”表示PCO1、PCO2表示TPT对RUT的观察控制点，用以对RUT的所有外部行为进行观察和控制，以达测试目的。PCO1、PCO2分别对应TPT的端口P1和端口P2。A、B等字母表示RUT的多个端口。抽象测试信息表抽象测试信息表ATIT的具体约定的具体约定 为了阅读以及后面ATS描述的方便，采用已规划的GTS中各测试例的名字作为相应的抽象测试例中发送和接收测试包的名字以AR_G1_GS1_BI001的测试例名“Version_ 5”命名，表示发送或接收一个满足该测试目的的数据包抽象测试信息表抽象测试信息表ATIT的具体约定的具体约定“send”表示发送根据测试目的而设计的测试包，与“to”连用时，”to”后面紧跟的是发送一个测试包首先要经过的与源端口相连的RUT的端口地址（不一定是测试包的目的地址）。“receive”表示从邻居接收响应的数据包，与“from”连用表示接收从“from”后面地址发送过来的数据包。用点分的形式“.”表示观察控制点或计时器等的行为PCO1.send(Version_5)to A表从Tester的PCO1发送一个名为Version_5的测试包给RUT的端口ATimer.timetout表示计时器到时抽象测试信息表抽象测试信息表ATIT的具体约定的具体约定若发送的测试包的特性可以直接从测试例的命名中看出就以测试例来命名该测试包若某些测试包的特征比较多，或一些复杂的测试例要进行不同数据包的多次收发，只用一个名字显然无法完全表达其意因此可以在后面以括号加上半形式化的说明如IP包的长度字段值为3，IP头的下一个头的字段值为59则可以表示为(IP len:=3;IP next header:=59,）当然，为了准确表达，也可将两种方法结合来表示，更为清晰方便。用“IP_da”表示要发送的测试数据包的目的地址，“IP_sa”表示数据包的源地址，“”表示指向。综合起来“IP_daPCO2”就表示IP数据包的目的地址是端口P2的地址，这里用PCO2表示。其它情况均可以用简单的英文表示，如在RIPng的分割范围测试中加入或禁止分割范围的配置，可以用“set RUT()”或“forbid RUT()”来表示，在括号中加上需要实施的配置，如set RUT(Split_Horizen)等.抽象测试信息表抽象测试信息表ATIT的具体约定的具体约定测定结果判定应于测试过程部分中的一个或几个过程产生的结果作出判定时，在每个判定前用“in step”加上n，表示在第n个过程应作出的测试判断，用斜体来表示。用“”与“set（pass）”连用表示根据收到的数据包作出的判断，其中判断的类型有pass，fail和inclucive。多个条件间用“&”表示同时满足这些条件才能作出测试判定。在测试判断部分要注意，一般收到的包和发送的包有一定的对应关系，若是这种情况，可以将收到的包加“”表示，如发的包是IP_1，收到的是IP_1，这样可为后续的测试描述工作对接收的数据包的定义提供依据。表表4-2 ICMPv6抽象测试集抽象测试集表表4-2 ICMPv6抽象测试集抽象测试集RIPng抽象测试集第16测试子组(GS16)信息表这里以输入响应处理状态中的测试子组GS16为例说明对路由器RTE有效性的检测过程RIPng抽象测试集第16测试子组(GS16)信息表RIPng抽象测试集第16测试子组(GS16)信息表RIPng抽象测试集第13测试子组(GS13)信息表同一状态不同条件下的ATS设计当协议处于某一状态时，就可以根据细化的测试目的（根据不同条件下的多种情况）来设计相应的ATS,从而检测RUT在同一状态下不同条件的不同处理使用的方法之一就是在测试前根据测试目的进行配置，比如测试RIPng协议请求处理状态下的分割范围功能时，基于测试目的通过对路由器进行适当的培植（如禁止或配置分割范围功能等）以次来检查路由器在各种不同配置下对请求的处理是否符合协议一致性标准RIPng抽象测试集第13测试子组(GS13)信息表RIPng抽象测试集第13测试子组(GS13)信息表RIPng抽象测试集第13测试子组(GS13)信息表RIPng抽象测试集第5,6测试子组(GS5,GS6)信息表对于状态的引入和变迁，计时器是控制协议状态的一种方法，尤其对状变迁主要由计时器来实现的RIPng协议的测试特别适用。为了达到测试目，在TPT中设置了与RUT同样的3个计时器，周期更新计时器用于对RUT发周期更新报文来检测RUT对报文的处理及可能的响应情况；超时计时器与垃圾收集计时器联系十分密切，二者的联合使用可对RUT就计时器的不同状态下的不同处理进行一致性检测RIPng抽象测试集第5,6测试子组(GS5,GS6)信息表RIPng抽象测试集第5,6测试子组(GS5,GS6)信息表RIPng抽象测试集第5,6测试子组(GS5,GS6)信息表路由器的 IPv6 协议集 TTCN-3 ATS 的描述 测试描述的核心测试描述的核心就是根据测试目的定义不同的测试数据包，并对之进行相应的测试操作和测试判定测试描述的过程测试数据类型定义测试数据定义测试配置定义测试行为定义测试例的初始化收/发数据模板 测试过程及测试判定 测试控制定义测试数据类型的定义测试数据类型的定义首先必须根据被测协议确定协议的报文格式，再根据具体要求定义相应的数据类型，基于测试目的赋值后的模板就构成了需要的测试包测试数据类型的定义测试数据类型的定义IPV6基本数据包头部数据类型定义测试数据类型的定义测试数据类型的定义IPV6基本数据包头部数据类型定义测试数据定义 测试数据定义 测试数据定义 测试配置的定义测试配置的定义测试行为定义测试行为定义行为的初始化测试行为定义测试行为定义收/发数据模板 测试行为定义测试行为定义收/发数据模板 测试行为定义测试行为定义收/发数据模板 测试行为定义测试行为定义收/发数据模板 测试行为定义测试行为定义收/发数据模板 测试控制定义测试控制定义
展开阅读全文