测试模型等效性

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

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

主题

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

Analyze Code and Test Software-in-the-Loop
Detect code errors, generate code metrics, test code and model equivalence, test code against requirements.
Create Back-to-Back Tests Using Enhanced MCDC
Create and run equivalence tests using enhanced MCDC.

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

Create and Run Back-to-Back Tests Using Enhanced MCDC
Create back-to-back tests using enhanced MCDC in Test Manager.

精选示例

Generate Parameters Values

Tune parameters using parameter configuration file for Simulink® Design Verifier™ analysis. The model contains the parameter control_mode that enables the active controller and selects its output to be the model output. Simulink Design Verifier treats this parameter as an input that is constrained to be either 1 or 2 and generates the appropriate value for each test case.

打开脚本

Debounce Temporal Properties

Model temporal system requirements for property proving and test case generation using Simulink® Design Verifier™ Temporal Operator blocks.

打开脚本

Power Window Controller Temporal Properties

Model temporal system requirements in a power window controller model for property proving and test case generation using Simulink® Design Verifier™ Temporal Operator blocks.

打开脚本

测试模型等效性

主题

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

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

精选示例

Generate Parameters Values

Debounce Temporal Properties

Power Window Controller Temporal Properties

WeChat