주요 콘텐츠

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

polyspace-access -download

Polyspace Access에서 결과를 다운로드하세요

    설명

    시스템 명령어 polyspace-access -downloadPolyspace® Access™ 프로젝트의 결과를 로컬 폴더로 다운로드합니다.

    polyspace-access -download <resultsToDownload> -output-folder-path <outputFolderPath> -host <hostname> [login options] [output options]Polyspace Access 프로젝트 <resultsToDownload>의 결과를 <outputFolderPath>로 지정한 위치에 있는 폴더로 다운로드합니다. Polyspace Access의 전체 경로나 실행 ID를 사용하여 프로젝트를 지정합니다.

    이 명령을 워크플로의 일부로 사용하여 프로젝트 간 검토 정보를 병합하거나 후속 Polyspace 분석을 위한 베이스라인을 만들 수 있습니다.

    참고: 정적 분석 결과를 다운로드하는 경우, 다운로드한 결과를 Polyspace 데스크톱 인터페이스 또는 Polyspace as You Code IDE 확장 프로그램에서 열 수 없습니다.

    프로젝트 경로와 가장 최근 실행 ID를 확인하려면 polyspace-access -list-projects 명령어를 사용하십시오.

    예제

    예제

    모두 축소

    특정 프로젝트 실행 결과를 다운로드하여 후속 Polyspace 분석의 베이스라인으로 사용하십시오.

    Polyspace Access에서 다운로드할 결과를 식별하여 베이스라인으로 사용하십시오. 프로젝트 public/Examples/Bug Finder Example의 모든 실행을 polyspace-access -list-runs 명령어를 사용하여 나열하고 RUN_ID를 기록하십시오.

    polyspace-access -list-runs "public/Examples/Bug Finder Example" ^
    -host myAccessServer -port 1234
    
    login: kJohnson
    password:
    
    Connecting to myAccessServer:1234
    Connecting as kJohnson
    PROJECT_PATH "public/Examples/Bug Finder Example" RUN_ID 1758 LABELS "1.0"
    PROJECT_PATH "public/Examples/Bug Finder Example" RUN_ID 1759 LABELS "1.0"
    PROJECT_PATH "public/Examples/Bug Finder Example" RUN_ID 1760 LABELS "1.0" "Baseline"
    PROJECT_PATH "public/Examples/Bug Finder Example" RUN_ID 1761 LABELS "1.0"

    이 프로젝트에는 1758, 1759, 1760, 1761 네 가지 실행이 포함되어 있습니다. 실행 1760에는 두 개의 레이블, "1.0""Baseline"가 있습니다.

    레이블 "Baseline"로 실행된 결과물을 해당 실행 ID인 1760를 사용하여 다운로드하십시오. -output-folder-path를 사용하여 다운로드한 결과를 저장할 폴더를 지정하십시오.

    polyspace-access -download 1760 -output-folder-path C:\Polyspace_Workspace\baseline ^
    -host myAccessServer -port 1234 

    결과는 다운로드되어 C:\Polyspace_Workspace\baseline에 저장됩니다. 이제 이 결과를 베이스라인으로 설정할 수 있습니다. 명령줄에서 Polyspace as You Code 결과를 베이스라인으로 설정 항목을 참조하십시오.

    입력 인수

    모두 축소

    다운로드 결과

    다운로드하는 프로젝트 결과의 절대 경로 또는 실행 ID를 문자열로 지정합니다. Polyspace는 Polyspace Access에 업로드하는 각 분석 실행에 고유한 실행 ID를 할당합니다. 경로 이름에 공백이 포함되어 있으면 큰따옴표를 사용하세요. 프로젝트 결과 경로나 최신 실행 ID를 얻으려면 polyspace-access -list-project를 사용하십시오.

    프로젝트 경로를 지정하면 명령은 해당 프로젝트의 최신 실행을 다운로드합니다. 이전 실행을 다운로드하려면 실행 ID를 지정하세요. 이전 실행의 실행 ID를 얻으려면 Polyspace Access 인터페이스에서 Project Explorer에서 프로젝트를 선택한 다음 툴스트립에서 Current 드롭다운 선택을 클릭하여 사용 가능한 실행 ID를 확인합니다.

    예: -download "public/Examples/Bug_Finder_Example (Bug Finder)"

    예: -download 5113

    다운로드된 결과를 저장하는 폴더의 경로로, 문자열로 지정됩니다. 지정한 폴더가 이미 존재하는 경우 해당 폴더는 비어 있어야 합니다.

    예: -output-folder-path C:\Polyspace_Workspace\baseline

    연결 구성

    Polyspace Access 인터페이스의 URL에서 지정하는 Polyspace Access 머신 hostname, 예를 들어 https://hostname:portNumber/metrics/index.html. 사용할 호스트 이름을 확실히 모르겠다면, 귀하의 Polyspace Access 관리자에게 문의하십시오.

    -generate-migration-commands-encrypt-password 명령어를 제외한 모든 polyspace-access 명령어에는 호스트 이름을 반드시 지정해야 합니다.

    예: -host myAccessServer

    Polyspace Access 인터페이스의 URL에서 지정하는 포트 번호(예: https://hostname:portNumber/metrics/index.html). 어떤 포트 번호를 사용해야 할지 확실하지 않으면 Polyspace Access 관리자에게 문의하세요.

    Polyspace Access에 접근하는 데 사용되는 HTTP 프로토콜로, http 또는 https로 지정됩니다.

    로그인 자격 증명을 저장하는 텍스트 파일의 전체 경로입니다. 스크립트에서 Polyspace Access 자격 증명이 필요한 명령어를 사용하지만 해당 스크립트에 자격 증명을 저장하고 싶지 않은 경우 이 옵션을 사용하십시오. 스크립트가 실행되는 동안 현재 실행 중인 프로세스를 검사하는 사람은 자격 증명을 볼 수 없습니다.

    파일에는 자격 증명 세트를 하나만 저장할 수 있습니다. 예를 들어, -login-encrypted-password 항목을 별도의 줄에 저장할 수 있습니다.

    -login jsmith
    -encrypted-password LAMMMEACDMKEFELKMNDCONEAPECEEKPL
    -api-key 항목으로 자격 증명을 저장할 수도 있습니다:
    -api-key keyValue123
    자격 증명을 저장하는 파일이 UTF-8로 인코딩되어 있는지 확인하고 해당 파일에 대한 읽기 및 쓰기 권한을 제한하세요. 예를 들어, Linux®login.txt 파일에 대한 읽기 및 쓰기 권한을 제한하려면 다음 명령을 사용합니다.
    chmod go-rwx login.txt

    로그인 정보와 암호화된 비밀번호를 제공하는 대신 로그인 자격 증명으로 사용하는 API 키입니다. 사용자에게 API 키를 할당하려면 User Manager 구성하기를 참조하거나 Polyspace Access 관리자에게 문의하세요.

    Jenkins®와 같은 CI 툴을 사용하는 자동화 스크립트에서 Polyspace Access 로그인 자격 증명이 필요한 명령을 사용하는 경우 API 키를 사용하십시오. 사용자가 비밀번호를 업데이트하더라도, 해당 사용자와 연결된 API 키를 스크립트에서 업데이트할 필요는 없습니다.

    API 키를 텍스트 파일에 저장하고, -credentials-file 옵션을 사용하여 해당 파일을 명령어에 전달하는 것이 좋습니다.

    Polyspace Access와 상호작용할 때 사용하는 로그인 사용자 이름.

    -login-encryped-password 옵션을 함께 사용하십시오. 이 두 옵션을 함께 사용하지 않으면, -api-key를 사용하지 않는 한 명령줄에서 자격 증명을 입력하라는 메시지가 표시됩니다.

    Polyspace Access과 상호작용할 때 사용하는 로그인 비밀번호입니다. <ENCRYPTED_PASSWORD>polyspace-access -encrypt-password 명령어의 출력 결과입니다.

    -login-encryped-password 옵션을 함께 사용하십시오. 이 두 옵션을 함께 사용하지 않으면, -api-key 옵션을 사용하지 않는 한 명령줄에서 자격 증명을 입력하라는 메시지가 표시됩니다.

    클라이언트 컴퓨터에서 Polyspace Access를 호스팅하는 서버 컴퓨터로 업로드할 때 polyspace-access 명령어가 실패하기 전까지 결과를 업로드하기 위해 재시도하는 횟수. 산발적인 네트워크 중단이 발생할 경우 업로드 명령을 다시 시도하려면 이 옵션을 지정합니다. 해당 명령은 재시도 사이에 10초간 기다립니다.

    명령 출력의 전체 경로.

    polyspace-access 명령어로 생성된 임시 파일을 저장하는 폴더 경로. 기본 폴더 경로는 사용 중인 플랫폼에 따라 다릅니다:

    • Windows — C:\Users\%username%\AppData\Local\Temp\ps_results_server

    • Linux — tmp/ps_results_server

    명령 출력 로그를 저장하는 파일 경로입니다. 기본적으로 이 명령은 로그 파일을 생성하지 않습니다.

    버전 내역

    R2019a에 개발됨