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

• 作者: 张大方 缪力
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: UML Statechart 软件测试 测试序列生成
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 软件测试
• 页码范围: 3-5
• 页数: 3页
• 分类号: TP311.5
• 字数: 3591字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2005.04.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张大方	湖南大学计算机与通信学院	295	2498	22.0	33.0
2	缪力	湖南大学计算机与通信学院	35	167	8.0	10.0