设计测试用例方法之状态迁移法