逻辑覆盖法是在程序控制流图的基础上，通过分析控制流图的圈复杂度，导出基本可执行路径集合，从而设计测试用例的方法。