【软考软件评测师】案例专题——白盒测试

【软考软件评测师】案例专题——白盒测试

一. 考试题型分析

历年下午案例试题一都是考察白盒测试，具体的考察形式也已经固定就是给出一段C语言的代码，而后问题往往是：
问题1:给出C程序满足100%某覆盖层级所需的逻辑条件
问题2:划出上述程序的控制流出，并计算机控制流图的环路复杂度V（G）
问题3:给出问题二中控制流图的线性无关路径

二. 重点知识点

1）各层级覆盖含义（尤其是判定覆盖）
2）控制流图画法，环路复杂度求法
3）求线性无关路径

三.各层级覆盖

1）语句测试

测试条件：每个可执行语句
测试覆盖项：每个可执行语句

2）分支测试

测试条件：每个分支，控制流图的边
测试覆盖项：每个分支

3）判定测试

测试条件：每个判定语句
测试覆盖项：每个判定语句的每个结果值

4）分支条件测试

测试条件：每个判定语句
测试覆盖项：每个判定语句中的所有判定条件的取值

5）分支条件组合测试

测试条件：每个判定语句
测试覆盖项：每个判定中所有判定条件的布尔值的每个唯一可行组合

6）修正条件判定测试

测试条件：每个判定语句
测试覆盖项：单个布尔条件可以独立影响判定结果的判定条件，其布尔值的每个唯一判定组合

四. 控制流图和环路复杂度

一组顺序结构可以映射为一个单一的结点；
在选择或者多分枝结构中分支的汇集处，即使没有执行语句也用户添加一个汇聚结点<