白盒测试覆盖率

白盒测试覆盖率

白盒覆盖率(white-Box Coverage)中使用的最常见的就是逻辑覆盖率(Logical Coverage )，也叫代码覆盖率(Code Coverage)或者结构化覆盖率(Structural Coverage)，我们常见的逻辑覆盖包括：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。

1、语句覆盖(Statement Coverage)

1)定义：在测试时，运行被测程序后，程序中被执行的可执行语句的比率。

2)计算公式：语句覆盖率=(至少被执行一次的语句数量)/(可执行的语句总数)

4)特点：语句覆盖可以检验每个可执行语句，但是即使语句覆盖率达到了100%，也会有缺陷发现不了，所以覆盖率只是我们度量的手段。

2、判定覆盖(Decision Coverage)/分支覆盖率(Branch Coverage)

1)定义：在测试时，运行被测程序后，程序中所有判断语句的取真分支和取假分支被执行到的比率。

2)计算公式：判定覆盖率=(判定结果被评价的次数)/(判定结果的总数)

3)100%条件覆盖率含义：在测试时，首先设计若干个测试用例，然后运行测试程序，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断的真假值均曾被满足。

4)特点

(1)若判定覆盖达到100%，则语句覆盖必为100%。

(2)即使判定覆盖率达到了100%，也会有缺陷发现不了。

3、条件覆盖(Condition Coverage)

1)定义：在测试时，运行被测程序后，程序中所有判断语句中每个条件的可能取值(真值和假值)出现过的比率。

2)计算公式：条件覆盖率=(条件操作数值至少被评价一次的数量)/(条件操作数值的总数)

3)100%条件覆盖率含义：在测试时，首先设计若干个测试用例，然后运行被测试程序，要使每个判断中每个条件的可能取值至少满足一次。

4)特点：覆盖条件的测试用例不一定覆盖判定。

4、判定-条件覆盖(Decision Condition Coverage)/分支条件覆盖(Branch Condition Coverage)

1)定义：在测试时，运行被测程序后，程序中所有判断语句中每个条件的可能取值(真值和假值)和每个判断本身的判定结果(为真为假)出现的比率。

2)计算公式：判定-条件覆盖率=(条件操作数值或判定结果至少被评价一次的数量)/(条件操作数值的总数+判定结果的总数)

3)100%判定-条件覆盖率含义：设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能结果至少执行一次。换言之，即是要求各个判断的所有的可能的取值组合至少执行一次。

4)特点

(1)判定-条件覆盖率实际上就是判定覆盖率和条件覆盖率的组合。

(2)采用判定-条件覆盖，逻辑表达式中的错误不一定能够查得出来。

1)定义：在测试时，运行被测程序后，所有语句中原子条件所有的可能的取值结果组合出现过的比率。

2)计算公式：条件组合覆盖率=(至少被执行一次的条件组合)/(总的可能的条件组合数)

3)100%条件组合覆盖率含义：设计足够的测试用例，使得判断中条件的各种可能组合至少出现过一次。

4)特点：若条件组合覆盖率为100%，则语句覆盖率、判定覆盖率、条件覆盖率和判定-条件覆盖率必为100%。

6、路径覆盖(Path Coverage)

1)定义：在测试时，运行被测程序后，程序中所有可能的路径被执行的比率。

2)计算公式：路径覆盖率=(至少被执行一次的路径数)/(总的路径数)

3)100%路径覆盖率含义：设计足够的测试用例，要求覆盖程序中所有可能的路径。

4)特点

(1)路径覆盖比判定条件覆盖更强，但是不能包含判定条件覆盖。

(2)若路径覆盖率为100%，则语句覆盖率、判定覆盖率必为100%。

小结：逻辑覆盖率可以作为软件测试的一个度量，但是，即使达到了100%的逻辑覆盖率，仍然无法保证程序的正确性。