解析時間の短縮とメモリ使用量の削減
アプリケーションのモジュール化、アプリケーションの複雑度の低減
メモリ使用量の削減と解析のモジュール化により、解析に長時間かかる関する問題をトラブルシューティングします。
Polyspace オプション
トラブルシューティング
ブロック要因の特定
- Polyspace 解析によるメモリ使用量の削減と解析時間の短縮
コード ベース全体の検証に時間がかかりすぎる場合、アプリケーションのサイズを減らすか、検証の複雑さを体系的に小さくする。
自動モジュール化
- ビルド コマンドを使用した Polyspace 解析のモジュール化
ビルド コマンドで各バイナリに個別の Polyspace® オプション ファイルを作成する。 - AUTOSAR コードに対する Polyspace の実行
AUTOSAR ソフトウェア コンポーネントのコード実装のランタイム エラーや ARXML データ制約違反をチェックする。 - 初期相互依存関係の分析に基づくコマンド ラインでのPolyspace 解析のモジュール化
モジュール検証を高速化するため、Polyspace 解析を比較的独立した小さなモジュールに分割します。
テクニカル サポート
- Polyspace 実行時の問題に関するテクニカル サポートへのお問い合わせ
MathWorks® テクニカル サポートが問題を診断するために、どのような情報を必要とするかを学ぶ。
