实践:白盒测试之逻辑覆盖案例1