分析带有函数调用子系统的导出函数模型
此示例显示如何分析由周期性函数调用子系统组成的模型。此示例使用 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 ® 功能模块_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”。
分析信息一章中的导出函数分析计划部分列出了调用导出函数的计划。