主要内容

运行 Polyspace 分析时的故障排除

编译错误、连接到服务器时的错误、创建 Polyspace® 工程时的错误,等等

解决运行 Polyspace 分析时出现的问题,例如:

  • 编译和链接问题。

  • 从编译系统或 AUTOSAR XML 文件生成工程。

  • 在远程集群上运行分析。

  • 内存使用和分析运行缓慢。

  • 在 Simulink® 中运行分析。

  • 许可、结果存储和其他问题。

类别