R2019a 혹은 그 이상 버전의 Polyspace를 설치하려면 어떻게 해야 합니까?

Polyspace R2019a를 설치하려고합니다. 여기에서 다운로드한 설치 프로그램을 시작했습니다.MATLAB 다운로드와 MATLAB 라이선스를 선택했습니다.

그러나 Polyspace 제품은 "설치할 제품 선택" 창에 표시되지 않았습니다. 이전 릴리스에서는 이 목록에서 설치할 Polyspace 제품을 선택할 수 있었습니다.

Polyspace Bug Finder 또는 Polyspace Code Prover R2019a를 설치하려면 어떻게 해야 합니까?

Answer 1

[MathWorks Support Team]

R2019a 현재 Polyspace 제품은 MATLAB과 독립적입니다. 그 결과, 새로운 Polyspace 라이센스는 Polyspace Bug Finder 또는 Code Prover를 위한 R2019a 현재 소프트웨어 유지보수 서비스에 가입한 사용자에게 제공되었습니다.

R2019a의 라이선스 관련 변경 사항에 대한 자세한 내용은 아래 웹 페이지를 참조하십시오.

Release 2019a 라이센스 관련 변경 사항이 있는 제품 Polyspace R2019a 이상을 설치하려면 설치 프로그램에서 새 Polyspace 라이센스를 선택해야 합니다.

아래 단계를 따르십시오.

1. Download the MathWorks Installer

다운로드는

• 위의 "Download MATLAB" 링크에서 다운로드한 MathWorks 설치 프로그램을 실행합니다(예: "matlab_R2019a_win64.exe").
• 설치 프로그램의 지침에 따라 MathWorks 계정에 로그인합니다.

다음 창에서 "폴리스페이스

• 데스크톱" 또는 "폴리스페이스 서버" 라이선스를 선택해야 합니다. Polyspace 라이센스가 표시되지 않으면 로컬 MATLAB 라이센스 관리자에게 문의하십시오.
• 설치 프로그램의 지침에 따라 Polyspace 제품을 설치합니다.

참고: R2019a부터 폴리스페이스를 MATLAB/Simulink와 통합하려면 추가 단계를 수행해야 합니다. 자세한 내용은 다음 MATLAB 답변 포스트를 참조하십시오.

Simulink R2019a와 함께 Polyspace R2019a를 사용하려면 어떻게 해야 합니까?