基于有限状态机协议测试方法.docVIP

基于有限状态机协议测试方法摘要：该文首先介绍了有限状态机的一般理论并描述了两种确定型有限状态机模型，之后将有限状态机模型引入通信系统中，并以GTP协议为例介绍了通信协议报文在GPRS网络中流转的过程及测试方法。 关键词：有限状态机；协议测试；通信系统 中图分类号：TP393 文献标识码：A 文章编号：1009-3044（2013）09-2161-05 在通信系统建模中，使用着各种类型的有限状态机，每个有限状态机都有一个状态集合（包括初始状态）和一个输入集合表，还有一个转化函数，它对每个由状态和输入条件构成的序列，指定了下一个状态。有限状态机作为经常使用的一个抽象机器模型，被广泛的使用在通信网络中，是一个进行系统建模的有力工具。 本文从有限状态机的一般理论出发，以GTP协议为例介绍和描述了有限状态机模型及基于它的协议测试方法。 1 确定型有限状态机 确定型的有限状态机是指针对一个可能的输入，只有一个状态的迁移，非确定的有限状态机是对每一个可能的输入可以有多个状态迁移，接收到输入时候从中多个状态转移中非确定的选择一个。 下面介绍它的两种模型。 1.1 带输出的有限状态机模型 一个有限状态机的形式化定义是这样：一个确定的有限状态机M： S是一个有限的状态集合； I是一个有限的输入字母表； O是一个有限的输出字母表O； 一个状态转移函数f为每个状态和输入对指派一个新的状态； 一个输出函数g为每个状态和输入对指派一个输出，还有一个初始状态s0。 下面以一个状态图来进行说明： 有限状态机是抽象出来的一个数学模型，与现实世界比较，通过很多理想的假设来简化系统设计的复杂程度。比如，假设系统的几个状态是可以穷举的，即可以认为在行为上是固定的。当系统从一个状态通过条件变化迁移到另外一个状态，迁移是很迅速并且一次有效的。 为了建模的需要，人们开发了各种不同类型的有限状态机模型，主要应用的模型有Mealy状态机和Moore状态机。在Mealy状态机模型中，对一个转移都附加有输出动作，Moore 状态机对每一个状态都有附加输出动作。 1.2 不带输出的有限状态机 不带输出的有限状态机是用来作为识别语言而设计的。这些机器不产生输出，但是有终止状态。 一个有限状态机的形式化定义是这样：一个确定的有限状态机M： S 是一个有限的状态集合； I 是一个有限的输入字母表； f是一个状态转移函数，为每个状态的输入对指派下一个状态； s0 是一个初始装态； F是一个由终结状态构成的S的子集。 不带输出的有限状态机可以用一个状态图来表示，在状态图中，终结状态用双圈表示。 前面讨论的有限状态机都是确定型的，因为对于每对状态和输入值，转移函数只给出唯一的下一个状态。而非确定有限状态机模型，它对每队输入和状态，有多个可能的下一个状态。 一个状态集合S，一个输入字母表I，一个转移函数f为每个状态和输入对指定下一个状态集合，一个初始状态s0，和一个由终结状态构成的S的子集F。 非确定型状态机和确定型状态机的唯一区别就是他们的转移函数不同，确定型有限状态机的输入只有一个状态的转移，非确定型状态机可以有多个状态转移。非确定型状态机可以转化成确定型状态机。 2 通信系统中的有限状态机 在GPRS网络中，同一个公众陆地移动网（Public Land Mobile-communication Network，以下简称PLMN）中的GPRS支持节点（GPRS Support Nodes，以下简称GSN）节点，比如GGSN节点和SGSN节点，都采用GTP协议进行数据传输，并采用GTP协议进行隧道管理。所谓隧道管理就是承载在GTP协议上的PDP（Packet Date Protocol）报文的激活、更新、分离等一系列的过程。PDP的管理也是GTP-C和GTP-U的一个重要功能。在GTP隧道管理中，系统之间的状态主要是在PDP上下文的创建、更新、删除等状态之间进行转移的。 在图3中，PDP上下文有ACTIVE，CREATE，UPDATE，DELETE，IDLE等五个状态，每个状态之间的迁移需要一定的条件。从IDLE状态不能直接迁移到DELETE，中间必须经过一个CREATE状态的转移，从CREATE状态也不能直接迁移到UPDATE状态，因为PDP报文的UPDATE动作是在PDP的传输隧道建立之后才能发送，而建立PDP 隧道是需要进行ACTIVE动作，同样的道理，从IDLE状态也不能直接迁移到UPDATE状态。 当测试系统开启之后，由于没有加载测试用例，系统处于IDLE状态，即空闲状态，此时没有