测试模型组件

管理组件测试数据、执行测试套件在硅或公益诉讼仿真,验证模块配置模型,为Polyspace生成选项文件^®分析

分析和模拟参考模型、子系统或原子子图表模型。隔离一个子系统或引用的模型测试通过提取利用模型。监控模型在模拟时域信号,根据规范,你分配块。构造信号验证,并有选择地应用基于仿真输入组。生成和包选项文件分析从模型生成的代码金宝app^®通过使用Polyspace模型。Polyspace时包装选项文件是有用的分析仿真软件分开执行生成的代码。金宝app例如,在分布式工作流,Polyspace分析可能是在一个没有仿真软件的环境中执行。金宝app通过使用包装选项文件,保留了模型生成代码的特定上下文。

块

断言	检查信号是否为零
检查离散梯度	检查连续离散信号的样本之间的差异的绝对值小于指定值
检查动态差距	检查这一差距可能发生在不同宽度范围的信号的振幅
检查动态下界	检查一个信号总是小于另一个信号
检查动态范围	检查信号下降的振幅范围内不同时间一步一步
检查动态上界	检查一个信号总是大于另一个信号
检查输入的决议	检查输入信号有指定的决议
检查静态差距	检查这一差距存在于信号的振幅范围
检查静态下界	检查信号大于(或选择等于)静态下界
检查静态范围	检查信号落在固定范围的振幅
检查静态上界	检查信号小于(或选择等于)静态上界

功能

`polyspacePackNGo`	生成和包选项文件来运行Polyspace分析代码生成金宝app模型
`pslinkoptions`	创建一个对象的自定义配置选项金宝app模型中,生成的代码或功能块。使用对象为这些指定的配置选项金宝app中的对象Polyspace运行的MATLAB命令行

主题

组件的验证
策略验证模型的功能单元,单独或在一个更大的系统。
通过使用验证管理器构造模拟测试
金宝app仿真软件模型验证库模块评估模型的时域信号,根据规范,你分配块。
运行Polyspace分析生成的代码通过使用打包选项文件
从一个仿真软件模型,生成Polyspace选项文件和使用这些选项文件使用Poly金宝appspace分析生成的代码。
分析代码生成独立的代码在一个分布式工作流
教程显示Polyspace独立分析生成的代码通过使用打包选项文件在分布式工作流。