管理结果
对 Polyspace 结果进行过滤和分组,以进行系统性的审查
通过以下方式优化工程管理和协同审查:
为评审人员设置工程权限。
使用过滤器和标签对结果进行排序和分组。
从 Polyspace Access 界面创建 Bug 跟踪工具工单。
您可以使用 polyspace-access
二进制文件在 Polyspace Access 界面中或命令行下执行大部分上述操作。
要管理运行和工程的删除,请参阅清理 Polyspace Access 数据库。
主题
- Manage Permissions and View Project Trends in Polyspace Access Web Interface
Check overall quality of code, set user permissions to view projects.
- Filter and Sort Results in Polyspace Access Web Interface
Narrow down list of results, organize results by file or result type.
- Add Project Banners to Results in Polyspace Access
Add, edit, and delete project banners to results.
- Add Labels to Project Runs in Polyspace Access
Add labels to runs in projects.
- Prioritize Check Review in Polyspace Access Web Interface
Identify more critical issues in your verification results and review them in preference to others.
- 从 Polyspace Access Web 界面创建 Bug 跟踪工具工单
使用 Jira 软件或 Redmine 从 Polyspace® Access™ 界面跟踪检查结果。
- Orange Checks in Polyspace Code Prover (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.
- Managing Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Critical Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Reduce Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Evaluate Polyspace Code Prover Results Against Software Quality Objectives (Polyspace Code Prover)