【软考软件评测师】第三章节 白盒测试测试方法

【软考软件评测师】第三章节 白盒测试测试方法

第一部分 知识点集锦

1.控制流图的画图心得

判断条件是与的情况：用垂直条件来罗列；
判断条件是或的情况：用水平条件来罗列，且水平条件之间用线去相互连接。
循环体跳出的线需要往回走。
多个【或】和【与】判断条件语句的区别：
与条件是串型的，且一个判断之后就可以跳去下一个语句；或条件也是串型但一定要多个都执行完之后才可以执行之后的语句。

2.线性无关路径

环路复杂度其实就是线性无关路径的个数。
线性无关路径是指包括一组以前没有处理的语句或条件的一条路径。
从控制流图来看，一条线性无关路径是至少包含有一条在其他线性无关路径中从未有过的边的路径
线性无关路径中的循环体，应该画为【…】

3.判定覆盖的概念

设计足够的测试用例，使得使程序中的每个判定至少都获得一次“真值”或“假值”。又称分支覆盖
使程序中的每一个取“真”分支和取“假”分支至少经历一次

4.基本路径测试法的概念

基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法

5.控制流图基本概念

控制流图是描述程序控制流的一种图示方法。其基本符号有圆圈和箭线：圆圈为控制流图中的一个结点，表示一个或多个无分支的语句；带箭头的线段称为边或连接，表示控制流。
控制流程图的环路复杂性 V(G)等于：
（1）控制流程图中的区域个数。
（2）边数-结点数+2。
（3）判定数+1。

6.心得体会

判定覆盖就是满足真与假，一行判定语句等于2个逻辑条件，不管这行判定语句中有几个条件组成；
环路复杂度为多少，那么线性无关路径就为多少；线性无关路径都测试了，那么就满足路径测试。

7.逻辑覆盖法

逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。

第二部分 案例分析历年真题

2020下案例分析历年真题第一题（15分）

阅读下列C程序，回答问题1至问题3。
【C程序】

【问题1】 (4分)
请针对上述C程序给出满足100%DC (判定覆盖)所需的逻辑条件。
【问题2】(8分)
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。
【问题3】(8分)
请给出问题2中控制流图的线性无关路径。

【问题1标准答案】
判定覆盖（DC）：设计足够的测试用例，使得使程序中的每个判定至少都获得一次“真值”或“假值”。
本题中有4个判定：
for（i=0；i=tn ||table[idx]==0xff）；
if（i&3）；
if（op-ob）
要满足100%的DC，就需要使得4个判定的结果为真、为假都出现过一次，所以需要8个逻辑条件：
iidx>=tn ||table[idx]==0xff）为真、为假
i&3为真、为假op-ob
【问题2标准答案】

控制流程图的环路复杂性 V(G)等于：
（1）控制流程图中的区域个数。
（2）边数-结点