单元测试软件Tessy中Propertes界面配置的测试覆盖度C0、C1、DC、MC/DC... 分别表示什么意思

在单元测试中，测试覆盖度指的是在测试用例中覆盖了代码中多少条语句、分支、条件等。Tessy中的Properties界面配置的测试覆盖度如下：

1. C0（Coverage 0）：表示测试覆盖了代码中的每一行语句，即语句覆盖率为100%。

2. C1（Coverage 1）：表示测试覆盖了代码中的每个分支，即分支覆盖率为100%。

3. DC（Decision Coverage）：表示测试覆盖了代码中的每个条件的真假两种情况，即判定覆盖率为100%。

4. MC/DC（Modified Condition/Decision Coverage）：表示测试覆盖了代码中的每个条件的真假两种情况，且每个条件在不同情况下的取值至少有一次改变，即条件/判定-修改覆盖率为100%。

其中，MC/DC是最为严格的测试覆盖度，也是航空航天等高可靠性软件行业中常用的要求。

相关问题

单元测试软件Tessy中配置Coverage内的C0、C1、DC、MC/DC、MCC、CPC、EPC、FC分别表示什么意思

这些术语都与代码覆盖率（Code Coverage）有关，表示不同的覆盖率度量方法：

- C0: 语句覆盖率。指在测试过程中至少执行一次的代码语句所占总代码语句的百分比。
- C1: 判定覆盖率。指测试用例能覆盖所有判定语句的真假分支的百分比。
- DC: 条件覆盖率。指测试用例覆盖所有可能的条件组合的百分比。
- MC/DC: 修改条件判定覆盖率。是一种更为严格的条件覆盖率，要求每个条件的每个值都分别参与了测试，而且测试用例需要覆盖每个条件的每个取值下的所有可能的情况。
- MCC: 修改条件判定组合覆盖率。这是 MC/DC 的一种扩展，要求每个条件的每个值都分别参与了测试，并且测试用例需要覆盖每个条件的每个取值下的所有可能的情况，同时覆盖每个条件组合的可能情况。
- CPC: 条件/判定组合覆盖率。是一种更为严格的条件覆盖率，要求每个条件的每个值都分别参与了测试，并且测试用例需要覆盖每个条件的每个取值下的所有可能的情况，同时覆盖每个条件组合的可能情况。
- EPC: 条件/判定/路径覆盖率。是一种更为严格的覆盖率度量方法，要求测试用例覆盖每个条件的每个取值下的所有可能的情况，同时覆盖每个条件组合的可能情况，并且覆盖每个可能的路径。
- FC: 功能覆盖率。指测试用例能够覆盖系统的所有功能模块的百分比。

以上这些覆盖率度量方法都是为了衡量测试用例的覆盖能力，以此来评估测试的充分程度。不同的覆盖率度量方法能够反映出被测试代码的不同特征，因此在软件测试中应该根据被测试代码的实际情况选择适合的覆盖率度量方法进行测试。

单元测试软件tessy中MC/DC Coverage是指什么

MC/DC（Modified Condition/Decision Coverage）是一种更加严格的测试覆盖标准，它是一种基于MCC覆盖的增强版。MC/DC要求在测试过程中，每个条件的不同取值组合都至少被覆盖一次，并且每个条件的取值变化都会导致决策结果的变化，即每个条件的变化都要对决策结果有影响。在Tessy中，MC/DC Coverage是指在测试用例中至少覆盖了每个条件的所有组合中的一个，并且每个条件的取值变化都能够导致决策结果的变化的百分比。MC/DC的覆盖要求比MCC更高，能够更好地发现代码中的潜在缺陷，提高软件的质量和可靠性。