Exponenta Banner

Нехватка памяти во время генерации отчетов

Сообщение

....
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® размер кучки. Размер кучи по умолчанию в 64-битной архитектуре составляет 1024 МБ.

Чтобы увеличить размер:

  1. Переход к polyspaceroot\ polyspace\bin\ architecture. Где:

    • polyspaceroot - папка установки.

    • architecture ваша компьютерная архитектура, например win32, win64, и т.д.

  2. Измените размер кучи по умолчанию, указанный в файле, java.opts. Например, чтобы увеличить размер кучи до 2 ГБ, замените 1024m с 2048m.

  3. Если у вас нет разрешения на запись для файла, скопируйте файл в другое место. После внесения изменений скопируйте файл обратно в polyspaceroot\ polyspace\bin\ architecture\.

Документация Polyspace Code Prover

Поддержка