组件验证功能

Simulink^® Design Verifier™ 软件提供了多种功能，可简化与组件验证相关的任务。

函数	任务
`sldvlogsignals`	仿真Simulink模型并将输入信号记录到模型中的Model模块。如果您修改了 Signal Builder框架模型中的测试用例，请使用此方法将输入信号记录到框架模型本身。
`sldvmakeharness`	为组件创建框架模型，使用记录的输入信号（如果指定）或使用默认信号。有关框架模型的更多信息，请参阅管理Simulink Design Verifier框架模型。
`sldvmergeharness`	将来自多个框架模型的测试用例合并为一个框架模型。
`sldvextract`	将原子子系统或原子子图提取到新模型中。
`sldvruntest`	仿真一个模型，执行指定的测试用例来记录模型覆盖率和输出值。
`sldvruncgvtest`	调用代码生成验证（CGV）API，对模型生成的代码执行指定的测试用例。注意要以不同的执行模式执行模型，请使用 CGV API 来验证结果的数值等效性。有关 CGV API 的更多信息，请参阅以编程方式进行代码生成验证 (Embedded Coder) 。

组件验证功能不支持以下 Simulink 功能：