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

Test Coverage Methodology Based on Constraints on Events in Statechart

作　　者：杨献军[1] 曾一[1] 乔木[1] 

机构地区：[1]重庆大学计算机科学与工程学院,重庆400044

出　　处：《计算机工程》2004年第24期54-55,158,共3页Computer Engineering

摘　　要：　提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(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.

关 键 词：状态图 超态 并发事件约束 路径覆盖策略 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]