主要内容

Polyspace 对不同 MATLABSimulink 版本的支持

Polyspace® 对 MATLAB® 或 Simulink® 的支持因它们的版本而异。Polyspace 完全支持与它版本相同的 MATLAB 和 Simulink,并提供与这些软件的完全集成。Polyspace 支持较早版本的 MATLAB 和 Simulink,并提供跨版本集成。请参阅本页提供的表。

 Polyspace 版本 R2020aPolyspace 版本 R2020bPolyspace 版本 R2021aPolyspace 版本 R2021bPolyspace 版本 R2022aPolyspace 版本 R2022bPolyspace 版本 R2023aPolyspace 版本 R2023bPolyspace 版本 R2024aPolyspace 版本 R2024bPolyspace 版本 R2025a
MATLAB 或 Simulink 版本 R2020a完全集成导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型
MATLAB 或 Simulink 版本 R2020b导航回模型完全集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成
MATLAB 或 Simulink 版本 R2021a导航回模型导航回模型完全集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成
MATLAB 或 Simulink 版本 R2021b导航回模型导航回模型导航回模型完全集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成
MATLAB 或 Simulink 版本 R2022a导航回模型导航回模型导航回模型导航回模型完全集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成
MATLAB 或 Simulink 版本 R2022b导航回模型导航回模型导航回模型导航回模型导航回模型完全集成跨版本集成跨版本集成跨版本集成跨版本集成跨版本集成
MATLAB 或 Simulink 版本 R2023a导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型完全集成跨版本集成跨版本集成跨版本集成跨版本集成
MATLAB 或 Simulink 版本 R2023b导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型完全集成跨版本集成跨版本集成跨版本集成
MATLAB 或 Simulink 版本 R2024a导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型完全集成跨版本集成跨版本集成
MATLAB 或 Simulink 版本 R2024b导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型完全集成跨版本集成
MATLAB 或 Simulink 版本 R2025a导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型导航回模型完全集成

完全集成

如果 MATLAB 和 Polyspace 的版本相同,则您可以在安装后通过调用 polyspacesetup 来集成它们。请参阅相同版本的 Polyspace 和 MATLAB

您可以:

  • 在 Simulink 编辑器或 MATLAB 命令行窗口中,对从模型生成的或作为自定义代码包含在模型中的 C/C++ 代码运行 Polyspace 分析。为 Simulink 模块添加注解并从 Polyspace 用户界面导航回模型。

    请参阅Simulink 中进行 Bug Finder 分析

  • 对使用 MATLAB Coder™ 从 MATLAB 代码生成的 C/C++ 代码运行 Polyspace 分析(如果您有 Embedded Coder®)。

    请参阅 MATLABCoder 中的 Bug Finder 分析

  • 使用 MATLAB 脚本对手写 C/C++ 代码运行 Polyspace 分析。

    请参阅使用 MATLAB 脚本进行 Bug Finder 分析

跨版本集成

您可以将 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 用户界面的窗格中,点击显示为超链接的代码注释。

另请参阅

|

主题