摘要： 提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略。最后给出了该策略与CSPE约束覆盖策略和Rapps-Weyuker路径覆盖标准的比较结果。
关键词:
状态图,
超态,
并发事件约束,
路径覆盖策略
Abstract: 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.
中图分类号:
杨献军,曾一,乔木. 状态图中基于事件约束的测试路径覆盖策略[J]. , 2004, 30(24): 58-.
YANG Xianjun, ZENG Yi, QIAO Mu. Test Coverage Methodology Based on Constraints on Events in Statechart[J]. , 2004, 30(24): 58-.