白盒测试方法

语句覆盖，判定覆盖，条件覆盖=分支覆盖，条件/判定覆盖，(条件)组合覆盖，路径覆盖，MC/DC覆盖

语句覆盖，判定覆盖，条件覆盖=分支覆盖，条件/判定覆盖，(条件)组合覆盖，路径覆盖

参考：https://blog.csdn.net/qq_38712932/article/details/83818589

MC/DC覆盖

修正判定条件覆盖(Modified Condition/Decision Coverage即MC/DC)

MC/DC是DO-178B Level A认证标准中规定的，欧美民用航空器强制要求遵守该标准。

MC/DC定义如下：
Condition —— a Boolean expression containing no Boolean operators：
Decision —— a Boolean expression composed of conditions and zero or more Boolean operators：
Modified Condition/Decision Coverage —— every point of entry and exit in the program has been invoked at least once，every condition in the program has taken all possible outcomes at least once，and each condition in a decision has been shown to independently affect a decision S outcome by varying just that condition while holding fixed all other possible conditions.

MC/DC是条件组合覆盖的子集。条件组合覆盖要求覆盖判定中所有条件取值的所有可能组合，需要大量的测试用例，实用性较差。MC/DC具有条件组合覆盖的优势，同时大幅减少用例数。满足MC/DC的用例数下界为条件数+1，上界为条件数的两倍，

例如，判定中有两个条件，条件组合需要4个 图表1，而MC/DC只需要3个 图表2。

具体参考：https://www.cnblogs.com/ChenM666/p/16137844.html