标签：针对FSM，生成测试用例的方法包括：（）