测试生成的模型覆盖率目标

生成测试用例是为了驱动您的模型满足条件、决策、修正条件/决策 (MCDC) 和自定义覆盖率目标。但是，如果您的模型没有以上任何目标，则 Simulink® Design Verifier™ 会生成一个表示对您的模型进行基本仿真的测试用例。测试输入满足输入端口的最小值或最大值约束，中间信号值满足模型中 Test Condition 模块指定的约束。

决策

Simulink Design Verifier 中的决策覆盖率会检查表示模型中决策点的模块和 Stateflow® 状态。例如，Switch 模块涉及有关控制输入是否大于阈值的决策。有关详细信息，请参阅接受覆盖率的模型对象 (Simulink Coverage)。

要启用决策覆盖率，请在 Design Verifier > 测试生成下，为模型覆盖率目标选择以下选项之一：

  • 决策

  • 条件决策

  • MCDC

对于模型中的每个决策，Simulink Design Verifier 都会生成满足覆盖目标的测试用例。有关详细信息，请参阅决策覆盖率 (DC) (Simulink Coverage)。

条件

条件覆盖率检查输出其输入的逻辑组合的模块以及 Stateflow 转移。有关详细信息，请参阅接受覆盖率的模型对象 (Simulink Coverage)。

要启用条件覆盖率，请在 Design Verifier > 测试生成下，为模型覆盖率目标选择以下选项之一：

  • 条件决策

  • MCDC

对于逻辑模块的每个输入和转移中的每个条件，Simulink Design Verifier 都会生成满足覆盖率目标的测试用例。有关详细信息，请参阅条件覆盖率 (CC) (Simulink Coverage)。

MCDC

修正条件决策覆盖率检查输出其输入的逻辑组合的模块以及 Stateflow 转移。有关详细信息，请参阅接受覆盖率的模型对象 (Simulink Coverage)。

要启用 MCDC 覆盖率，请在 Design Verifier > 测试生成下，为模型覆盖率目标选择 MCDC。

对于逻辑模块的每个输入和转移中的每个条件，Simulink Design Verifier 都会生成满足覆盖率目标的测试用例。有关详细信息，请参阅Stateflow 图的 MCDC 覆盖率 (Simulink Coverage)。

有关 Simulink Design Verifier 中的 MCDC 测试生成如何偏离 Simulink Coverage™ 记录的 MCDC 覆盖率的信息，请参阅Simulink Design Verifier 中的修改条件和决策覆盖率。

增强的 MCDC

增强的 MCDC 是修正条件决策覆盖率的扩展。对于测试模块，增强的 MCDC 生成的测试用例可避免下游模块的掩蔽效应，从而使测试模块对输出产生影响。

要启用增强的 MCDC 覆盖率，请在 Design Verifier > 测试生成下，为模型覆盖率目标选择增强的 MCDC。有关详细信息，请参阅Simulink Design Verifier 中的增强 MCDC 覆盖率。

关系边界

关系边界覆盖率检查具有显式或隐式关系运算的模块以及 Stateflow 转移。有关详细信息，请参阅接受覆盖率的模型对象 (Simulink Coverage)。If 和 Fcn 模块不支持关系边界覆盖率的测试生成。

要启用关系边界覆盖率，请在 Design Verifier > 测试生成下，选择包括关系边界目标。

对于模型中的每个关系运算，Simulink Design Verifier 都会生成满足覆盖目标的测试用例。有关详细信息，请参阅关系边界覆盖率 (Simulink Coverage)。

注意

  • 如果您的模型没有条件、决策或自定义测试目标，则 Simulink Design Verifier 将生成一个表示对您的模型进行基本仿真的测试用例。测试输入将满足输入端口的 min/max 约束，中间信号值将满足模型中 Test Condition 模块指定的约束。

  • Simulink Design Verifier 不会为 MinMax 模块的关系边界目标生成测试用例。