本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。

管理结果

对 Bug Finder 结果进行过滤和分组以进行系统性的审查

通过以下方式优化工程管理和协同审查：

您可以使用 polyspace-access 二进制文件在 Polyspace Access 界面中或命令行下执行大部分上述操作。

要管理运行和工程的删除，请参阅清理 Polyspace Access 数据库 (Polyspace Access)。

系统命令

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

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

Manage Permissions in Polyspace Access Web Interface (Polyspace Access)
Check overall quality of code, set user permissions to view projects.
Filter and Sort Results in Polyspace Access Web Interface (Polyspace Access)

Narrow down list of results, organize results by file or result type.
- Create Custom Filter Groups in Polyspace Access Web Interface (Polyspace Access)
Add Labels to Project Runs in Polyspace Access (Polyspace Access)
Add labels to runs in projects.
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.
从 Polyspace Access Web 界面创建 Bug 跟踪工具工单 (Polyspace Access)
使用 Jira 软件或 Redmine 从 Polyspace Access 界面跟踪检查结果。
Orange Checks in Polyspace Code Prover

Learn why the verification cannot prove the presence or absence of an error for certain operations and why you must review the operations.
将结果上传到 Polyspace Access
从桌面端或服务器端产品上传分析结果。