状态图中基于事件约束的测试路径覆盖策略

• 作者: 乔木 曾一 杨献军
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 状态图 超态 并发事件约束 路径覆盖策略
• 年，卷（期）: 2004,（24）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 54-55,158
• 页数: 3页
• 分类号: TP31
• 字数: 2878字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.24.022

摘要

提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略.最后给出了该策略与CSPE约束覆盖策略和Raspps-Weyuker路径覆盖标准的比较结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾一	重庆大学计算机科学与工程学院	76	855	14.0	25.0
2	杨献军	重庆大学计算机科学与工程学院	2	35	2.0	2.0
3	乔木	重庆大学计算机科学与工程学院	5	52	4.0	5.0