摘要
提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略。最后给出了该策略与CSPE约束覆盖策略和Rapps-Weyuker路径覆盖标准的比较结果。
This paper presents a test coverage methodology based on constraints on events in a statechart. It introduces the statechart model with superstates, and defines the S-CSPE constraints in a statechart. A test coverage methodology based on constraints is also given. Finally, it details the comparison between the methodology and the CSPE methodology or Rapps-Weyuker cretia.
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第24期54-55,158,共3页
Computer Engineering
关键词
状态图
超态
并发事件约束
路径覆盖策略
Statechart
Superstate
Restriction of concurrent events
Test coverage methodology
