白盒测试--逻辑覆盖法