文章目录

• 白盒测试简介
• 逻辑覆盖测试法
• • SC
  • DC
  • CC
  • CDC
  • MCC
  • MCDC
• 基本路径测试法
• • BPC测试的四个步骤
• 循环路径覆盖法

白盒测试简介

静态白盒测试也称为结构化分析。
动态白盒测试又称为结构化测试。
以下所说的应该均属于动态白盒测试。

逻辑覆盖测试法

SC

sentence coverage 语句覆盖
设计若干测试用例，运行被测程序，使程序中的每个可执行语句至少被执行一次。

DC

decision coverage 判定覆盖/分支覆盖
使得程序中每个判断的取真分支和取假分支至少经历一次，即判断真假值均曾被满足。

CC

condition coverage 条件覆盖
使每个判断中每个条件的可能取值至少满足一次。

CDC

condition-decision coverage 条件-判定覆盖（条件的粒度比判定小）
判断条件中的所有条件可能取值至少执行一次，同时，所有判断的可能结果至少执行一次

MCC

multiple condition coverage 条件组合覆盖/多重条件覆盖
得判断中每个条件的所有可能组合至少出现一次，并且每个判断本身的判定结果也至少出现一次。
满足条件组合覆盖，一定满足判定覆盖、条件覆盖、条件判定组合覆盖
问题：
①效率不高，有些测试没必要
②条件/判定还不够强，有些路径仍未覆盖

MCDC

modified condition decision coverage
修正条件-判定覆盖
①每个判定的所有可能结果至少能取值一次；
②判定中的每个条件的所有可能结果至少取值一次；
③一个判定中的每个条件曾经独立地对判定的结果产生影响；
④每个入口和出口至少执行一次
主要改进之处在于加了这样一条约束：
一个判定中的每个条件曾经独立地对判定的结果产生影响

基本路径测试法

BPC测试的四个步骤

1. 依据代码画出流程图/控制流图

2. 确定控制流图的圈复杂度
   圈复杂度V(G)是基本路径的上限，起参考作用。有三种计算方式
   

3. 设计测试用例覆盖每条基本路径
   小结以上覆盖的关系
   

   

循环路径覆盖法

未完待续，敬请赐候