一种基于状态图类测试用例的转换算法.docVIP

一种基于状态图类测试用例的转换算法 　　摘要：在面对复杂的系统时，EFSM模型在语法上的欠缺，非层次结构会导致状态爆炸。针对EFSM中存在的状态迁移不确定性问题进行改进，对状态图中存在的超态结构，提出一种转化方法来消除状态图中的层次和并发状态，将其转化为EFSM后，用基于扩展有限状态机的测试用例生成方法来生成系统的测试用例。 　　关键词：测试用例；EFSM；状态图 　　中图分类号：TP311 文献标识码：A 文章编号：1009-3044（2015）25-0168-02 　　A Transformation Algorithm for Test Case Based on State Diagram 　　WU Jing-li， LI Su-juan 　　（Electronic Informational Engineering College， Hebi Polytechnic， Hebi 458030， China） 　　Abstract：In the face of complex systems， the EFSM model is deficient in grammar， and the non hierarchy can lead to the state explosion. In view of the problem of the existence of the state transfer in EFSM， the super state structure is proposed to eliminate the hierarchical and concurrent state of the state diagram. The test case of the system is transformed into EFSM. 　　Key words： test case； Extended Finite State Machine； statechart diagram 　　面向对象的软件测试是目前研究的重点，其主要研究方向包括基于规约的测试，文献[1]中总结了各种基于规约的测试方法，目前最广泛应用的基于状态的测试是以扩展有限状态机（EFSM）为基础的测试。在面对复杂的系统时，EFSM模型在语法上对层次结构的不支持，状态爆炸问题不可避免，虽然在物理结构上对状态空间进行分解处理，但系统整体性受到影响。因此将超态概念引入到UML状态图中，解决了层次结构问题，在面向对象建模中也得到了广泛应用。 　　本文针对状态迁移不确定性问题进行改进，针对状态图中存在的超态结构，提出一种转化方法来消除状态图中的层次和并发状态，将其转化为EFSM后，用基于扩展有限状态机的测试用例生成方法来生成系统的测试用例。 　　1 有层次和并发状态的UML状态图 　　UML状态图也称为扩展的有限状态机，但UML状态图进行了扩展，并支持和时间有关的转换。图1是一有层次和并发结构的UML状态图例子。其中S2是AND-状态，S0、S3、S4是OR-状态，其余为BASIC-状态。t1是层内迁移、t2是层间迁移。 　　2 状态图向扩展有限状态机的转换 　　为了简化讨论难度，设EFSM是一个三元结构{GStates，C0，GTrans}。GStates 是全局状态（globe states ）的集合[3]，C0是全局状态的初始状态，GTrans是全局转换路径（globe transitions）的集合。如图2所示的就是一个三元结构的EFSM。 　　将UML状态图图转换为EFSM图只需消除UML状态图的层次、并发和广播消息。UML状态图将以以下方法转换为EFSM（对应将图1转换为图2）。 　　2.1 生成EFSM的状态 　　因为格局（configurations）是同时运行的最大状态集，所以Gstates对应的是UML状态图的格局（configurations）。 　　求全局状态的步骤如下： 　　1）由状态图产生状态树（图4）； 　　2）搜索UML状态图的所有状态，找到根状态root； 　　3）从根状态开始进行深度优先搜索所有的状态，如果状态Si是叶子结点，则把该结点和其所有的父状态一起作为一个全局状态； 　　由图1的UML状态图产生的EFSM中的五个全局状态为：C1：S0，S1；C2：S0，S2，S3，S5，S4，S7；C3：S0，S2，S3，S6，S4，S7；C4：S0，S2，S3，S5，S4，S8；C5：S0，S2， S3，S6，S4，S8； 　　其中，产生状态树的步骤如下： 　　1）将状态图的根状态作为状态树的根状态root； 　　2）对状态图进行广度优先搜索，将其子状态作为root的孩