このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Polyspace Platform ユーザー インターフェイスでの Polyspace Code Prover の結果のレビュー

結果の解釈、レビュー情報の追加、結果のフィルター処理およびグループ化、レポートの表示

Polyspace® Platform は、Polyspace 製品での C/C++ コードの静的解析と動的テストをサポートする統合環境です。Code Prover 結果セット (.pscp ファイル) は Polyspace Platform ユーザー インターフェイスで開くことができ、以下の操作が可能です。

  • ダッシュボードで結果の概要を確認する。

  • 結果の詳細を確認して、対応するソース コードに移動する。

  • 個別の結果にステータス、重大度などのレビュー情報を追加する。

カテゴリ