test virtual fsm