このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。
Eclipse での Polyspace as You Code の実行と結果のレビュー
Eclipse™ での Polyspace® as You Code プラグインの構成、解析の実行、結果の確認
Eclipse で Polyspace as You Code プラグインを使用している場合は、ファイルの保存時または明示的に単一ファイルの解析を実行できます。解析では、現在アクティブなファイルの欠陥 (バグ)、コーディング規約違反などの問題がチェックされます。解析結果はソース コード マーカーとして表示され、さらに別のリストに表示されます。
トピック
Eclipse での Polyspace as You Code の使い方
- Eclipse での Polyspace as You Code 解析の実行 (Polyspace Access)
Eclipse で Polyspace as You Code の構成、実行、管理を行います。
使用法
- コードへの注釈付けと既知の結果または許容可能な結果の非表示
既知の問題を正当化するための Polyspace コード注釈構文を確認する。
インストールと構成
- Eclipse での Polyspace as You Code プラグインのインストール (Polyspace Access)
- Polyspace 解析のオプション ファイル
- Polyspace as You Code での解析失敗または予期しない結果のトラブルシューティング (Polyspace Access)
- Eclipse での Polyspace as You Code 用チェッカーの構成 (Polyspace Access)
Polyspace 欠陥チェッカーとコーディング ルール違反の選択を作成、変更、またはインポートする。
- Polyspace as You Code の解析範囲 (Polyspace Access)
