MCDC（修正条件判定覆盖）是软件测试中的一种覆盖标准，旨在确保程序中的每个判定条件都能独立影响输出结果。其核心思想是通过设计测试用例，使每个判定条件的所有可能取值组合至少出现一次。以下是MCDC的计算方法和关键要点：

一、基本概念

判定条件：

程序中的逻辑表达式，例如 `A || （B && C）`。

输出结果：

判定条件的真/假值（0/1）。

覆盖目标：

每个判定条件需独立影响输出，即改变条件值时输出必须改变。

二、覆盖标准

独立性要求：每个条件必须单独为真/假时，输出结果不同。例如，对于 `A || （B && C）`：

当 `A` 为真时，无论 `B` 和 `C` 取何值，输出为真；

当 `A` 为假时，`B && C` 必须为真才能使输出为真。

三、测试用例设计

真值表分析：

通过构建判定条件的真值表，列出所有可能的输入组合。例如：

| A | B | C | A || （B && C） |

|---|---|---|----------------|

| 0 | 0 | 0 | 0 |

| 0 | 0 | 1 | 1 |

| 0 | 1 | 0 | 1 |

| 0 | 1 | 1 | 1 |

| 1 | 0 | 0 | 1 |

| 1 | 0 | 1 | 1 |

| 1 | 1 | 0 | 1 |

| 1 | 1 | 1 | 1 |

独立条件覆盖：

确保每个条件单独为真/假时，输出改变。例如：

- 对于 `A`：`A=0, B=0, C=0` 和 `A=1, B=0, C=0`；

- 对于 `B && C`：`A=0, B=1, C=0` 和 `A=0, B=1, C=1`。

最小化测试用例：

通过分析条件间的依赖关系，减少冗余测试。例如，若 `B` 的取值不影响 `A || （B && C）` 的输出，则 `A` 和 `B` 可合并测试。

四、示例说明

以 `A && （B || C）` 为例：

独立覆盖需满足：

`A=1, B=0, C=0`（A 为真，B 为假）

`A=0, B=1, C=0`（A 为假，B 为真）

组合覆盖需满足所有条件组合，共需4种情况：

`A=1, B=1, C=0`

`A=1, B=1, C=1`

`A=0, B=0, C=1`

`A=0, B=0, C=0`

五、注意事项

条件独立性：若条件间存在依赖（如 `B` 的取值影响 `A || （B && C）`），需单独分析；

覆盖度量：MCDC 覆盖度量公式为：

$$MCDC = \frac{独立路径数}{总路径数}$$

其中独立路径指每个条件单独影响输出的路径。

通过上述方法，可系统设计测试用例，确保MCDC覆盖标准，提升软件测试的全面性和有效性。