Visual Studio Code용 Polyspace as You Code를 실행하고 결과 검토

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

단계 2/3: Visual Studio Code에서 Polyspace as You Code 수행

Polyspace as You Code 확장을 구성한 후에는 분석을 실행하고 발견 항목을 수정하거나 정당화 작업을 할 수 있습니다. 이 가이드를 계속하기 전에 Quality Monitoring 목록에 example.hpp 및 example_source.cpp를 추가했는지 확인하세요.

Visual Studio Code에서 Polyspace as You Code 실행

이러한 방법으로 분석을 실행할 수 있습니다.

Analysis Of Files On Save를 설정한 경우 편집한 파일을 저장하여 분석을 실행하세요.
파일을 마우스 오른쪽 버튼으로 클릭하고 Run Polyspace Analysis를 선택합니다.
파일을 Quality Monitoring 목록에 수동으로 추가하고 Run Polyspace Analysis 버튼을 클릭하여 파일을 분석하세요.

분석을 실행하려면 example_source.cpp 옆에 있는 Run Polyspace Analysis를 클릭하세요.

수동으로 분석 실행

발견 항목 보기, 수정 또는 정당화 사유 추가

Polyspace가 분석을 실행한 후 Quality Monitoring 창의 파일 이름은 발견 항목이 없으면 녹색이고 발견 항목이 있으면 빨간색입니다. 파일 이름 오른쪽에 있는 숫자는 발견 항목 수를 나타냅니다. Problems 창에서 발견 항목을 확인하세요. Quality Monitoring 창에서 파일 이름을 클릭하여 Problems 창을 엽니다.

Problems 창에는 모든 발견 항목이 목록으로 표시됩니다. 특정 발견 항목을 검색하려면 Problems 창 내의 필터를 사용하세요. 각 발견 항목에는 코드 내에서 발견 항목이 존재하는 위치를 나타내는 줄과 열 번호가 포함되어 있습니다.

예제 코드에 대한 분석을 실행한 후 Problems 창에서 결과를 엽니다. 필터를 사용하여 A16-2-3를 검색하세요. 5행, 5열에는 하나의 결과가 있습니다.

Problems 창에서 발견 항목을 클릭하여 발견 항목이 포함된 파일을 엽니다. 각 발견 항목은 빨간색 밑줄로 파일에 표시됩니다. 문제와 관련된 각 발견 항목 목록을 보려면 밑줄이 그어진 코드 섹션 위로 마우스를 가져가세요.

예제 코드에서는 두 번째 줄에 다음 include를 추가합니다.

#include <cstdint>

이 변경 사항을 저장하고 다른 분석을 실행하십시오. 5행의 A16-2-3 오류는 더 이상 존재하지 않습니다.

자동 분석이 활성화되면 코드 작성 프로세스 중에 발견한 내용을 찾아서 수정할 수 있습니다. 변경 사항을 저장할 때마다 Polyspace 분석이 백그라운드에서 시작되어 새로운 발견 항목을 표시하거나 목록에서 수정된 발견 항목을 제거합니다.

발견 항목 보기 및 수정

개별 발견 항목에 대해 정당화 작업하기

Problems 창이나 코드 내 발견 항목 위치에서 발견 항목에 정당화 사유를 추가할 수 있습니다.

Problems 창에서 발견 항목을 클릭하여 빨간색 오류 아이콘 error icon 을 전구 아이콘 light bulb icon 으로 변경합니다. 전구 아이콘을 클릭하고 메뉴에서 적절한 정당화 사유를 선택합니다. 이렇게 하면 수정할 수 있는 주석이 코드에 추가됩니다. 정당화 사유를 추가하면 Problems 창에서 발견 항목이 제거됩니다. 발견 항목을 다시 표시하려면 정당화 사유 설명을 제거하고 분석을 수행하십시오.

발견 항목에 정당화 작업하기

정당화 사유 카탈로그 제공

Polyspace as You Code에 사전 정의된 정당화 사유 카탈로그를 추가할 수 있습니다. 정당화 사유 카탈로그를 사용하면 각 사유 설명을 수동으로 입력하는 대신 미리 작성된 사유를 선택할 수 있습니다.

Visual Studio Code Settings를 열고 polyspace.justification.catalog를 검색하세요. 설치 위치와 관련된 텍스트 상자에 정당화 사유 카탈로그 경로를 입력합니다. 카탈로그는 JSON 형식이어야 합니다. 정당화 사유 카탈로그가 아직 없는 경우 예제 JSON 파일을 사용하십시오.

example_catalog.json

{
	"justifications": [
		{
		"family": "Defect",
		"acronym": "INT_ZERO_DIV",
		"comment": "This is my justification for division"
		},
		{
		"family": "Defect",
		"acronym": "INT_ZERO_DIV",
		"comment": "Alternative justification for division"
		}
	]
}

정당화 사유 카탈로그 제공

헤더 발견 항목 보기

소스 파일을 분석하면 헤더 파일 발견 항목이 Problems 창에 표시됩니다. 헤더에 발견 항목이 포함되어 있으면 Quality Monitoring 목록의 소스 파일 옆에 빨간색 H가 표시됩니다.

Problems 창에서 헤더 발견 항목을 클릭하여 발견 항목이 포함된 헤더 파일로 이동합니다. 헤더 발견 항목을 초래한 소스 파일 분석을 찾으려면 Problems 창에서 발견 항목 옆에 있는 전구 아이콘 light bulb icon 를 클릭한 다음 옵션을 클릭하여 발견 항목에 대한 세부 정보를 표시합니다.

헤더 발견 항목 보기

잠재적인 중복 코드 확인

Polyspace는 잠재적인 복사 및 붙여넣기 오류, 중복 코드, 기타 코드 리팩터링 기회를 확인합니다.

Result Details 창에서 자세한 정보를 보려면 Problems 창에서 Possible copy-paste error를 클릭하세요. Traceback 노드를 확장하여 중복 섹션이 발생한 위치를 찾고 추가 세부정보를 확인하세요. Visual Studio Code 미리보기 창에서 잠재적인 오류를 보려면 Result Details 창에서 Possible copy-paste error를 가리키고 Toggle peek view in source 아이콘 toggle peek view in source icon 를 클릭하세요.

잠재적인 중복 코드 확인

Visual Studio Code에서 Polyspace as You Code 수행