実行中の Polyspace 解析のトラブルシューティング
コンパイル エラー、サーバーへの接続エラー、Polyspace® プロジェクトの作成エラーなど
Polyspace 解析実行時の以下のような問題をトラブルシューティングします。
コンパイルおよびリンクの問題。
ビルド システムまたは AUTOSAR XML ファイルからのプロジェクト生成。
リモート クラスターでの解析。
メモリ使用量と解析の実行速度の遅さ。
Simulink® での解析。
ライセンス、結果の保存、およびその他の問題。
カテゴリ
- コンパイル エラーのトラブルシューティング
Polyspace Code Prover™ 解析の実行時のコンパイルおよびリンクのエラー
- ライセンス、データベース、およびその他のエラーのトラブルシューティング
データベースの破損、一時的なフォルダーの制限、ライセンス エラーなどが発生します。
- プロジェクト作成のトラブルシューティング
ビルド コマンドまたは AUTOSAR XML (ARXML) からのプロジェクト作成におけるエラー
- リモート クラスターでの解析のトラブルシューティング
サーバーが見つからない、ジョブ マネージャー データベースへの書き込みの問題など
- 解析時間の短縮とメモリ使用量の削減
アプリケーションのモジュール化、アプリケーションの複雑度の低減
- Simulink での解析のトラブルシューティング
Simulink モデルに含まれている生成コードおよびカスタム コードの Polyspace 解析の実行中のエラー