このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Polyspace Code Prover でのトラブルシューティング

Polyspace® Code Prover™ での予期しない問題の解決

Polyspace Code Prover 解析の設定または実行で想定外の問題が発生した場合は、このトラブルシューティング ガイドで回避策を確認してください。

Polyspace 解析の実行中に発生する想定外の問題:

  • コンパイル エラー

  • ライセンス エラー、データベースの破損、一時的なフォルダーの制限

  • プロジェクト作成エラー

  • サーバーが見つからないなどの、リモート クラスターでの解析エラー

  • メモリ使用量または解析時間のエラー

  • Simulink® モデルに含まれている生成コードまたはカスタム コードの Polyspace 解析を実行中に発生するエラー

結果のレビュー中に発生する想定外の問題:

  • 結果の解釈 (不明なオレンジ チェックなど)。

  • レポートの生成 (メモリ不足エラーや不十分なレポートなど)。

Polyspace Code Prover のインストール中に想定外のエラーが発生した場合は、Polyspace のインストールでインストールの詳細な説明を参照してください。

カテゴリ