7.15.1 基于有限状态机的测试集生成方法