Polyspace Bug Finder 中的故障排除
解决 Polyspace® Bug Finder™ 中的意外问题
如果在设置或运行 Polyspace Bug Finder 分析时遇到意外问题,请查看此故障排除指南来查找解决方法。
运行 Polyspace 分析时会遇到的意外问题包括:
编译错误
许可证错误、数据库损坏或临时文件夹限制
工程创建错误
找不到服务器,或远程集群上的其他分析错误
对 Simulink® 模型中包含的生成代码或自定义代码运行 Polyspace 分析时出现的错误
审查结果时会遇到的意外问题包括:
未检测到的编码违规或 Bug Finder 缺陷。
报告生成问题,例如内存不足错误或报告不令人满意。
如果在安装 Polyspace Bug Finder 时遇到意外错误,请参阅安装 Polyspace来了解详细的安装说明。
类别
- 运行 Polyspace 分析时的故障排除
编译错误、连接到服务器时的错误、创建 Polyspace 工程时的错误,等等
- 审查结果时的故障排除
未检测到的编码违规、报告生成错误,等等