10.3969/j.issn.1000-3428.2004.24.022
状态图中基于事件约束的测试路径覆盖策略
提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略.最后给出了该策略与CSPE约束覆盖策略和Raspps-Weyuker路径覆盖标准的比较结果.
状态图、超态、并发事件约束、路径覆盖策略
30
TP31(计算技术、计算机技术)
2005-01-20(万方平台首次上网日期,不代表论文的发表时间)
共3页
54-55,158