逻辑覆盖测试是以程序内部的逻辑结构为基础设计测试用例,又分为语句覆盖、判定覆盖、条件覆盖、条件组合覆盖、判定/条件覆盖和路径覆盖。
语句覆盖:使语句一和语句二被执行到
判定覆盖:又称为分支覆盖,即程序的每个分支至少被执行一次,如ABD和ACE,是指四个分支至少被执行一次
条件覆盖:条件1,2,3,4可能值都要被执行一遍,即每个条件的真假都要被执行一次
判定/条件覆盖:每个条件的所有可能值被执行一遍,同时所有的分支也要被执行一遍
条件组合覆盖:每一个判定的所有可能的条件取值组合至少被执行一次,即第一个判定条件组合:真真,真假,假真,假假;第二个判定条就件组合:真真,真假,假真,假假
满足了条件组合覆盖,也就满足了条件覆盖、判定覆盖以及判定/条件覆盖。
路径覆盖:即四条路径:ABD,ACD,ABE,ACE四条路径都要被执行到