이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.
Polyspace 플랫폼 사용자 인터페이스를 Polyspace Access와 통합
Polyspace® 플랫폼 사용자 인터페이스를 Polyspace Access™와 연동하면 로컬 컴퓨터의 결과를 Polyspace Access 서버로 업로드할 수 있습니다.
Polyspace 플랫폼 사용자 인터페이스를 Polyspace Access와 통합하려면:
Polyspace 플랫폼 사용자 인터페이스의 툴스트립에서 Settings를 선택하여 Polyspace 플랫폼 설정 창을 엽니다.
Polyspace Access를 선택하고 다음 설정을 지정하십시오:
필드 설명 Polyspace Access URL Polyspace Access 인터페이스에 로그인할 때 사용하는 URL은 다음과 같이 지정됩니다:
또는https://hostName:port
URL을 모르는 경우 Polyspace Access 관리자에게 문의하세요.http://hostName:port
Client keystore path Polyspace Access을 HTTPS로 구성하는 데 사용된 서명된 인증서를 가져온 키스토어 파일의 경로입니다. 클라이언트 키 저장소 생성 항목을 참조하십시오.
Polyspace Access URL가 HTTPS를 사용하는 경우 이 필드는 필수입니다. URL이 HTTP를 사용하는 경우(권장하지 않음) 이 필드를 비워 두세요.
Client keystore password 키스토어 파일에 연결된 비밀번호.
Polyspace Access URL가 HTTPS를 사용하는 경우 이 필드는 필수입니다. URL이 HTTP를 사용하는 경우(권장하지 않음) 이 필드를 비워 두세요.
OK를 클릭하여 설정을 저장하고 대화 상자를 닫으세요. 그런 다음 툴스트립에서 Access를 선택하여 다음을 수행합니다:
Polyspace Access 웹 인터페이스를 엽니다.
분석 결과를 Polyspace Access 데이터베이스에 업로드합니다. 이 옵션은 Review 관점에서 결과를 볼 때만 표시됩니다.
Polyspace Access 데이터베이스에 저장된 결과에 대한 리포트를 생성합니다. Generate Reports of Bug Finder or Code Prover Results (Polyspace Bug Finder) 항목을 참조하십시오.
참고
Polyspace Access를 Polyspace Bug Finder™, Polyspace Code Prover™ 및 Polyspace for Ada 제품의 기존 데스크톱 사용자 인터페이스와 통합하는 방법에 대한 자세한 지침은 Polyspace 사용자 인터페이스와 Polyspace Access 통합 (R2025b)을 참조하십시오.
클라이언트 키 저장소 생성
Polyspace Access가 HTTPS를 사용하도록 구성된 경우, Polyspace Access와 클라이언트 머신의 이러한 Polyspace 인터페이스 간 통신을 활성화하기 위해 Java® KeyStore(JKS) 파일을 생성하십시오:
Polyspace 플랫폼 사용자 인터페이스
polyspace-report-generator(Polyspace Bug Finder) 바이너리polyspace-results-export(Polyspace Bug Finder) 바이너리
HTTPS를 사용하여 Polyspace Access를 구성하는 데 사용된 서명된 인증서를 확보한 다음, 생성한 JKS 파일에 해당 인증서를 가져오십시오.
Polyspace Access 서명 인증서 획득
Polyspace Access 소프트웨어 설치를 관리하는 경우, HTTPS를 사용하여 Polyspace Access를 구성하기 위해 얻은 서명된 인증서를 클라이언트 컴퓨터에 복사합니다. scp와 같은 유틸리티를 사용하여 Polyspace Access를 설치한 서버 컴퓨터에서 클라이언트 컴퓨터로 인증서를 안전하게 복사하세요.
Polyspace Access 최종 사용자인 경우 Polyspace 관리자에게 문의하여 서명된 인증서의 사본을 얻으십시오. 또는 웹 브라우저에서 서명된 인증서를 다운로드하세요. 웹 브라우저에서 서명된 인증서 다운로드 항목을 참조하십시오.
JKS 파일을 생성하고 Polyspace Access 서명된 인증서를 가져옵니다.
JKS 파일을 생성하려면 keytool 키 및 인증서 관리 유틸리티를 사용하십시오. keytool 유틸리티는 다음 폴더에 있는 Polyspace 데스크탑 또는 서버 제품 설치와 함께 사용할 수 있습니다.
Windows®:
polyspaceroot\sys\java\jre\win64\jre\binLinux®:
polyspaceroot/sys/java/jre/glnxa64/jre/bin
여기서 polyspaceroot는 제품 설치 폴더를 의미하며, 예를 들어 /usr/local/Polyspace/R2026a와 같습니다.
키스토어 파일을 생성할 때는 Polyspace 데스크톱 또는 서버 제품 설치 패키지에 포함된 keytool 유틸리티를 사용하는 것이 좋습니다. OpenJDK와 같은 JDK 대체 솔루션의 다른 keytool 유틸리티는 호환되지 않는 형식의 키스토어 파일을 생성할 수 있으므로 사용해서는 안 됩니다. 또한, 키스토어를 생성할 때는 사용자 버전과 Polyspace 버전을 일치시켜야 합니다. 예를 들어, Polyspace의 R2026a 버전을 사용 중이라면, keytool 유틸리티의 R2026a 버전을 사용하십시오.
예를 들어, Polyspace Access 서명된 인증서 파일 admin_cert.cer를 얻었다면, 다음 명령을 사용하여 해당 JKS 파일을 생성하십시오:
keytool -importcert -trustcacerts -alias cert -file admin_cert.cer -keystore client-cert.jks -storetype JKS -storepass passwordclient-cert.jks 파일을 출력합니다. 이 키스토어 파일에 연결된 비밀번호는 password입니다.웹 브라우저에서 서명된 인증서 다운로드
Polyspace Access 서명 인증서의 사본을 다운로드하려면 인증서 보기 및 다운로드 방법에 대한 웹 브라우저 지침을 따르세요.
인증서를 다운로드한 후 JKS 파일을 생성하고 Polyspace Access 서명된 인증서를 가져옵니다.의 지침에 따라 클라이언트 키 저장소를 생성합니다.
참고
웹 브라우저에서 서명된 인증서를 다운로드하기 전에 네트워크 보안 관리자에게 문의하세요. 네트워크가 무단 접근으로부터 보호되지 않는 경우, 웹 브라우저에서 인증서를 다운로드하면 중간자(MITM) 공격에 노출될 수 있습니다.
