結果の管理

体系的レビュー用の Bug Finder の結果のフィルター処理とグループ化

次のアクションを行って、プロジェクト管理とコラボレーションレビューを最適化します。

これらのアクションのほとんどは、Polyspace Access インターフェイスまたはコマンドラインで polyspace-access バイナリを使用して実行できます。

実行とプロジェクトの削除を管理する場合は、Polyspace Access データベースのクリーンアップ (Polyspace Access)を参照してください。

システムコマンド

`polyspace-access -create-project` (Polyspace Access)	Create project folder in Polyspace Access web interface
`polyspace-access -move-project` (Polyspace Access)	Moves or rename project or folder
`polyspace-access -delete-project` (Polyspace Access)	Delete specified project or folder
`polyspace-access -set-deletion-policy` (Polyspace Access)	Set or edit project run deletion policy
`polyspace-access -unset-deletion-policy` (Polyspace Access)	Unset project run deletion policy
`polyspace-access -get-deletion-policy` (Polyspace Access)	Show project deletion policy
`polyspace-access -list-project` (Polyspace Access)	List paths to all projects in Polyspace Access database
`polyspace-access -list-runs` (Polyspace Access)	Show all uploaded runs

`polyspace-access -upload` (Polyspace Access)	Upload results to Polyspace Access database
`polyspace-access -download` (Polyspace Access)	Download results from Polyspace Access

Manage Permissions and View Project Trends in Polyspace Access Web Interface (Polyspace Access)
Check overall quality of code, set user permissions to view projects.
Polyspace Access Web インターフェイスでの結果のフィルタリングと並べ替え (Polyspace Access)

結果のリストを絞り込み、ファイルまたは結果のタイプ別に結果を整理する。
- Create Custom Filter Groups in Polyspace Access Web Interface (Polyspace Access)
Polyspace Access でのプロジェクト実行へのラベルの追加 (Polyspace Access)
プロジェクトの実行にラベルを追加します。
Prioritize Check Review in Polyspace Access Web Interface (Polyspace Access)
Identify more critical issues in your verification results and review them in preference to others.
Create Bug Tracking Tool Tickets from the Polyspace Access Web Interface (Polyspace Access)
Track findings with Jira software or Redmine from the Polyspace Access interface.
PolyspaceCode Prover のオレンジチェック

検証によって特定の操作でのエラーの有無を証明できない理由と、その操作を確認しなければならない理由を学ぶ。
結果を Polyspace Access にアップロード
デスクトップ製品またはサーバー製品の解析結果をアップロードする。