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

Visual Studio에서 Polyspace as You Code 결과를 베이스라인으로 설정

더욱 효율적인 버그 수정을 위해 로컬 베이스라인을 생성하거나 Polyspace^® Access™에서 이전 Polyspace Bug Finder 분석을 다운로드하여 베이스라인으로 사용할 수 있습니다. Polyspace as You Code 단일 파일 분석 결과를 로컬 베이스라인 또는 Polyspace Access 베이스라인과 비교하여, 새로운 결과나 검토되지 않은 결과에만 집중하여 검토할 수 있습니다.

베이스라인에는 분석을 수행하는 데 사용된 Polyspace 버전의 결과만 포함됩니다. 예를 들어, 이전 버전의 Polyspace에서 생성된 베이스라인은 이후 버전의 분석 결과와 동일한 결과를 포함하지 않을 수 있습니다. Polyspace as You Code는 다른 버전의 Polyspace에서 가져온 베이스라인을 사용할 경우 경고를 표시합니다. Polyspace Code Prover™ 분석 결과를 Polyspace as You Code의 베이스라인으로 사용할 수 없습니다.

참고

최신 베이스라인 정보를 계속 사용하려면, Polyspace Access에서 주기적으로 결과를 다운로드하십시오. 베이스라인 다운로드 항목을 참조하십시오.

로컬 베이스라인 구성

로컬 베이스라인을 생성하려면 Solution Explorer 보기에서 파일을 마우스 오른쪽 버튼으로 클릭하거나 편집기에서 마우스 오른쪽 버튼을 클릭한 후 Polyspace > Create a local baseline를 선택하십시오. Quality Monitoring 보기에서 파일을 마우스 오른쪽 버튼으로 클릭하고 Create a local baseline를 선택하여 로컬 베이스라인을 생성할 수도 있습니다.

파일에 대한 로컬 베이스라인을 생성할 때, Polyspace는 파일을 분석하고 분석 결과를 베이스라인으로 사용합니다. 파일의 후속 분석 결과는 각각 베이스라인과 비교됩니다.

Visual Studio^®에서 베이스라인과 상호작용하는 방법에 대한 자세한 내용은 Polyspace as You Code 관점 열기를 참조하십시오.

Polyspace Access 베이스라인 구성

Polyspace Bug Finder™ Server™ 결과를 Polyspace as You Code 분석의 베이스라인으로 사용하려면 다음 단계를 따르십시오. 다운로드한 베이스라인을 지정하기로 선택하면, 이후 실행 시마다 해당 베이스라인이 사용됩니다.

베이스라인으로 사용할 프로젝트 식별

Polyspace Access에서 베이스라인으로 사용할 프로젝트를 식별하십시오. 이 프로젝트에는 Polyspace as You Code에서 분석할 파일에 대한 Polyspace Bug Finder Server 분석 결과가 포함되어야 합니다.

프로젝트 경로를 복사하여 Visual Studio 확장자 설정에서 사용하십시오. 이 경로를 복사하려면:

Polyspace Access 웹 인터페이스를 엽니다.
Project Explorer 창에서 프로젝트를 마우스 오른쪽 버튼으로 클릭하고 Copy Project Path to Clipboard를 선택합니다.

Context menu showing Copy Project Path to Clipboard option

Polyspace as You Code에서 프로젝트를 가리키기

Visual Studio의 Polyspace as You Code 확장 설정에서 Polyspace Access 프로젝트를 지정하십시오.

Baseline 보기에서 를 클릭하십시오.
다음 설정을 구성하십시오:
- Show Baseline information 목록에서 옵션을 선택하세요:
  - Show local findings and baseline info — 베이스라인을 다운로드한 후, 베이스라인 실행에서 이미 정당화된 검출 항목은 Error List 뷰에서 숨겨집니다.
  - Show new findings only — 베이스라인을 다운로드한 후, 해당 베이스라인 실행에 이미 존재하는 검출 항목은 Error List 보기에서 숨겨집니다. 이 옵션을 사용하면 파일 내 새 검출 항목에만 집중할 수 있습니다.
- Polyspace Access URL — Polyspace Access를 호스팅하는 서버의 URL, 예를 들어 https://my-access-url:9443/.
- Polyspace Access Login — Polyspace Access에 로그인할 때 사용하는 사용자 이름입니다.
- Project path — 베이스라인으로 사용할 Polyspace Access 내 프로젝트의 경로. 이 경로는 이전에 Polyspace Access 웹 인터페이스에서 복사한 것입니다.

베이스라인 다운로드

베이스라인으로 사용할 Polyspace Access 결과를 다운로드하십시오.

확장 설정 구성 시 처음에는 Polyspace as You Code 관점의 Baseline 보기에서 를 클릭하십시오.
동일한 아이콘을 클릭하여 업데이트된 베이스라인을 다운로드하십시오. 아이콘은 확장 프로그램을 Polyspace Access 베이스라인을 사용하도록 구성한 경우에만 사용할 수 있습니다.
확장 프로그램이 Polyspace Access 비밀번호를 입력하도록 요청합니다. 비밀번호를 저장할 수 있는 옵션이 있어, 이후 다운로드 시마다 입력할 필요가 없습니다.

Baseline 뷰의 표시기가 다운로드 진행 상황을 보여줍니다. 다운로드에 문제가 있는 경우, Output 패널을 확인하고 자세한 내용은 Show output from Polyspace as You Code를 선택하십시오.

베이스라인 대비 결과 비교

Polyspace as You Code 결과를 로컬 또는 Polyspace Access 베이스라인과 비교할 때, 기본적으로 로컬 베이스라인에 비해 새로 추가된 결과만 표시됩니다. 베이스라인 필터를 전환하여 모든 결과를 표시하면, Problems 패널에서 베이스라인에 나타나는 결과 옆에 [baseline]가 표시됩니다.

또한, Polyspace Access 베이스라인을 사용할 때:

상태가 No Action Planned, Justified 또는 Not a Defect인 결과는 숨겨집니다.
Polyspace Access에서 상태가 Unreviewed, To investigate, To fix 또는 Other인 결과는 모든 검토 정보를 Result Details 뷰로 이관합니다.
예를 들어, 결함이 검토되어 상태가 To investigate로, 심각도가 Medium로 지정된 경우, 동일한 검토 정보가 Result Details 뷰의 Comment from baseline 섹션에도 표시됩니다.
Polyspace as You Code 결과가 Polyspace Access 베이스라인에도 나타나는 경우, Polyspace Access 인터페이스에서 베이스라인으로 사용하는 프로젝트를 열 수 있습니다. Baseline 보기에서 를 클릭하세요. Polyspace as You Code 관점 열기 항목을 참조하십시오.
명령 팔레트에서 Polyspace: Open Project in Access Web를 실행하여 Polyspace Access에서 프로젝트를 열 수도 있습니다.

로컬 베이스라인과 Polyspace Access 베이스라인을 모두 사용하는 경우, Polyspace는 현재 결과를 먼저 Polyspace Access 베이스라인과 비교하지만, 새로운 결과를 필터링할 때는 로컬 베이스라인을 사용합니다.

Visual Studio 세션 간에 베이스라인을 유지하기 위해, Polyspace는 현재 작업 디렉터리에 로컬 베이스라인과 Polyspace Access 베이스라인을 모두 저장합니다. Polyspace as You Code 설정에서 경로가 지정되지 않은 경우, 확장 프로그램은 시스템의 temp 폴더 내 polyspace_as_you_code 하위 폴더를 사용합니다.