任务7.1 逻辑覆盖法