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

Polyspace Platform ユーザーインターフェイスでの結果の管理

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

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

トピック

Polyspace Platform ユーザーインターフェイスでの結果へのフィルターの適用と並べ替え
結果のリストを絞り込み、ファイルまたは結果のタイプ別に結果を整理する。
Prioritize Check Review in Polyspace Platform User Interface
Identify more critical issues in your verification results and review them in preference to others.
PolyspaceCode Prover のオレンジチェック

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