逻辑覆盖法是以程序的 为基础的测试用例设计技术。