软件测试中两种非常重要的方法就是黑盒测试和白盒测试,白盒测试的核心是针对被测软件的内部逻辑如何进行测试,白盒测试中一种很重要的方法就是逻辑覆盖法,该方法关注点是判定—条件表达式本身的复杂度,通过对程序逻辑结构的遍历来实现对程序的覆盖,遵循的基本原则是对程序代码中所有逻辑值均需测试真值和假值,实现更广泛的覆盖率,进而达到软件测试的目的。