期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
状态图中基于事件约束的测试路径覆盖策略 被引量:2
1
作者 杨献军 曾一 乔木 《计算机工程》 CAS CSCD 北大核心 2004年第24期54-55,158,共3页
 提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略。最后给出了该策略与CSPE约束覆盖策略和Rapps-Weyuker路径覆盖标准的比较结果。
关键词 状态图 超态 并发事件约束 路径覆盖策略
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部