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

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

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\R2025a`입니다.
`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\R2025a입니다.

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™

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

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