手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
基于UML Statechart语义的测试序列生成方法
UML statechart是UML的一个主要组成部分,与其他类型的statechart相比,由于采用事件队列的调度方式,UML statechart有着更多的不确定性,使得针对UML statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将statechart转化为一个比较简单的标志变迁系统, 标志系统的状态与事件无关,利用普遍的路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML statechart执行步的语义,从而得到一个满足 UML statechart执行步的语义的,可执行的测试集。
0 27
手机阅读本文
下载APP 手机查看本文
第三届中国测试学术会议论文集
2004年
相似文献
图书推荐
相关工具书

搜 索