基于UML Statechart语义的测试序列生成方法

【作者】 缪力； 张大方；

【Author】 Li Miao Dafang Zhang College of Computer and Communication, Hunan University

【机构】 湖南大学计算机与通信学院；

【摘要】 UML statechart是UML的一个主要组成部分,与其他类型的statechart相比,由于采用事件队列的调度方式,UML statechart有着更多的不确定性,使得针对UML statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将statechart转化为一个比较简单的标志变迁系统, 标志系统的状态与事件无关,利用普遍的路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML statechart执行步的语义,从而得到一个满足 UML statechart执行步的语义的,可执行的测试集。更多还原

【Abstract】 UML Statechart has become a popular notion for specifying complex reactive systems, especially for software systems. Due to the complex semantics of statecharts, testing statecharts is a challenge problem. Compared with classical statecharts, for UML statechart semantic, generated events in a step may not be the input of the next step, but enter an event queue in any order until they can be dispatched in the future. The nondeterminism of event queue induces nondeterminism of execute path of UML statecharts, it is an important difficulty when we test and verify a UML statechart model. In this paper, we address the problem of generating executable test sequences from UML statechart, formally define UML statechart semantic, and transform statecharts to label transition systems, from which there are many existing methods to generate test sequences, an algorithm is given to verdict that test sequences are executable or not.更多还原