3.1 逻辑覆盖法