测试模型组件

管理组件测试数据，在SIL或PIL模拟中执行测试套件，配置模型验证块，为Polyspace生成选项文件^®分析

分析并模拟模型中引用的模型、子系统或原子子图。通过将子系统或参考模型提取到集成模型中来隔离用于测试的子系统或参考模型。在模拟过程中，根据分配给块的规格监视模型中的时域信号。构造信号验证，并根据仿真输入组选择性地应用它们。生成并打包用于分析从Simulink生成的代码的选项文件金宝app^®模型使用Polyspace。当生成的代码与Simulink分开执行Polyspace分析时，打包的选项文件非常有用。金宝app例如，在分布式工作流中，Polyspace分析可能在没有Simulink的环境中执行。金宝app通过使用打包的选项文件，生成代码的特定于模型的上下文被保留。

Blocchi

断言	检查信号是否为零
检查离散梯度	检查离散信号连续采样之间的差值绝对值是否小于规定值
检查动态间隙	检查信号幅值范围内是否存在可能变化宽度的间隙
检查动态下界	检查一个信号是否总是小于另一个信号
检查动态范围	检查信号是否落在随时间步长而变化的振幅范围内
动态上界检查	检查一个信号是否总是大于另一个信号
检查输入分辨率	检查输入信号是否有指定的分辨率
检查静态间隙	检查信号的振幅范围是否存在间隙
检查静态下界	检查信号是否大于(或等于)静态下界
检查静态范围	检查信号是否在固定幅度范围内
检查静态上界	检查信号是否小于(或等于)静态上界

Funzioni

`polyspacePackNGo`	生成并打包要运行的选项文件Polyspace对生成的代码进行分析金宝app模型
`pslinkoptions`	对象的自定义配置金宝app模型，生成的代码或S-Function块。使用对象为这些对象指定配置选项金宝app对象中的Polyspace从MATLAB命令行

Argomenti

组件的验证
用于验证模型的功能单元的策略，在隔离或在更大的系统中。
使用打包的选项文件对生成的代码运行Polyspace分析
从Simulink模型生成Polyspace选项文件，并使用这些选项文件分析Po金宝applyspace生成的代码。
分析分布式工作流中作为独立代码生成的代码
本教程通过在分布式工作流中使用打包的选项文件，展示对独立生成代码的Polyspace分析。