白盒测试的3种主要方法(cont.)
Posted CSU迦叶
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了白盒测试的3种主要方法(cont.)相关的知识，希望对你有一定的参考价值。
文章目录
白盒测试简介
静态白盒测试也称为结构化分析。
动态白盒测试又称为结构化测试。
以下所说的应该均属于动态白盒测试。
逻辑覆盖测试法
SC
sentence coverage 语句覆盖
设计若干测试用例，运行被测程序，使程序中的每个可执行语句至少被执行一次。
DC
decision coverage 判定覆盖/分支覆盖
使得程序中每个判断的取真分支和取假分支至少经历一次，即判断真假值均曾被满足。
CC
condition coverage 条件覆盖
使每个判断中每个条件的可能取值至少满足一次。
CDC
condition-decision coverage 条件-判定覆盖（条件的粒度比判定小）
判断条件中的所有条件可能取值至少执行一次，同时，所有判断的可能结果至少执行一次
MCC
multiple condition coverage 条件组合覆盖/多重条件覆盖
得判断中每个条件的所有可能组合至少出现一次，并且每个判断本身的判定结果也至少出现一次。
满足条件组合覆盖，一定满足判定覆盖、条件覆盖、条件判定组合覆盖
问题：
①效率不高，有些测试没必要
②条件/判定还不够强，有些路径仍未覆盖
MCDC
modified condition decision coverage
修正条件-判定覆盖
①每个判定的所有可能结果至少能取值一次；
②判定中的每个条件的所有可能结果至少取值一次；
③一个判定中的每个条件曾经独立地对判定的结果产生影响；
④每个入口和出口至少执行一次
主要改进之处在于加了这样一条约束：
一个判定中的每个条件曾经独立地对判定的结果产生影响
基本路径测试法
BPC测试的四个步骤
-
依据代码画出流程图/控制流图
-
确定控制流图的圈复杂度
圈复杂度V(G)是基本路径的上限，起参考作用。有三种计算方式
其中第二种慎用，因为简单判断不好确定。 -
确定线性独立路径的基本集合(基本路径集）
独立路径： 至少引入一系列新的处理语句或条件的任何路径
基本集： 由独立路径构成的集合
-
设计测试用例覆盖每条基本路径
小结以上覆盖的关系
循环路径覆盖法
未完待续，敬请赐候
以上是关于白盒测试的3种主要方法(cont.)的主要内容，如果未能解决你的问题，请参考以下文章