摘要
UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转化为一个比较简单的标志变迁系统,利用路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义,从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。
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 challenging problem. The nondeterminism of event queue induces the nondeterminism of the execution path of UML statecharts. It is an important point of difficulty when we test and verify a UML statechart model. In this paper, we address the problem of generating executable test sequences from UML statecharts, formally define the UML Statechart semantics, and transform the statecharts to label transition systems, from which there are many existing methods to generate test sequences. In addition, an algorithm is given to verdict that test sequences are executable or not.
出处
《计算机工程与科学》
CSCD
2005年第4期3-5,共3页
Computer Engineering & Science
基金
国家自然科学基金资助项目(60273070 )
