Polyspace如何检测simulink生成的代码

2025-07-01 06:20:29

1、在Simulink中将模型运行后，生成代码。在模型所在的文件夹中会自动生成两个文件夹

2、在simulink菜单栏中：Code-->Polyspace-->Verify Code Generated For-->Model在模型所在的文件夹中会自动生成两个文件夹

4、在Polyspace菜单栏中，File-->Open(Ctrl+O),打开.psprj的文件

7、也可以通过Simulink直接打开Polyspace。simulink菜单:Cold-->Polyspace-->Open Result-->For Generated Code

声明：本网站引用、摘录或转载内容仅供网站访问者交流或参考，不代表本站立场，如存在版权或非法内容，请联系站长删除，联系邮箱：site.kefu@qq.com。