Statechart tests