管理结果
对 Bug Finder 结果进行过滤和分组以进行系统性的审查
通过以下方式优化工程管理和协同审查：
为评审人员设置工程权限。
使用过滤器和标签对结果进行排序和分组。
从 Polyspace® Access™ 界面创建 Bug 跟踪工具工单。
您可以使用 polyspace-access 二进制文件在 Polyspace Access 界面中或命令行下执行大部分上述操作。
要管理运行和工程的删除，请参阅清理 Polyspace Access 数据库 (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.
- 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.
