一种基于邻接矩阵的有限状态机路径产生方法.pdfVIP

一种基于邻接矩阵的有限状态机路径产生方法木 刘晓明 赖祥黄松 中国人民解放军理工大学指挥自动化学院，江苏南京210007 摘要：有限状态机可以精确刻画系统以及子系统的行为，因而广泛应用于系统建模中。基于有限 状态机的系统原型描述为测试提供了依据。在基于状态机的测试中，测试序列的产生、选取、以及序 列的评价等工作依赖于状态机规格说明。如何从规格说明中获取测试序列是本文的研究内容，我们提 出了一种用邻接矩阵来表示状态机模型，并在此基础上利用Strassen算法产生状态机的路径的方法。 关键词：有限状态机邻接矩阵路径 1引 言 有限状态机已经成为需求规格说明的一种相当标准的表示方法‘11。而且，在结构化分析与设计以及面 向结构化的软件测试中，也会用到基于某种形式的有限状态机来进行辅助研究。在大量基于面向对象软件 测试中，有限状态机大量用于基于对象状态的测试中。 有限状态机可以精确刻画基于事件的系统以及子系统行为，因而广泛应用于基于状态的测试中‘51。有 限状态机主要用于基于规格说明的周期模型中，它是一种快速原型法的扩展，模型如图l。 图1基于有限状态机快速原型法生命周期过程 基于状态机的测试过程就是根据输入／输出序列以及系统状态的变迁判断被测实现工作是否正常的过 程‘81。可见，我们不管在分析设计基于状态机的原型系统还是在根据已经设计好的基于状态机的原型系统 而进行测试时，如何选取输入／输出序列成为整个测试工作的关键。而输入／输出序列的选取的有效性依赖 于对路径的识别和分析能力，如何提供一种自动化的路径生成是我们的工作的重点。 ’作者简介t刘晓明(1956．)，男，教授，博士生导师，主要研究方向为系统工程，指挥自动化系统理论与技术：赖祥(1983．)，男． 硕士研究生。主要研究方向为软件测试；黄松(1970-)，男，硕士生导师，主要研究方向为软件测试，系统工程． !旦i兰 生兰塑I垫垄主鏖旦鲞星：2箜墨 基于状态机的测试序列选取方法在国内外研究很多，比较经典和被普遍用到方法有T方法、U方法、W 方法、wp方法等【列，这些方法对有限状态机有严格的限制条件或者是产生的测试序列冗余太大，比如U方法， and 前提是状态机的每一个状态存在单一输入输出序列UIO(uniqueinputoutputsequence)，但往往实际应用时 前提不能被满足，影响了其实用价值。有不少研究者利用邻接矩阵来解决过有向图的路径问题，但是很少 将其利用到解决基于状态机模型的测试中。本文从实用的角度出发，增加了一些基于邻接矩阵的路径计算 方法，成功解决了实际的应用问题，而且很容易做到测试序列的自动生成。 2FSM模型 FSM(FiniteState 定义2．1t5-81 其中： ，，D表示状态机的所有输入、输出符号的集合； S表示状态机所有状态的有限集合，其中仅存在一个初始状态SO∈S和至少存在一个结束状态St∈S： 万：S×I—S是状态转移函数； 旯：S×I--0是输出函数。 假设状态机当前处于状态最，当我们给系统输入f后，系统状态从S转移到状态J，，并输出0，我们 用s—lo．s．表示该迁移，其中状态转移依赖于状态转移函数，输出依赖于输出函数。如果系统状态从S经 l 。-， 过一系列迁移变化到状态s，，那么我们用置—旦丝五璺—丛2屿J，来表示这一迁移路径。 有限状态机我们一般用一张有向图来表示，赋权有向图的节点表示系统状态，边表示状态迁移，权值表示 状态转移对应的输入＼输出对。 苏X，si)=s；))，其中P是所有输入符号序列的集合。 定义2．3我们称有限状态机的状态是可达的，当且仅当VS(SE 为初始状态，其中P意义同定义1．1。 我们将可达性进行扩展，定义1．2只是将可达路径的开始节点定义为初始状态节点，我们将它扩展到状态 机的其他状态节点。 定义2．4我们称状态J，到状态S，是可达的，当且仅当3X(X∈尸^万(墨，X)=Sf)。 可达性在有限状态机状态集合上具有自反性，传递性。即：所有的状态自己到