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

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

解析後に、Polyspace® ユーザー インターフェイスで結果をレビューします。次のいずれかを行います。

  • すぐに結果のレビューを開始します。

  • 結果の管理戦略を適用し、レビューの範囲を絞り込んでから結果をレビューします。

カテゴリ