面向对象类测试精简EFSM转换算法.docVIP

面向对象类测试精简EFSM转换算法摘要: EFSM是一个没有层次和并发结构的状态图，因此很难处理较复杂的软件系统，而且由于EFSM中存在前置条件，使得生成的测试序列有可能存在不可达性。该文提出一种将EFSM转化为精简有限状态机（FSM）的转换算法，很大程度上减少了中间产生的等价状态，并有效防止了组合间爆炸问题的出现，得到的精简FSM最小可达。 关键词:状态测试；扩展有限状态机；有限状态机；状态图；不可达路径 中图分类号：TP313文献标识码：A文章编号：1009-3044(2012)18-4490-02 An Transformed Algorithm of Simple EFSM in Object-oriented Class Testing WU Jing-li,LI Su-juan (Electronic Informational Engineering College, Hebi College of Vocation And Technology, Hebi 458030, China) Abstract: Based on Extended Finite State Machine (EFSM) is a variety of state testing the theoretical basis of the test method. By the ex? tended finite state machine definition.Internal state variables caused by the migration of uncertainty is based on the EFSM test difficulty.It is necessary to eliminate this uncertainty. Starting from any one state makes changes in the internal environment variables are not subject to the constraints.This paper presents a transformed arithmetic from EFSM to simple FSM. Reducing the equivalence states and avoiding effec? tively combined explosion problem. As a result, minimal reachable graph of FSM can be gained. This makes sure the EFSM converted into changes determined EFSM. Key words: statement testing; extended finite state machine; finite state machine; statechart diagrams; infeasible paths 目前,基于UML状态图的测试在类测试中得到广泛应用。但是由于UML状态图中的状态有层次和并发结构,再加上状态之间的广播通信机制,使得传统的流分析测试技术不能直接得到应用。EFSM是一个没有层次和并发结构的状态图，因此可以先将UML状态图转化为扩展有限状态机（EFSM），消除状态图中状态的层次和并发结构与状态之间的广播通信机制, 再通过传统的类测试方法对类进行测试。基于EFSM测试是各种基于状态测试方法的理论基础，在文献[1]中Chourouk Bourh? fir系统地讲述了基于EFSM测试的理论基础和各种测试方法。在文献[2]中N.Coga从理论上比较了最常用的四种测试用例生成算法的故障提示能力和效率。 EFSM是有限状态机(FSM)的一个扩展，它在FSM的基础上增加了变量、操作以及状态移的并置条件，所以从EFSM产生的测试序列有可能存在不可达路径[3]。文献[3，4]对这个问题进行了相关的研究，并提出了解决的算法。该文通过对EFSM的研究，提出一种将EFSM转化为精简FSM的算法。通过将谓词约束的配置分裂，使转化过程中产生的等价状态大大减少，剔除了可能造成组合空间爆炸的无用状态，使得到的精减FSM最小可达。 图2 模型中，以Name: Predicate/Action来标记每一条变迁，其中Predicate为空者表示变迁谓词约束为永真（True），Action为空者表示变迁对起始状态的变量值无影响。图中共有3个状态；3个变量:布尔变量有2个，整形变量P有8个，整形变量R有8个； 若按配置枚举的方