fsm tests