testing cannot of fsm