Polyspace がビルドをトレースする場合の遅いビルド処理の修正

問題

場合によっては、Polyspace^® がビルドをトレースする際に、ビルド処理の実行速度が遅くなります。

原因

Polyspace では、システムの一時フォルダー (Windows^® の場合は C:\Users\User_Name\AppData\Local\Temp など) に格納されるファイルに情報がキャッシュされます。ビルドでは、このフォルダーに対する読み取り/書き込み操作の実行に時間がかかることがあります。したがって、ビルド処理全体が遅くなります。

解決法

Polyspace がキャッシュ情報を格納する場所を変更することにより、ビルド処理が遅くなるのを回避することができます。たとえば、ビルドのトレースを実行する場所からローカルのドライブへのキャッシュパスを使用できます。キャッシュ情報の格納先としてローカルフォルダー ps_cache を作成して使用するには、詳細オプション -cache-path ./ps_cache を使用します。

Polyspace ユーザーインターフェイスでビルドをトレースする場合は、このフラグをフィールド [詳細構成オプションを追加] に入力します。
DOS、UNIX^® または MATLAB^® コマンドラインでビルドをトレースする場合は、このフラグを polyspace-configure コマンドで使用します。

詳細は、polyspace-configure を参照してください。