修复 Polyspace 报告生成期间的内存不足错误

问题

当从包含大量缺陷或编码违规的 Polyspace® 结果生成报告时，您可能会遇到内存不足错误。

错误消息大致如下：

....
Exporting views... 
Initializing... 
Polyspace Report Generator 
Generating Report 
 ..... 
    Converting report 
Opening log file:  C:\Users\auser\AppData\Local\Temp\java.log.7512 
Document conversion failed 
.....
Java exception occurred: 
java.lang.OutOfMemoryError: Java heap space

可能的解决方案

要解决此问题，您可以尝试增加可用堆内存，或者通过多个报告而不是单个报告来报告结果。

增加 Java 堆大小

如果在生成报告期间出现该错误，请尝试增加 Java® 堆大小。64 位架构中的默认堆大小为 1024 MB。

要增加堆大小，请执行以下操作：

  1. 导航到 polyspaceroot\polyspace\bin\architecture。其中：

    • polyspaceroot 是安装文件夹。

    • architecture 是您的计算机架构，例如 win32、win64 等。

  2. 更改 java.opts 文件中指定的默认堆大小。例如，要将堆大小增加到 2 GB，请将 1024m 替换为 2048m。

  3. 如果您对该文件没有写入权限，请将该文件复制到其他位置。完成更改后，再将该文件复制回 polyspaceroot\polyspace\bin\architecture\。

将 Polyspace 结果导出为制表符分隔的文本文件

您可以将结果导出为制表符分隔的文本 (TSV) 文件，而不是直接生成 PDF 或 HTML 报告。导出结果比生成报告的速度更快，即使是大型结果集也能在合理时间内完成。有关详细信息，请参阅：

另请参阅

|

主题