针对FSM的唯一输入输出序列法（UIO方法）的基本思想是：从初始状态出发，通过执行输入操作，保证模型中的所有状态迁移均被覆盖，即对整个模型进行一次遍历，保证所有的状态迁移都至少被覆盖一次，就停止测试序列的进一步生成