测试模型等效性

测试模型和生成代码的行为等效性，或是模型在不同 Simulink^® 版本中运行时的行为等效性

背靠背测试或等效性测试将两个版本的普通仿真结果进行比较，或将其与软件在环 (SIL)、处理器在环 (PIL) 或硬件在环 (HIL) 仿真中的生成代码结果进行比较。您可以在使用增强 MCDC 的 Simulink Test™ 中生成背靠背测试。

主题

生成代码的背靠背 (B2B) 等效性测试

分析代码并测试软件在环
检测代码错误，生成代码度量，测试代码和模型等效性，根据需求测试代码。
使用增强型 MCDC 创建背靠背测试
使用增强型 MCDC 创建并运行等效性测试。

验证模型在不同版本中的数值行为是否等效

使用增强型 MCDC 创建并运行背靠背测试
使用测试管理器中增强的 MCDC 创建背靠背测试。

精选示例

生成参数值

此示例展示如何使用参数配置文件调整 Simulink® Design Verifier™ 分析的参数。该模型包含启用活动控制器并选择其输出作为模型输出的参数control_mode。Simulink Design Verifier 将此参数视为限制为 1 或 2 的输入，并为每个测试用例生成适当的值。