결과 관리

체계적인 검토를 위해 Polyspace 결과 필터링 및 그룹화

다음을 통해 프로젝트 관리 및 공동 검토를 최적화합니다.

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.
- Create Custom Filter Groups in Polyspace Access Web Interface
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.
Create Bug Tracking Tool Tickets from the Polyspace Access Web Interface
Track findings with Jira software or Redmine from the Polyspace^® Access™ interface.
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)