結果の管理

体系的レビュー用の Code Prover の結果のフィルタリングとグループ化

Polyspace^® 解析の結果を開くと、欠陥 (Bug Finder)、実行時チェック (Code Prover)、コーディングルール違反などの結果のフラットリストが表示されます。レビューを整理するには、リストを絞り込むか、ファイルまたは結果のタイプ別に結果をグループ化します。

トピック

Polyspace デスクトップユーザーインターフェイスでの結果のフィルター処理とグループ化
結果のリストを絞り込み、ファイルまたは結果のタイプ別に結果を整理する。
チェックレビューの優先順位
検証結果で重要度の高い問題を特定し、その問題を他より優先してレビューする。
PolyspaceCode Prover のオレンジチェック

検証によって特定の操作でのエラーの有無を証明できない理由と、その操作を確認しなければならない理由を学ぶ。