手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

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

缪力;张大方

  UML statechart是UML的一个主要组成部分,与其他类型的statechart相比,由于采用事件队列的调度方式,UML statechart有着更多的不确定性,使得针对UML statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将statechart转化为一个比较简单的标志变迁系统, 标志系统的状态与事件无关,利用普遍的路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML statechart执行步的语义,从而得到一个满足 UML statechart执行步的语义的,可执行的测试集。……   
[关键词]:UML statechart;软件测试;测试序列生成
[文献类型]:会议论文
[文献出处]: 《第三届中国测试学术会议论文集2004年
App内打开