6.11.2 EFSM测试