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

Polyspace Access에서 리포트 및 변수 목록 생성

참고

명령줄에서 Polyspace^® Access™에 대한 결과 리포트를 생성하려면 Polyspace Bug Finder™ Server™ 또는 Polyspace Code Prover™ Server가 설치되어 있어야 합니다.

Polyspace Access 프로젝트에서 볼 수 있는 Code Prover 분석 결과에서 변수 목록을 내보내고 리포트를 생성하려고 한다고 가정해 보겠습니다.

Polyspace Access에 연결하려면 호스트 이름과 암호화된 비밀번호를 포함한 로그인 자격 증명을 제공하세요. 비밀번호를 암호화하려면 polyspace-access 명령을 사용하고 프롬프트에 사용자 이름과 비밀번호를 입력하세요.

polyspace-access -encrypt-password 
login: jsmith
password:
CRYPTED_PASSWORD LAMMMEACDMKEFELKMNDCONEAPECEEKPL
Command Completed

로그인 및 암호화된 비밀번호를 자격 증명 파일에 저장하고 이 파일에 대한 읽기 및 쓰기 권한을 제한합니다. 텍스트 편집기를 열고 편집기에 두 줄을 복사한 다음, 파일을 예를 들어 myCredentials.txt라는 이름으로 저장합니다.

 -login jsmith
 -encrypted-password LAMMMEACDMKEFELKMNDCONEAPECEEKPL

파일 권한을 제한하려면 파일을 마우스 오른쪽 버튼으로 클릭하고 Linux^®의 Permissions 탭이나 Windows^®의 Security 탭을 선택하세요.

Polyspace Access에 요약할 프로젝트를 선택하려면 프로젝트의 실행 ID를 지정하세요. 최신 실행 ID가 있는 프로젝트 목록을 얻으려면 polyspace-access -list-project 명령을 사용하세요.

polyspace-access -host myAccessServer -credentials-file myCredentials.txt -list-project
Connecting to https://myAccessServer:9443
Connecting as jsmith
Get project list with the last Run Id
Restricted/Code_Prover_Example (Code Prover) RUN_ID 14
public/Bug_Finder_Example (Bug Finder) RUN_ID 24
public/CP/Code_Prover_Example (Polyspace Code Prover) RUN_ID 16
public/Polyspace (Code Prover) RUN_ID 28
Command Completed

호스트 이름이 myAccessServer인 Polyspace Access 인스턴스에서 실행 ID가 16인 결과에 대한 Developer 리포트를 생성합니다. Polyspace Access 인스턴스의 URL은 https://myAccessServer:9443입니다.

SET template_path=^
"C:\Program Files\Polyspace\R2019a\toolbox\polyspace\psrptgen\templates"

polyspace-report-generator -credentials-file myCredentials.txt ^
-template %template_path%\Developer.rpt ^
-host myAccessServer ^
-run-id 16 ^
-output-name myReport

이 명령은 사용자가 지정한 템플릿을 사용하여 리포트 myReport.docx를 생성합니다. 리포트는 명령을 호출한 경로의 Polyspace-Doc 폴더에 저장됩니다.

지정된 분석 결과에 대한 코드의 전역 변수 목록이 포함된 탭으로 구분된 텍스트 파일을 생성합니다.

polyspace-report-generator -credentials-file myCredentials.txt^
-generate-variable-access-file ^
-host myAccessServer ^
-run-id 16

전역 변수 Variable_View.txt 목록은 생성된 리포트와 같은 폴더에 저장됩니다. 내보낸 변수 목록에 대한 자세한 내용은 View Exported Variable List (Polyspace Code Prover)를 참조하세요.