白盒测试设计方法举例

一、测试用例设计方法

白盒测试用例设计技术可分为逻辑覆盖和路径覆盖，逻辑覆盖又可分为以下几种，从弱到强：

语句覆盖（SC）：设计足够多的测试用例，确保每条语句都被执行过。

判定覆盖（DC）：设计足够多的测试用例，确保每个判定都分别取真值与假值。

条件覆盖（CC）：设计足够多的测试用例，确保每个条件都分别取真值与假值。（一个判定里可能包含多个条件）

判定/条件覆盖（DCC）：设计足够多的测试用例，确保每个判定和条件分别取真值和假值。

条件组合覆盖（CMC）：设计足够多的测试用例，确保覆盖每个判定中的各个条件的所有组合情况。（只考虑同一个判定内的各条件组合情况）

路径覆盖：设计足够多的测试用例，确保每条路径都被执行。如果程序复杂，比如包含循环的情况，路径覆盖的测试用例数将会是个天文数字，无法实现。可以采用简化了的路径覆盖，即将循环看成是一个判定，只考虑循环被执行和未执行两种情况。

二、最少测试用例计算方法

要诀：同层相加，分层相乘。

N-S图

三、圈复杂度计算

圈复杂度 = 节点边数-节点数+2 = 判定节点数+1 = 执行域+1

圈复杂度与bug的数量有密切关心，一般来说，圈复杂度越高，bug也会越多。

原文转自：http://www.ltesting.net