Polyspace如何检测simulink生成的代码

2024-10-12 03:41:55

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

Polyspace如何检测simulink生成的代码

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

Polyspace如何检测simulink生成的代码

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

Polyspace如何检测simulink生成的代码Polyspace如何检测simulink生成的代码

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

猜你喜欢