6.11.1 有限状态机测试