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

polyspace-access -export

Polyspace Access 데이터베이스에서 결과를 내보내기

페이지 내 모두 축소

    구문

    polyspace-access -export <resultsToExport> -output <filePath> [export options] -host <hostname> [login options] [output options]

    설명

    시스템 명령어 polyspace-access -export는 Polyspace® Access™ 프로젝트의 결과를 텍스트 파일로 내보냅니다.

    polyspace-access -export <resultsToExport> -output <filePath> [export options] -host <hostname> [login options] [output options]는 Polyspace Access 데이터베이스의 프로젝트 결과를 <filePath>로 지정한 위치에 있는 텍스트 파일로 내보냅니다. 결과를 내보내거나 두 프로젝트 간의 비교를 내보낼 때 필터를 지정할 수 있습니다. Polyspace Access의 전체 경로나 실행 ID를 사용하여 프로젝트를 지정합니다. 이 명령어를 사용하여 결과를 사용자 지정 보고서에 활용하는 다른 도구로 내보내십시오. 프로젝트 경로와 마지막 실행 ID를 확인하려면 polyspace-access -list-project 명령어를 사용하십시오.

    예제

    예제

    모두 축소

    구성 요소 기반 개발 방식을 따를 경우, 분석 결과를 구성 요소별로 해당 소유자에게 할당할 수 있습니다.

    Polyspace Access 데이터베이스에 현재 저장된 프로젝트 목록과 해당 프로젝트의 마지막 실행 ID를 가져옵니다.

    polyspace-access -list-project -host myAccessServer 

Connecting to https://example-access-server:9443
Connecting as jsmith

Get project list with the last Run Id
Restricted/Code_Prover_Example (Code Prover) RUN_ID 14
multimodule/vxWorks_demo (Code Prover) RUN_ID 16
public/Bug_Finder_Example (Bug Finder) RUN_ID 24
public/CP/Code_Prover_Example (Polyspace Code Prover) RUN_ID 8
public/Polyspace (Code Prover) RUN_ID 28
Command Completed

    프로젝트 vxWorks_demo의 Component_A 폴더 내 모든 파일의 소유자에게 모든 빨간색 및 주황색 실행 오류 결과를 할당하십시오. Component_B의 소유자에게도 동일한 할당을 수행해 보세요. vxWorks_demo 프로젝트를 지정하려면 실행 ID를 사용하세요.

    polyspace-access -set-unassigned-findings 16 ^
-owner A_owner -source-contains Component_A ^
-owner B_owner -source-contains Component_B ^
-rte Red -rte Orange ^
-host myAccessServer
    -source-contains Component_A 옵션을 사용하면 파일 경로에 Component_A가 포함된 모든 파일을 일치시킵니다.

    -source-contains Component_B는 Component_B가 포함된 파일 경로를 갖는 모든 파일과 일치하지만, Component_A가 포함된 파일 경로를 갖는 파일은 제외합니다.

    결과를 내보내고 각 소유자에게 할당된 결과를 포함하는 .csv 파일을 생성합니다.

    polyspace-access -export 16 ^
