运行 Polyspace 分析时的故障排除

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

对运行 Polyspace 分析时可能出现的各种错误进行故障排除，例如：

  • 编译错误

  • 许可和数据库错误

  • 创建工程时出现的错误

  • 设置远程集群时出现的错误

  • 分析生成的代码时出现的错误

类别