デスクトップで使用するための Code Prover のインストール
デスクトップへの Polyspace® Code Prover™ のインストール
デスクトップで C/C++ コードのランタイム エラーをチェックするには、Polyspace Code Prover をインストールします。Code Prover の実行方法によっては、製品設定のために追加の手順を 1 回のみ実行する必要があります。
トピック
- Polyspace デスクトップ製品のインストール
Polyspace Bug Finder™ または Polyspace Code Prover をインストールする。
- MATLAB や Simulink との Polyspace の統合
Polyspace と MATLAB® および Simulink® を統合して、モデルやコード内の、潜在的なバグ、ランタイム エラー、およびコーディング規約違反を特定します。
- Polyspace 製品のライセンスの借入の設定 (Polyspace Access)
Polyspace をオフラインで使用するため、ライセンスを借り入れる。
- Polyspace 製品の更新
デスクトップおよびサーバー インストール向けの Polyspace 製品の更新
- 製品アップグレード後の Polyspace プロジェクトの移行
Polyspace リリースの更新後に、オプションを更新し、結果で変化した点を考慮する。
- Polyspace 製品のライセンスの借入の設定
Polyspace をオフラインで使用するため、ライセンスを借り入れる。