-output C:\Polyspace_Workspace\myResults.csv ^
-output-per-owner ^
-host myAccessServer
    이 명령어는 실행 ID 16인 프로젝트의 모든 결과를 포함하는 myResults.csv 파일을 생성합니다. 이 명령은 동일한 파일 경로에 myResults.csv.A_owner.csv 및 myResults.csv.B_owner.csv 파일도 생성합니다.

    입력 인수

    모두 축소

    결과 내보내기

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

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

    예: -export 4

    명령어의 출력을 저장하는 파일의 경로로, 문자열로 지정됩니다. 경로 이름에 공백이 포함되어 있으면 큰따옴표를 사용하세요.

    예: -output C:\Polyspace_Workspace\myResults.txt

    예: -output "C:\Polyspace Workspace with Spaces\myResults.txt"

    결과를 내보낼 위치를 지정하고, 내보낼 결과의 하위 집합을 선택하는 옵션입니다. 이 옵션을 사용하여 결과를 내보내면 사용자 지정 보고서나 기타 사용자 지정 검토 템플릿을 생성하는 데 사용하는 다른 도구에서 활용할 수 있습니다.

    여러 옵션을 조합하여 사용할 수도 있습니다. 예를 들어, s -coding-rules -severity High 옵션을 사용하면 Polyspace Access 웹 인터페이스에서 High 상태로 지정된 코딩 규칙 위반 사항을 내보냅니다.

    옵션설명

    -output-per-owner

    이 옵션을 사용하여 특정 사용자에게 할당된 결과만 포함된 파일을 생성하십시오. 파일은 -output <filePath>로 지정한 경로에 저장됩니다.

    명령줄에서 결과를 소유자에게 할당하는 방법의 예는 결과를 구성 요소 소유자에게 할당하고 할당된 결과 내보내기를 참조하십시오.

    -rte All | Red | Gray | Orange | Green

    수출할 RTE 결과 유형은 All, Red, Gray, Orange 또는 Green로 지정됩니다.

    여러 개의 인수를 지정하려면 각 인수에 대해 옵션을 사용하십시오.

    예시: -rte Red -rte Orange

    -defects All | High | Medium | Low

    결함 결과의 영향 범주는 All, High, Medium 또는 Low로 지정됩니다.

    여러 개의 인수를 지정하려면 각 인수에 대해 옵션을 사용하십시오.

    예시: -defects Medium -defects Low

    -custom-coding-rules

    모든 사용자 지정 코딩 규칙 결과를 내보내기.

    -coding-rules

    모든 코딩 규칙 결과를 내보내기.

    -code-metrics

    모든 코드 메트릭스 결과를 내보냅니다.

    -global-variables

    모든 전역 변수 결과를 내보냅니다.

    -status Unreviewed (기본값) | "To investigate" | "To fix" | "No action planned" | "Not a defect" | Other

    Unreviewed (기본값), "To investigate", "To fix", Justified, "No action planned", "Not a defect" 또는 Other로 지정된 결과의 검토 상태를 내보냅니다.

    여러 개의 인수를 지정하려면 각 인수에 대해 옵션을 사용하십시오.

    예시: -status Tofix -status Toinvestigate

    -severity All | High | Medium | Low

    수출 결과의 심각도는 All, High, Medium 또는 Low로 지정됩니다.

    여러 개의 인수를 지정하려면 각 인수에 대해 옵션을 사용하십시오.

    예시: -severity High -severity Low.

    -unassigned-findings

    할당되지 않은 모든 결과를 내보내기.

    -open-findings-for-sqo 1 | 2 | 3 | 4 | 5 | 6

    충족해야 하는 소프트웨어 품질 목표(SQO) 수준은 1부터 6까지의 SQO 수준으로 지정됩니다. SQO 수준을 지정할 경우, polyspace-access -export는 지정된 수준 요건을 충족시키기 위해 수정 또는 정당화가 필요한 결과만 표시합니다.

    SQO 레벨 1~6은 Polyspace 결과 측면에서 점점 더 엄격해지는 사전 정의 또는 사용자 정의 요구 사항 세트를 지정합니다. Polyspace Access 웹 인터페이스의 요구 사항을 사용자 지정하려면 소프트웨어 품질 목표 사용자 정의를 참조하세요.

    SQO 수준에 대한 자세한 내용은 Evaluate Polyspace Bug Finder Results Against Bug Finder Quality Objectives (Polyspace Bug Finder)를 참조하세요.

    예를 들어, Code Prover의 SQO 레벨 2에서는 부당한 빨간색 체크 표시가 없어야 합니다. 이 사양은 -open-findings-for-sqo를 2보다 높은 수준으로 사용할 경우 모든 빨간색 체크 표시가 내보내지고 이후에 수정하거나 정렬해야 함을 의미합니다. 이 요구사항을 이전 SQO 레벨 1에 적용하려면, Polyspace Access 웹 인터페이스에서 SQO 레벨 1을 사용자 지정할 수 있습니다.

    -resolution New | Fixed | Unresolved | Resolved

    해결은 소프트웨어가 현재 실행과 -baseline 옵션으로 지정한 베이스라인 실행 간에 수행하는 비교 유형에 해당합니다. 이 옵션을 사용하면 동일한 프로젝트의 두 실행을 비교할 수 있습니다. 베이스라인 실행은 현재 실행보다 이전이어야 합니다.

    해결 유형은 다음과 같습니다.

    • New — 현재 실행에는 있지만 베이스라인 실행에는 없는 결과들.

      프로젝트에 실행이 하나만 포함된 경우 모든 결과가 새로 생성되므로 이 옵션을 생략할 수 있습니다.

    • Fixed — 현재 실행에서 고정된 결과로, 결과 자체가 소스 코드에서 고정되었거나 해당 결과를 포함하는 소스 코드가 삭제되었거나 더 이상 분석의 일부가 아니기 때문입니다.

      프로젝트에 단일 실행만 포함된 경우 Polyspace는 오류를 발생시킵니다.

    • Unresolved — 현재 실행에서 여전히 존재하는 베이스라인 실행 결과.

      프로젝트에 단일 실행만 포함된 경우 Polyspace는 오류를 발생시킵니다.

    • Resolved — 현재 실행에서 Fixed 상태인 결과 또는 현재 실행에서 상태가 Justified, No Action Planned 또는 Not A Defect인 결과.

      프로젝트에 단일 실행만 포함된 경우 Polyspace는 오류를 발생시킵니다.

    베이스라인을 지정하지 않으면 Polyspace는 현재 실행을 바로 이전 실행과 비교합니다.

    한 번에 하나의 해결 유형만 지정할 수 있습니다. 여러 해상도 유형에 대한 비교를 내보내려면 각 해상도 유형에 대해 polyspace-access -export 명령을 실행합니다.

    명령줄에서의 비교 모드 항목도 참조하십시오.

    -baseline <runID>

    현재 실행과 비교하기 위한 베이스라인으로 사용하는 실행의 실행 ID. 이 옵션에는 -resolution 옵션이 필요합니다.

    베이스라인을 지정하지 않으면 Polyspace는 현재 실행을 바로 이전 실행과 비교합니다. 프로젝트에 실행이 하나만 포함된 경우 Polyspace는 오류를 발생시킵니다.

    명령줄에서의 비교 모드 항목도 참조하십시오.

    -imported-reviews Not applied | Written | Overwritten | Unconfirmed

    이 옵션을 사용하여 다른 프로젝트(소스)에서 검토 정보를 가져온 프로젝트(대상)의 결과 목록을 내보낼 수 있습니다. 다음 중 하나의 가져오기 유형을 지정하세요.

    • Not applied — 소스 프로젝트에서 리뷰 정보를 가져왔지만 대상 프로젝트의 리뷰 필드는 원래 값을 유지했습니다.

    • Written — 소스 프로젝트의 검토 정보는 대상 프로젝트의 검토 필드가 이전에 비어 있는 경우에만 대상 프로젝트로 작성되었습니다.

    • Overwritten — 대상 프로젝트의 검토 필드가 이전에 비어 있지 않았더라도 소스 프로젝트의 검토 정보가 대상 프로젝트로 작성되었습니다.

    • Unconfirmed — 이 필터를 사용하여 검토자에 의해 확인되지 않은 가져오기 작업의 결과를 선택합니다. Polyspace Access 인터페이스에서 가져오기 작업의 결과를 확인합니다. 가져온 리뷰 정보 확인 항목을 참조하십시오.

    기존 Polyspace Access 프로젝트에서 리뷰 정보 가져오기도 참조하세요.

    연결 구성

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