5.4.2 逻辑覆盖 　　 ��逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。属白盒测试。这一方法要求测试人员对程序的逻辑结构有清楚的了解，甚至要能掌握源程序的所有细节。由于覆盖测试的目标不同，逻辑覆盖又可分为：语句覆盖、判定覆盖、判定－条件覆盖、条件组合覆盖及路径覆盖。 　　 1、语句覆盖 　　 ��语句覆盖就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。例如在图5.13(a) 所给出的例子中，正好所有的可执行语句都在路径L1上， 所以选择路径L1设计测试用例，就可以覆盖所有的可执行语句。