6.1 逻辑覆盖法