协议测试的一种实现方法.pdfVIP

协议测试的一种实现方法 罗 红 76) 北京邮电大擎计算机科学与技术系 北京1008 擅要 本文针对通信协议测试中TTCN方法在大话务量测试方面的缺陷，提出了测试用例与自动机相 结合的测试方法及实例． 关键词 通信协议，协议模型，协议测试，自动机 1．前言 现代通信网是由各种接入、交换和传输等通信设各所组成的一种规模宏大、结构复杂 的综合系统．是现代信息社会不可缺少的重要基础设施。为保证这一系统能正常高效地工 作，需要预先为通信网中各种彼此相关的通信设备之间定义好某种形式的通信规则，以使 它们能够步调一致地实现既定的目标。这种规则一般称之为“通信协议”。 为了保证各个厂家的产品、各个运营商的网络能相互联接和操作，需要对这些设备进 行检验，检验它们是否遵循标准化组织制定的协议标准。这就是“协议测试”。 2．协议模型和协议的涮试步骤 在对协议进行测试时，～般都是先对协议建立模型，然后根据协议模型提出错误模型， 并针对此错误模型设计测试方法和测试用例。绝大多数通信类协议都可以使用FSM(有限 状态自动机)或EFSM(扩展的有限状态自动机)来描述。其最基本的特征是：由有限个 稳定的状态组成，通过激励信号(各种内部或外部的消息)推动状态的迁移和自动机的运 转；同时，在运转过程中，会产生一定的输出信号。FSM可以由一个五元组{s，I，0， So，T)描述，也可由有向图表示，如图1所示。其中， S：状态集，如：S={So，S】，S2}； ④冀④ 1：输入消息集，如：I={a1，82，a3)； ＼ ／ 0：输出消息集，如：0={bI，b2，b3，b4}： V“乜∥ So：初始状态： T：状态转移的集合， 每个转移t可以用一个四元组(S；，q。，i。，0，)表示。其中 s。：当前状态：qf：下一状态；iI：输入消息；0I：输出消息。 EFSM可以由一个六元组{s，I，0，So，T，V)描 述，它在FSM的基础上增加了“变量”集v，变量的取值会 影响状态的转移和信号的输出，此时，每个转移t要用一个六 元组(s c，qt．it，0t，Pt，vt)表示。其中， P，：变量判决，即谓词；V。：变量修改。 EFSM也可由有向图表示，如图2。 这类协议的基本错误类型是：转移错误和输出错误，其错 误模型也可以用FSM或EFSM描述。对这类协议进行测试的一个基本工作就是测试在给定 的输入下输出是否正确，状态转移是否正确，而状态转移是否正确的测试也是通过测试该 状态的特征输入输出序列实现的。对单个转移错误和单个输出错误的测试方法是——对所 有的转移t。按如下步骤进行测试： fI)利用测试前缀将被测自动机置于状态si， 97 (2)输入Ii．检查被测自动机产生的输出是否为Oi， (3)检查被测自动机新状态是否为sj， (4)若新状态是sj，利用测试后缀让被铡自动机回到状态So：若新状态不是Sj，测试出 错。 因此，测试～个转移的测试子序列应包括四 段：从初始状态到s，状态的输入序列，即测试 前缀；由协议规定的激发转移tlj的输入1i：用于 检查被测自动机是否至U达新状态s，的状态检查 序列：从s．状态回到初始状态的输入序列，即 测试后缀。如图3所示。 (5)将所有转移的澳r试子序列适当连接，就是完整的FSM测试序列。‘ 也就是说，FSM的测试最终归结到设计合适的输入输出序列，将输入序列施加到被测 系统上，判别被测系统的输出序列是否与期望的输出序列一致。为了达到这一目的，首先 应该描述有效的抽象铡试集，同时设计合理的测试平台，支持测试集的运行。 3． 树表结合的测试方法 实现这种测试思路可以有多种方法，例如比较常用的树与表格褶结合的方法一 TTCN。这种方法适用于约束条件较多的EFSM或较复杂