結果のレビューとレポート生成
Code Prover により検出されたランタイム エラー (RTE) の調査、結果の修正または正当化、結果のレビューの管理、レポート生成を行う
Polyspace® Platform ユーザー インターフェイスで、Code Prover により検出されたランタイム エラーをレビューできます。このユーザー インターフェイスでは Code Prover の実行方法に関係なく、解析結果ファイル (.pscp ファイル) を開いて、以下の操作を行うことができます。
ダッシュボードで結果の概要を確認する。
結果の詳細を確認して、対応するソース コードに移動する。
個別の結果にステータス、重大度などのレビュー情報を追加する。
カテゴリ
- Code Prover 結果の解釈
Code Prover の結果を解釈し、ソース コード内を移動して、データ フローをトレースする
- 結果へのレビュー情報の追加
バグ修正または正当化による Code Prover の結果への対処
- 結果の管理
体系的レビュー用の Code Prover の結果のフィルタリングとグループ化
- レポートとメトリクス
ソフトウェア開発ライフサイクル全体にわたるコード品質の監視
- Polyspace Code Prover の結果
結果の説明と例
関連情報
- Code Prover の結果のレビュー (Polyspace Access)