摘要
该文在状态图的基础上,提出了并发状态约束机制,以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题,同时也解决了生成可执行测试用例的问题。首先讨论了具有超态的状态图模型,然后给出了状态约束机制及其定义,在此模型的基础上给出了生成可执行测试用例的算法,该算法采用启发式探索,在生成测试用例的过程中就丢弃了不可执行的路径。
This paper presents the restriction mechanism of concurrent states in statecharts,which resolves the problem of combinational explosion during the stage of constructing statecharts and creating test cases based on the theory of statecharts.It also resolves the problem of executablity of test cases.Firstly,this paper discusses the statecharts model,which includes superstates.Secondly,it describes the definitions of restriction mechanism of concurrent states.Finally,based on the model,the algorithm to create executable path is given.By using the method of heuristic probe,the algorithm discards the unexecutable path during creation.
出处
《计算机工程与应用》
CSCD
北大核心
2004年第14期91-93,共3页
Computer Engineering and Applications
关键词
状态图
超态
并发状态约束
statecharts,superstate,restriction of concurrent states