Polyspace 对不同 MATLAB 和 Simulink 版本的支持
Polyspace® 对 MATLAB® 或 Simulink® 的支持因它们的版本而异。Polyspace 完全支持与它版本相同的 MATLAB 和 Simulink,并提供与这些软件的完全集成。Polyspace 支持较早版本的 MATLAB 和 Simulink,并提供跨版本集成。请参阅本页提供的表。
完全集成
如果 MATLAB 和 Polyspace 的版本相同,则您可以在安装后通过调用 polyspacesetup
来集成它们。请参阅相同版本的 Polyspace 和 MATLAB。
您可以:
在 Simulink 编辑器或 MATLAB 命令行窗口中,对从模型生成的或作为自定义代码包含在模型中的 C/C++ 代码运行 Polyspace 分析。为 Simulink 模块添加注解并从 Polyspace 用户界面导航回模型。
对使用 MATLAB Coder™ 从 MATLAB 代码生成的 C/C++ 代码运行 Polyspace 分析(如果您有 Embedded Coder®)。
使用 MATLAB 脚本对手写 C/C++ 代码运行 Polyspace 分析。
跨版本集成
您可以将 Polyspace 与高于 R2020b 版本的 MATLAB 或 Simulink 集成。请参阅MATLAB 版本早于 Polyspace。
这种跨版本集成提供的功能有限:
要对使用 Embedded Coder 生成的 C/C++ 代码运行 Polyspace 分析,请在 MATLAB 命令行窗口中调用以下函数:
从 Polyspace 用户界面导航回 Simulink 模型。
您无法:
从 Simulink 编辑器或 MATLAB Coder 对生成的代码进行 Polyspace 分析。
在 MATLAB 命令行窗口中开始对模型中包含的自定义代码或手写 C/C++ 代码进行 Polyspace 分析。
在 MATLAB 命令行窗口对从 MATLAB 代码生成的 C/C++ 代码进行 Polyspace 分析。
请参阅Run Polyspace on Code Generated by Using Previous Releases of Simulink。
部分集成
您可以将 Polyspace 与低于 R2020b 版本的 MATLAB 或 Simulink 进行部分集成。请参阅MATLAB 版本早于 Polyspace。
这种部分集成提供的功能有限:
要对使用 Embedded Coder 生成的 C/C++ 代码运行 Polyspace 分析,请在 MATLAB 命令行窗口中调用以下函数:
从 Polyspace 用户界面导航回 Simulink 模型。
您无法:
从 Simulink 编辑器或 MATLAB Coder 对生成的代码进行 Polyspace 分析。
在 MATLAB 命令行窗口中开始对模型中包含的自定义代码或手写 C/C++ 代码进行 Polyspace 分析。
在 MATLAB 命令行窗口对从 MATLAB 代码生成的 C/C++ 代码进行 Polyspace 分析。
导航回模型
您可以从 Polyspace 用户界面导航回 Simulink 模型,而无需将 Polyspace 集成到 MATLAB 或 Simulink 中。如果出现以下情况,Polyspace 不会与 MATLAB 和 Simulink 集成:
MATLAB 或 Simulink 的版本比 Polyspace 的版本更高。
MATLAB 或 Simulink 的版本比 Polyspace 的版本低四版以上。
某些特定版本的 MATLAB 或 Simulink 无法与 Polyspace 集成。请参阅本页提供的表。
要从 Polyspace 用户界面导航回您的模型而无需将 Polyspace 与 MATLAB 或 Simulink 集成,请执行以下操作:
确定代码中充当 Simulink 模型链接的注释。在工具 > 预设项 > 其他选项卡中,从上下文菜单充当代码与模型之间链接的代码注释中选择您要使用的代码生成工具。Polyspace 可识别 Embedded Coder、MATLAB Coder 和 TargetLink。如果您要使用其他代码生成工具,请选择用户定义。在注释前缀字段中,指定充当链接的代码注释的前缀。
在 Polyspace 用户界面的源窗格中,点击显示为超链接的代码注释。
另请参阅
polyspacesetup
| pslinkrunCrossRelease