sldvextract
将子系统或子图内容提取到新模型中进行分析
语法
说明
newModel = sldvextract(exportfcnmodel)exportfcnmodel 以供 Simulink Design Verifier 分析。sldvextract 在 newModel 中返回新模型的名称。newModel 由 exportfcnmodel 模型名称和后缀 SldvScheduler 组成。如果模型名称已经存在，sldvextract 将使用 exportfcnmodel 作为模型名称，并在模型名称后附加一个数字。
newModel = sldvextract(modelmissingslfunctiondef)modelmissingslfunctiondef 提取一个桩件模型，该模型缺少 Simulink 函数定义，以供 Simulink Design Verifier 分析。它返回 newModel 中新模型的名称。sldvextract 使用输入模型名称加上后缀 SldvStub 作为提取的模型名称，如果该模型名称已经存在，则在模型名称后附加数字。
如果将 showModel 设置为 true，则 newModel = sldvextract(modelmissingslfunctiondef, showModel)showModel 设置为 false 时，才会加载提取的模型。
示例
从 Bus Counter 模型中提取原子子系统 sldemo_mdlref_conversion 并将其复制到新模型。
openExample('sldemo_mdlref_conversion'); newmodel = sldvextract('sldemo_mdlref_conversion/Bus Counter', true);
从 Sensor1 模型中提取原子子图 sf_atomic_sensor_pair 并将其复制到新模型。
openExample('sf_atomic_sensor_pair'); newmodel = sldvextract('sf_atomic_sensor_pair/RedundantSensors/Sensor1',... true);
此示例显示如何分析由周期性函数调用子系统组成的模型。此示例使用 AUTOSAR 示例模型 sldvExportFunction_autosar_multirunnables。
1.打开 sldvExportFunction_autosar_multirunnables 模型。
open_system('sldvExportFunction_autosar_multirunnables');2.要运行测试生成分析，请在 Design Verifier 选项卡上点击生成测试。
Simulink Design Verifier 结果摘要窗口表明已创建调度程序模型 sldvExportFunction_autosar_multirunnables_SldvScheduler.slx。您还可以使用 sldvextract 生成调度程序模型。
调度程序模型由 MATLAB® Function 模块 _SldvExportFcnScheduler 组成。由于模型由周期性函数调用子系统组成，因此函数调用被周期性地调用。
MATLAB® 代码指定了周期性函数调用的执行顺序。Runnable1 和 Runnable2 首先执行，因为它们的时间段都是 1。10 时间步之后，执行 Runnable3。
如果模型由非周期函数调用子系统组成，则调度程序由额外的输入端口 FcnTriggerPort 组成。FcnTriggerPort 的值表示是否在时间步中调用函数调用。
例如，如果 Runnable1 是一个非周期函数调用子系统，则 FcnTriggerPort Inport 模块会调用调度程序模型。该图显示了“时序图例”窗口和非周期函数调用的调度程序模型。
测试生成分析之后，在 Simulink Design Verifier 结果摘要窗口中，您会看到 7/7 目标的结果为 Satisfied。
3.要仿真测试用例并生成覆盖率报告，点击“Simulink Design Verifier 结果摘要”窗口中的仿真测试并生成模型覆盖率报告。软件仿真测试用例，收集模型覆盖率信息，并显示覆盖率报告。
4.要查看详细的分析报告，点击“Simulink Design Verifier 结果摘要”窗口中的 HTML。
分析信息一章中的导出函数分析计划部分列出了调用导出函数的计划。
输入参数
输出参量
限制
Simulink Design Verifier 在以下情况下不支持提取：
子系统已重新初始化端口。有关详细信息，请参阅 Reinitialize States of Blocks in Subsystem。
模型模块有 Initialize、Reset、Reinitialize 或 Terminate 事件端口。有关详细信息，请参阅 Model 模块中的模型事件仿真。
版本历史记录
在 R2007a 中推出
