이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.
예제 업로드 및 Polyspace Access 인터페이스 열기
선행 조건
Polyspace® Access™ 사용을 시작하려면 Polyspace Access 데이터베이스에 결과를 업로드하고 웹 인터페이스를 열어서 해당 결과를 확인하세요.
예시 업로드
명령줄에서 결과 업로드
Polyspace Bug Finder™ Server™ 또는 Polyspace Code Prover™ Server 설치와 함께 제공된 예제를 업로드하려면, 명령줄에서 polyspaceroot\polyspace
bin\polyspace-access -host hostname -port port^ -upload examples\cxx\Bug_Finder_Example\Module_1\BF_Result
polyspaceroot는 Polyspace 설치 경로입니다. hostname 는 Polyspace Access를 호스팅하는 머신의 정규화된 도메인 이름(FQDN)입니다. port는 admin-docker-agent 바이너리를 시작할 때 지정한 포트 번호입니다. 명령줄에서 결과를 업로드하는 방법에 대한 자세한 내용은 Upload Results at Command Line (Polyspace Bug Finder)를 참조하세요.각 명령 후에는 사용자 이름과 비밀번호를 입력하라는 메시지가 표시됩니다. Polyspace Access에 로그인하는 데 사용하는 자격 증명을 입력하세요.
명령줄을 사용하여 Polyspace Desktop 제품 분석 결과를 Polyspace Access 데이터베이스로 업로드할 수 없습니다.
Polyspace 플랫폼 사용자 인터페이스에서 결과 업로드
Polyspace Platform 사용자 인터페이스에서 결과를 업로드하려면 먼저 Polyspace Platform이 Polyspace Access과 통신할 수 있도록 설정해야 합니다. Polyspace 플랫폼 사용자 인터페이스를 Polyspace Access와 통합 항목을 참조하십시오.
Polyspace Bug Finder 또는 Polyspace Code Prover 설치와 함께 제공되는 데모 예제를 업로드하려면:
Polyspace Platform 사용자 인터페이스에서 예제를 열어보세요. 시작 페이지에서 예제 프로젝트 중 하나를 선택하세요. Results 패널에서 결과를 더블 클릭하면 결과 대시보드가 열립니다. 툴스트립에서 Review를 클릭하여 검토(Review) 관점을 엽니다.
툴스트립에서 Access > Upload Result를 클릭합니다.
“Polyspace Access 리포지토리에 결과 업로드” 창에서 다음 필드를 입력하십시오:
Username — Polyspace Access 사용자 이름.
Password — 사용자 이름과 연결된 Polyspace Access 비밀번호입니다.
Project name — 프로젝트 이름. 설정한 프로젝트 이름은 Project Explorer 패널과 Project Details 패널 모두에서 Polyspace Access으로 표시됩니다.
Parent Project path — Polyspace Access 내부에서 프로젝트로 이동하는 경로. 예를 들어, 프로젝트를
public폴더 내의example폴더에 위치시키고 싶다면, 상위 프로젝트 경로를public/example로 설정하십시오.
이 창에서는 Server 설정을 편집할 수 없습니다. Server 정보가 잘못된 경우, Polyspace Platform 구성을 수정하십시오. Polyspace 플랫폼 사용자 인터페이스를 Polyspace Access와 통합 항목을 참조하십시오.
Upload를 클릭하세요. 상태 창이 나타나 업로드 진행 상황을 보여줍니다. 업로드에 실패하면 상태 창에 오류 메시지가 표시되며 자세한 내용이 제공됩니다.
Polyspace Access에 결과를 업로드한 후, Polyspace Platform 사용자 인터페이스에서 업로드된 결과의 로컬 사본을 열면, 결과를 Polyspace Access에서 열 것인지 아니면 Polyspace Platform 사용자 인터페이스에서 계속 진행할 것인지 묻는 대화 상자가 나타납니다. Polyspace Platform 사용자 인터페이스에서 계속 진행하면, Result Details 패널의 검토 필드는 읽기 전용으로 표시됩니다. Status, Severity 및 Comment 필드는 Polyspace Access에서만 편집할 수 있습니다.
참고
Polyspace Bug Finder, Polyspace Code Prover 및 Polyspace for Ada 제품의 결과를 기존 데스크톱 사용자 인터페이스에서 업로드하려면 데스크톱 인터페이스에서 결과 업로드 (R2025b)를 참조하십시오.
Polyspace Access 웹 인터페이스를 엽니다.
Polyspace Access 인터페이스를 열려면 Cluster Dashboard에서 Open UI를 클릭하세요.
주소 표시줄에서 URL(예: https://access-machine.company.com:9443/metrics/index.html)을 복사하여 Polyspace Access 사용자와 공유하세요. 해당 URL을 통해 사용자는 Polyspace Access를 호스팅하는 서버에 연결된 모든 컴퓨터에서 Polyspace Access 인터페이스를 열 수 있습니다.
설치가 완료되면 Cluster Admin 인터페이스를 닫고 Ctrl+C를 눌러 명령줄에서 admin-docker-agent 바이너리를 중지하세요. 인터페이스를 닫기 전에 바이너리를 중지하면 앱 상태가 알 수 없음 상태로 나열됩니다.
