68、Polyspace使用中的常见问题及解决方法

Polyspace使用中的常见问题及解决方法

1. 修复引用Polyspace时MATLAB崩溃问题

在Polyspace安装目录下的 polyspaceroot\bin 子文件夹中存在一个MATLAB可执行文件，这是因为Polyspace的某些功能在底层使用了MATLAB引擎。但Polyspace附带的MATLAB引擎功能严重受限，即使激活许可证，最终用户也无法使用。

问题表现 ：若尝试从Polyspace安装文件夹打开 matlab.exe 并执行MATLAB命令，MATLAB可能在命令执行期间崩溃。崩溃日志会显示从Polyspace安装文件夹（如 C:\Program Files\Polyspace\R2022b ）打开了MATLAB。

解决方案 ：
- 不要通过运行类似 C:\Program Files\Polyspace\R2022b\bin\matlab.exe 的可执行文件从Polyspace安装目录打开MATLAB。
- 应从实际的MATLAB安装目录运行可执行文件，如 C:\Program Files\MATLAB\R2022b\bin\matlab.exe 来打开MATLAB。
- 若要查看正在使用的MATLAB安装目录，可在MATLAB命令窗口输入 matlabroot ，该命令会显示MATLAB安装的根目录。

需要注意的是，可以从MATLAB命令行运行Po