5.4.3 Z路径覆盖下的循环测试