주요 콘텐츠

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

polyspace-access -upload

결과를 Polyspace Access 데이터베이스에 업로드

    설명

    polyspace-access -upload 명령어는 로컬 폴더에서 Polyspace® Access™ 프로젝트로 결과를 업로드합니다.

    polyspace-access -upload <path> [upload options] -host <hostname> [login options] [output options]<path>로 지정한 파일(권장), 폴더 또는 압축 파일로부터 Polyspace Bug Finder™, Code Prover 또는 Polyspace Test™ 결과를 Polyspace Access 데이터베이스에 업로드합니다. 이 명령을 사용하여 Bug Finder 또는 Code Prover 결과를 업로드하려면 해당 결과가 Polyspace Bug Finder Server™ 또는 Polyspace Code Prover™ Server로 생성된 경우에만 가능합니다. 동일한 유형의 분석을 통해 생성된 결과만 기존 Polyspace Access 프로젝트에 업로드할 수 있습니다. 예를 들어, Bug Finder 분석 결과를 Code Prover 결과가 포함된 프로젝트에 업로드할 수 없습니다.

    Polyspace 데스크톱 인터페이스로 생성된 결과를 업로드하려면 Upload Results from Polyspace Desktop Client (Polyspace Bug Finder)를 참조하세요.

    Polyspace 플랫폼 사용자 인터페이스로 생성된 결과를 업로드하려면 Upload Results from Polyspace Platform User Interface (Polyspace Bug Finder)를 참조하십시오.

    upload options를 사용하여 프로젝트 부모 폴더를 지정하거나 프로젝트 이름을 바꾸세요.

    참고

    • Polyspace Access에 업로드할 때마다 최대 2GB의 결과를 업로드할 수 있습니다.

    • Polyspace Access는 사용자 정의 코딩 표준을 지원하지 않습니다. 사용자 정의 코딩 표준 위반 사항이 포함된 분석 결과를 업로드할 경우, Polyspace Access은 해당 위반 사항을 무시합니다. 사용자 정의 코딩 표준에 대한 자세한 내용은 Check for Violations of User-Defined Coding Standard Using Polyspace Bug Finder (Polyspace Bug Finder)를 참조하세요.

    예제

    예제

    모두 축소

    Polyspace AccessPolyspace Bug Finder Server 또는 Polyspace Code Prover Server로 생성된 검출 항목 세트를 업로드하고, 일부 팀원만 해당 검출 항목을 볼 수 있도록 권한을 부여하십시오.

    프로젝트 계층 구조의 맨 위에 restrictedProject라는 프로젝트 폴더를 만듭니다.

    polyspace-access -create-project restrictedProject ^
    -host myAccessServer -port 1234
    

    사용자 jsmithrroll와 그룹 Authorized Users에 대한 역할을 설정하여, 이들이 프로젝트 폴더에 기여자로 접근할 수 있도록 권한을 부여합니다. 사용자 이름이나 그룹 이름에 공백이 포함되어 있으면 큰따옴표로 묶습니다.

    polyspace-access -set-role contributor ^
    -user jsmith -user rroll -group "Authorized Users" -project-path restrictedProject ^
    -host myAccessServer -port 1234
    프로젝트 폴더 생성자와 contributor 역할이 부여된 사용자 및 그룹을 제외하고는, 그 어떤 사용자도 restrictedProject에 업로드된 검출 항목을 보거나 접근할 수 없습니다.

    My Example Project 프로젝트의 Bug Finder 프로젝트 검출 항목을 상위 폴더 Restricted로 업로드하십시오.

    polyspace-access -upload "C:\Polyspace_Workspace\My Example Project\Module1\ps_results.psbf" ^
    -host myAccessServer -parent-project Restricted -port 1234
    
    업로드된 검출 항목은 restrictedProject/My_Example_Project (Bug Finder) 폴더에 저장됩니다. polyspace access -upload 명령어는 업로드에 관한 정보를 출력하며, 업로드된 결과를 Polyspace Access 인터페이스에서 확인할 수 있는 URL을 포함합니다.

    프로젝트 권한 관리 항목도 참조하십시오.

    입력 인수

    모두 축소

    업로드 결과

    Bug Finder 경로(PSBF) 결과 파일, Code Prover(PSCP) 결과 파일 또는 Polyspace Test (PSTESTR 또는 PSPROF) 결과 파일을 문자열로 지정합니다. 이 명령은 결과 파일의 사본과 동일한 결과 폴더에 있는 다른 파일을 업로드합니다. 또는 단일 PSBF, PSCP, PSTESTR 또는 PSPROF 결과 파일이 포함된 부모 폴더의 경로나 압축된 결과 파일 또는 폴더의 경로를 지정할 수 있습니다.

    더 빠른 업로드를 위해 분석을 실행할 때 -results-dir (Polyspace Bug Finder) 옵션을 사용하여 전용 결과 폴더에 분석 결과를 저장하세요. 리포지토리의 루트 폴더처럼 Polyspace 분석 결과와 무관한 대량의 파일이 포함된 폴더에 결과를 저장할 경우, Polyspace Access의 결과 업로드 시간이 더 오래 걸립니다.

    예: -upload C:\Polyspace_Workspace\myProject\Module_1\BF_results\ps_results.psbf

    예: -upload C:\Polyspace_Workspace\myProject\Module_1\

    예: -upload C:\Polyspace_Workspace\myTestProj\results\results.pstestr

    결과를 업로드할 프로젝트 폴더의 경로와 프로젝트 이름을 지정하는 옵션입니다.

    옵션설명

    -parent-project <folderPath>

    업로드된 결과를 저장하는 Polyspace Access 탐색기 내 상위 폴더의 경로로, 문자열로 지정됩니다.

    상위 폴더를 지정하지 않으면 업로드된 결과는 public 폴더 아래에 저장됩니다.

    -project <resultsName>

    Polyspace Access 탐색기에 업로드된 결과의 이름으로, 문자열로 지정됩니다. 이 옵션을 사용하면 업로드한 결과의 이름을 바꿀 수 있습니다.

    결과 이름을 지정하지 않으면 결과는 projectName (resultsType)로 저장되며, projectName 내의 공백은 밑줄(_)로 대체됩니다. 예를 들어, 프로젝트 Bug Finder Example의 Bug Finder 결과를 업로드하면, 해당 결과는 Bug_Finder_Example (Bug Finder)로 저장됩니다.

    -exclude-from-deletion

    프로젝트 실행 삭제 정책에서 업로드 중인 실행을 제외합니다. 관심 있는 프로젝트 실행이 삭제되지 않도록 보호하려면 이 옵션을 사용하세요. 예를 들어, 프로젝트에 업로드하는 첫 번째 실행 결과를 베이스라인으로 유지하되, 해당 프로젝트에 업로드하는 다른 모든 실행 결과에는 삭제 정책을 적용하려면 첫 번째 실행을 -exclude-from-deletion 옵션과 함께 업로드하십시오.

    삭제 정책에서 실행을 제외하면 해당 실행은 명시적으로 삭제할 때까지 데이터베이스에 유지됩니다. 실행은 Polyspace Access 인터페이스의 Runs Deletion 창에 Persistent로 나타납니다. Polyspace는 최대 실행 횟수 삭제 정책을 적용할 때 삭제에서 제외하는 실행을 계산하지 않습니다. 명령줄에서 개별 실행을 삭제할 수 없습니다.

    예:

    polyspace-access -upload /usr/local/polyspace/results/ps_results.psbf \
     -parent-project public/examples \
     -exclude-from-deletion
    프로젝트 실행 또는 전체 프로젝트 삭제 항목도 참조하십시오.

    연결 구성

    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에 개발됨