白盒测试之逻辑覆盖---软考

╰+攻爆jí腚メ 2022-08-01 01:18 178阅读 0赞

白盒测试也称为结构测试，根据程序的内部结构和逻辑来设计测试用例，对程序的路径和过程进行测试，检查是否满足设计的需要。

白盒测试常用的技术是逻辑覆盖、循环覆盖和基本路径测试。

本次，小编为大家介绍逻辑覆盖。逻辑覆盖考察用测试数据运行被策程序时对程序逻辑的覆盖程度。包括六种，覆盖从弱到强的顺序依次是语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、路径覆盖。

代码：

int  result(int  x, int  y, int  z)

int  k=0,j=0;

if（(x<y)&&(z<5)）

k=x+y;

if（(y>3)||(x==10)）

j=x\*y;

return  k+j;

流程图：

![Center][]

条件1：M=\{(x<y)&&(z<5)\}

条件2：N=\{(y>3)||(x==10)\}

1. **语句覆盖**：每条语句(包括判定语句和赋值语句)至少执行一次。

2. **判定覆盖**：又称分支覆盖，每个判定的每个分支至少执行一次，即一个判定的“真”、“假”各执行一次。

<table> 
 <tbody> 
 <tr> 
 <td align="center"> 测试用例 </td> 
 <td> 判定M的值 </td> 
 <td> 判定N 的值 </td> 
 <td> 覆盖路径 </td> 
 </tr> 
 <tr> 
 <td> 输入：x=2,y=4,z=3 </td> 
 <td> T </td> 
 <td> T </td> 
 <td> ace </td> 
 </tr> 
 <tr> 
 <td> 输入:x=6,y=2,z=8 </td> 
 <td> F </td> 
 <td> F </td> 
 <td> abd </td> 
 </tr> 
 </tbody> 
</table>

3. **条件覆盖**：每个判定的每个条件应取到各种可能的值。对于此示例来说，每个判定包括两个条件。

<table> 
 <tbody> 
 <tr> 
 <td> 测试用例 </td> 
 <td> 具体取值条件 </td> 
 <td> 覆盖路径 </td> 
 </tr> 
 <tr> 
 <td> 输入：x=10,y=11,z=3 </td> 
 <td> x&lt;y,z&lt;5,x==10,y&gt;3 </td> 
 <td> ace </td> 
 </tr> 
 <tr> 
 <td> 输入:x=6,y=2,z=7 </td> 
 <td> x&gt;y,z&gt;5,x!=10,y&lt;3 </td> 
 <td> abd </td> 
 </tr> 
 </tbody> 
</table>

4. **判定/条件覆盖**:同时满足判定覆盖条件覆盖。它的含义是，选取足够的测试用例，使得表达式中每个条件的所有可能结果至少出现一次，而且每个判定本身的所有可能结果也至少出现一次。

<table> 
 <tbody> 
 <tr> 
 <td align="center"> 测试用例 </td> 
 <td align="center"> 判定M的值 </td> 
 <td align="center"> 判定N的值 </td> 
 <td align="center"> 具体取值条件 </td> 
 <td align="center"> 覆盖路径 </td> 
 </tr> 
 <tr> 
 <td align="center"> 输入：x=10,y=11,z=3 </td> 
 <td align="center"> T </td> 
 <td align="center"> T </td> 
 <td align="center"> x&lt;y,z&lt;5,y&gt;3,x==10 </td> 
 <td align="center"> ace </td> 
 </tr> 
 <tr> 
 <td align="center"> 输入:x=6,y=2,z=7 </td> 
 <td align="center"> F </td> 
 <td align="center"> F </td> 
 <td align="center"> x&gt;y,z&gt;5,y&lt;3,x!=10 </td> 
 <td align="center"> abd </td> 
 </tr> 
 </tbody> 
</table>

5. **条件组合覆盖**：每个判定中各条件的每一种组合至少出现一次。

条件组合表：

<table> 
 <tbody> 
 <tr> 
 <td align="center"> 编号 </td> 
 <td align="center"> 覆盖条件取值 </td> 
 <td align="center"> 判定条件取值 </td> 
 <td align="center"> 判定-条件组合 </td> 
 </tr> 
 <tr> 
 <td align="center"> 1 </td> 
 <td align="center"> T1,T2 </td> 
 <td align="center"> M </td> 
 <td align="center"> x&lt;y,z&lt;5 </td> 
 </tr> 
 <tr> 
 <td align="center"> 2 </td> 
 <td align="center"> T1,F2 </td> 
 <td align="center"> /M </td> 
 <td align="center"> x&lt;y,z&gt;5 </td> 
 </tr> 
 <tr> 
 <td align="center"> 3 </td> 
 <td align="center"> F1,T2 </td> 
 <td align="center"> /M </td> 
 <td align="center"> x&gt;y,z&lt;5 </td> 
 </tr> 
 <tr> 
 <td align="center"> 4 </td> 
 <td align="center"> F1,F2 </td> 
 <td align="center"> /M </td> 
 <td align="center"> x&gt;y,z&gt;5 </td> 
 </tr> 
 <tr> 
 <td align="center"> 5 </td> 
 <td align="center"> T3,T4 </td> 
 <td align="center"> N </td> 
 <td align="center"> y&gt;3,x==10 </td> 
 </tr> 
 <tr> 
 <td align="center"> 6 </td> 
 <td align="center"> T3,F4 </td> 
 <td align="center"> N </td> 
 <td align="center"> y&gt;3, x!=10 </td> 
 </tr> 
 <tr> 
 <td align="center"> 7 </td> 
 <td align="center"> F3,T4 </td> 
 <td align="center"> N </td> 
 <td align="center"> Y&lt;3, x==10 </td> 
 </tr> 
 <tr> 
 <td align="center"> 8 </td> 
 <td align="center"> F3,F4 </td> 
 <td align="center"> /N </td> 
 <td align="center"> y&lt;3, x!=10 </td> 
 </tr> 
 </tbody> 
</table>

测试用例表：

显然，满足条件组合覆盖的测试用例，也一定满足判定/条件覆盖。

6.**路径覆盖**：使程序中每一条可能的路径至少执行一次。

路径覆盖实际上考虑了程序中各种判定结果的所有可能组合，因此是一种较强的覆盖标准。但路径覆盖并未考虑判定中的条件结果的组合，并不能代替条件覆盖和条件组合覆盖。所以，六种逻辑覆盖的关系并不是包含关系。

[Center]: /images/20220801/53873dd3c6384387aafe2c9a9cbe5925.png