4.2 逻辑覆盖测试