Test Coverage Methodology Based on Constraints on Events in Statechart
Yang Xian-jun, Yi Zeng, Mu Qiao · Jisuanji gongcheng · 2004
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.