testFSM