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

考えられる解決策

この問題を解決するには、使用可能なヒープ メモリの拡張、または 1 つのレポートではなく複数のレポートでの結果の報告を試します。

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 結果のタブ区切りのテキスト ファイルへのエクスポート

PDF または HTML レポートを直接生成する代わりに、タブ区切りのテキスト (TSV) ファイルに結果をエクスポートできます。レポートを生成するよりも結果をエクスポートするほうが時間を短縮でき、大きな結果セットであっても妥当な時間内に完了します。詳細については、次を参照してください。

参考

|

トピック