运行 Polyspace 分析时的故障排除
编译错误、连接到服务器时的错误、创建 Polyspace® 工程时的错误,等等
解决运行 Polyspace 分析时出现的问题,例如:
编译和链接问题。
从编译系统或 AUTOSAR XML 文件生成工程。
在远程集群上运行分析。
内存使用和分析运行缓慢。
在 Simulink® 中运行分析。
许可、结果存储和其他问题。
类别
- 解决编译错误
运行 Polyspace Code Prover™ 分析时的编译和链接错误
- 有关许可、数据库和其他错误的故障排除
结果数据库损坏、临时文件夹限制、许可证错误等。
- 创建工程时的故障排除
通过编译命令或 AUTOSAR XML (ARXML) 创建工程时出错
- 在远程集群上运行分析时的故障排除
找不到服务器错误、写入作业管理器数据库时出现的问题,等等
- 减少分析时间和内存使用
将应用程序模块化,降低应用程序的复杂度
- 在 Simulink 中运行分析时的故障排除
对 Polyspace 模型中包含的生成代码和自定义代码运行 Simulink 分析时出错