基于禁忌搜索算法的可扩展有限状态机模型测试数据自动生成