이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

Polyspace 제품에 대한 라이센스 대여 구성

Polyspace^® 제품이 라이선스 매니저가 필요한 라이선스(예: 상업용 동시 라이선스)를 사용하는 경우 라이선스 대여를 활성화하고 라이선스를 대여할 수 있습니다.

라이선스 매니저 서버에서 시스템 연결을 끊은 후에도 Polyspace 제품을 계속 사용하려면 최대 720시간(30일) 동안 라이선스를 대여하십시오.

대여를 지원하는 라이선스에는 제품의 INCREMENT 행에 BORROW 키워드가 포함됩니다. 예:

INCREMENT Polyspace_BF MLM 40 01-jan-0000 5 BORROW=720 \
	AB1CD234567EF6A3C24A

라이선스 대여를 활성화하려면 관리자여야 합니다. 라이선스 대여 활성화 항목을 참조하십시오.

Polyspace 라이선스 대여

참고

이 워크플로는 R2019a 이상 릴리스에 적용됩니다. R2018b 및 이전 릴리스의 경우 라이선스 대여를 참조하세요.

라이선스를 대여하려면 라이선스 매니저 설치에서 사용할 수 있는 lmutil 바이너리를 사용하십시오.

바이너리는 lmgrd 및 MLM 바이너리와 동일한 폴더에 있습니다(예: installFolder\win64\etc, 여기서 installFolder는 라이선스 매니저 설치 폴더임). 이 폴더의 위치를 모르는 경우 Polyspace 라이선스 매니저에게 문의하십시오.

또는 라이선스 매니저 다운로드 페이지에서 lmutil 바이너리를 포함한 라이선스 매니저를 다운로드하세요.

라이선스를 대여하려면:

라이선스를 대여하려는 시스템에 lmutil 바이너리를 복사합니다.
대여 기간 종료 날짜를 지정하고 선택적으로 종료 시간까지 지정하는 명령을 실행하려면 다음 형식을 사용하십시오.
```
lmutil lmborrow MLM dd-Mmm-YYYY hh:mm
```
예를 들어, 2021년 1월 20일 오후 1시까지 라이선스를 빌리려면 다음을 입력하십시오.
```
 lmutil lmborrow MLM 20-Jan-2021 13:00
```
종료 시간을 지정하지 않으면 라이선스는 지정한 날짜의 자정에 만료됩니다.
라이선스를 대여하려는 제품을 실행하세요. 예를 들어, Polyspace as You Code™ 제품의 라이선스를 대여한 후, 해당 제품을 사용하여 작은 소스 파일을 분석해 보세요.
라이선스 대여 상태를 확인하려면 다음 명령을 실행하세요.
```
lmutil lmborrow -status
lmutil - Copyright (c) 1989-2021 Flexera. All Rights Reserved.
Vendor     Feature                             Version    Expiration
______     ________                            __________ __________

MLM        Polyspace_BF_Access                            20-Jan-21 13:00
```
이 명령은 기능 이름과 대여한 라이선스의 만료 날짜 및 시간을 반환합니다.
네트워크에서 기기 연결을 끊고 Polyspace 제품을 계속 사용하세요.

다른 제품의 라이선스를 대여하지 않으려면 3단계 후에 다음 명령을 실행하십시오.

lmutil lmborrow -clear

Polyspace 라이선스 반환

대여 기간이 끝나기 전에 대여한 라이선스를 반환하려면:

라이선스 매니저의 네트워크에 머신을 연결하십시오.

다음 명령을 실행하여 반환할 라이선스의 기능 이름과 라이선스 파일 licenseFilePath의 경로 또는 라이선스 서버 serverPort@serverHostname과 연결된 포트와 호스트 이름을 지정합니다.

lmutil lmborrow -return -c licenseFilePath | serverPort@serverHostname featureName

이 표는 다양한 명령 파라미터의 값을 얻는 방법을 보여줍니다.

파라미터 설명

파라미터	설명
`licenseFilePath`	라이선스 파일의 경로입니다. 일반적으로 이 라이선스는 `polyspaceroot``/licenses` 폴더에 저장됩니다. 여기서 `polyspaceroot`는 라이선스를 빌린 컴퓨터의 Polyspace 제품 설치 폴더입니다. 예를 들어, `C:\Program Files\Polyspace\R2026a`.
`serverPort@serverHostname`	대여한 라이선스를 관리하는 라이선스 서버가 있는 시스템의 포트 번호와 호스트 이름입니다. `licenseFilePath` 경로가 있는 라이선스 파일의 `SERVER` 행을 검사하여 포트 번호와 호스트 이름을 찾을 수 있습니다. 예를 들어 라이선스 파일에 다음 줄이 포함되어 있는 경우: SERVER serverHostname A1234BCDE56F 56789 `56789@serverHostname`을 지정합니다. 행에 포트 번호가 포함되어 있지 않으면 기본 포트 값인 `27000`를 사용합니다.
`featureName`	서버 측 라이선스 파일의 `INCREMENT` 행에 나열된 기능의 이름입니다. 예를 들면 다음과 같습니다. `Polyspace_BF` — Polyspace Bug Finder™ `Polyspace_CP` — Polyspace Code Prover™ `Polyspace_BF_Access` — Polyspace as You Code `Polyspace_Test` — Polyspace Test™

licenseFilePath

라이선스 파일의 경로입니다. 일반적으로 이 라이선스는 polyspaceroot/licenses 폴더에 저장됩니다. 여기서 polyspaceroot는 라이선스를 빌린 컴퓨터의 Polyspace 제품 설치 폴더입니다. 예를 들어, C:\Program Files\Polyspace\R2026a.

serverPort@serverHostname

대여한 라이선스를 관리하는 라이선스 서버가 있는 시스템의 포트 번호와 호스트 이름입니다. licenseFilePath 경로가 있는 라이선스 파일의 SERVER 행을 검사하여 포트 번호와 호스트 이름을 찾을 수 있습니다.

예를 들어 라이선스 파일에 다음 줄이 포함되어 있는 경우:

SERVER serverHostname A1234BCDE56F 56789

56789@serverHostname을 지정합니다. 행에 포트 번호가 포함되어 있지 않으면 기본 포트 값인 27000를 사용합니다.

featureName

서버 측 라이선스 파일의 INCREMENT 행에 나열된 기능의 이름입니다. 예를 들면 다음과 같습니다.

Polyspace_BF — Polyspace Bug Finder™
Polyspace_CP — Polyspace Code Prover™
Polyspace_BF_Access — Polyspace as You Code
Polyspace_Test — Polyspace Test™

예를 들어 Polyspace Bug Finder 데스크톱 라이선스(Polyspace_BF)를 반환하려면 다음을 입력합니다.

lmutil lmborrow -return -c C:\Program Files\Polyspace\R2026a\licenses\license.lic Polyspace_BF