デスクトップへの Polyspace 製品のインストール
デスクトップへの Polyspace® Bug Finder™ のインストール
Polyspace は静的解析を使用して、C および C++ コードのバグ、ランタイム エラー、コーディング規約違反などの問題をチェックします。コードの解析、結果のレビュー、修正の適用、デスクトップ マシンからのレポートの生成を行うには、Polyspace Bug Finder と Polyspace Code Prover™ デスクトップ製品をインストールします。
トピック
インストール
- Polyspace デスクトップ製品のインストール
Polyspace Bug Finder または Polyspace Code Prover をインストールする。
インストール後
- MATLAB や Simulink との Polyspace の統合
Polyspace と MATLAB® および Simulink® を統合して、モデルやコード内の、潜在的なバグ、ランタイム エラー、およびコーディング規約違反を特定します。 - Polyspace 製品の更新
デスクトップおよびサーバー インストール向けの Polyspace 製品の更新 - 製品アップグレード後の Polyspace プロジェクトの移行
Polyspace リリースの更新後に、オプションを更新し、結果で変化した点を考慮する。 - Polyspace 製品のライセンスの借入の設定
Polyspace をオフラインで使用するため、ライセンスを借り入れます。
