このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
デスクトップへの Code Prover のインストール
デスクトップへの Polyspace® Code Prover™ のインストール
Polyspace は静的解析を使用して、C/C++ コードのバグ、ランタイム エラー、コーディング規約違反などの問題をチェックします。デスクトップ製品 (Polyspace Bug Finder™ および Polyspace Code Prover) では、コード送信前に個々のデスクトップ上でチェックを実行できます。
トピック
- Polyspace デスクトップ製品のインストール
Polyspace Bug Finder または Polyspace Code Prover をインストールする。
- MATLAB や Simulink との Polyspace の統合
Polyspace と MATLAB® および Simulink® を統合して、モデルやコード内の、潜在的なバグ、ランタイム エラー、およびコーディング規約違反を特定します。
- Polyspace 製品のライセンスの借入の設定 (Polyspace Access)
Polyspace をオフラインで使用するため、ライセンスを借り入れます。
- Polyspace 製品の更新
デスクトップおよびサーバー インストール向けの Polyspace 製品の更新
- 製品アップグレード後の Polyspace プロジェクトの移行
Polyspace リリースの更新後に、オプションを更新し、結果で変化した点を考慮する。
