주요 콘텐츠

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

Polyspace 액세스 웹 인터페이스의 결과 목록

이 주제는 Polyspace® Access 웹 인터페이스에 초점을 맞춥니다. Polyspace 데스크톱 사용자 인터페이스의 동등한 창에 대해 알아보려면 Results List in Polyspace Desktop User Interface (Polyspace Bug Finder)를 참조하세요.

Results List 패널에는 모든 검출 항목과 그 속성이 나열됩니다.

각 검출 항목에 대해 Results List 패널에는 열별로 나열된 다음 검출 속성이 포함됩니다:

특성설명
Family해당 검출 항목이 속한 그룹.
ID검출 항목의 고유 식별 번호.
Type

검출 항목 유형:

  • Bug Finder 결과: 결함 또는 코딩 표준 위반.

  • Code Prover 결과: 실행 시 검사 또는 전역 변수.

  • 코드 메트릭스.

Group

검출 항목의 범주, 예를 들어:

  • 결함 유형: 정적 메모리, 수치, 제어 흐름, 동시성 등과 같은 그룹

  • 코딩 규칙 위반 시: 코딩 규칙 표준에 의해 정의된 그룹.

    예를 들어, MISRA C™:2012는 함수, 포인터, 배열 등과 같은 코드 구조와 관련된 그룹을 정의합니다.

Check

검출 항목, 예를 들어:

  • 결함: 결함명

  • 코딩 규칙 위반 시: 코딩 규칙 번호

Information

사용 가능한 경우 검출 항목으로 하위 유형 검출.

  • 결함에 대한: 충격 분류.

    코딩 표준에 관하여: 필수 또는 의무 사항, 규칙 또는 권고 사항.

Detail

검출 항목에 관한 추가 정보. 이 열은 Result Details 패널의 첫 번째 줄을 표시합니다.

이 열의 사용 예시는 결과 MISRA C:2012 Dir 1.1 (Polyspace Bug Finder)를 참조하십시오.

File해당 검출 항목이 발생한 지침을 포함하는 파일.
Function검출 항목을 발생하는 명령어를 포함하는 함수. 함수가 클래스의 메서드인 경우, class_name::function_name 형식으로 표시됩니다.
Status

검출 항목에 할당하신 검토 상태 가능한 상태는 다음과 같습니다:

  • Unreviewed (기본 상태)

  • To investigate

  • To fix

  • Justified

  • No action planned

  • Not a defect

  • 기타

Polyspace Access 프로젝트에 사용자 정의 상태 추가 항목도 참조하십시오.

Line소스 코드에서 검출 항목의 줄 번호.
Col소스 코드에서 검출 항목의 열 번호.
Severity

해당 검출 항목에 부여한 심각도 수준. 가능한 수준은 다음과 같습니다:

  • Unset

  • High

  • Medium

  • Low

Assigned to

이 검출 항목에 배정된 검토자의 사용자 이름.

Ticket Key

검출 항목에 대해 버그 추적 도구(BTT) 티켓을 생성할 때, 이 필드에는 티켓 ID가 포함됩니다. Results Details의 티켓 ID를 클릭하면 BTT 인터페이스에서 티켓이 열립니다.

설명해당 검출 항목에 대해 입력하신 의견.
Folder검출 항목 소스 파일이 포함된 폴더의 경로.

열을 표시하거나 숨기려면 Results List 창 오른쪽 상단의 아이콘을 클릭한 후, 표시하거나 숨기려는 열의 제목을 선택하거나 선택 해제하세요.

이 창을 사용하여 다음을 수행할 수 있습니다:

  • 검출 항목을 살펴보세요.

  • 도구 모음 또는 컨텍스트 메뉴의 필터를 사용하여 검토를 구성하세요. 자세한 내용은 Polyspace Access 웹 인터페이스에서 결과 필터링 및 정렬 항목을 참조하십시오.

  • 검출 항목을 마우스 오른쪽 버튼으로 클릭하면 해당 검출 항목의 URL을 확인할 수 있습니다. 이 URL을 웹 브라우저에서 열면 해당 검출 항목 하나로 필터링된 Results List 패널이 표시됩니다.

  • 여러 검출 항목을 선택하여 일괄 편집을 수행하십시오. 여러 검출 항목을 선택하려면 Ctrl 키를 누른 상태에서 각 검출 항목을 클릭하십시오. 결과 목록에 현재 표시된 모든 검출 항목을 선택하려면 검출 항목을 마우스 오른쪽 버튼으로 클릭하고 컨텍스트 메뉴에서 Select All를 클릭하십시오.

    예를 들어 여러 검출 항목을 선택하여 동일한 버그 추적 도구 티켓에 할당할 수 있습니다. Polyspace Access 웹 인터페이스에서 버그 추적 도구 티켓 생성 항목을 참조하십시오.

  • 결과에 대한 검토 정보를 복사하여 코드에 Polyspace 주석으로 붙여넣을 수 있습니다. 리뷰 정보를 복사하려면 결과 목록에서 결과를 마우스 오른쪽 버튼으로 클릭한 후 Add Pre-Justification to Clipboard > 검출 항목 주석 복사 findingName을 선택하세요. 여기서 findingName는 검출 항문의 이름으로, 예를 들어 Typedef mismatch 또는 AUTOSAR C++14 A5-2-6와 같습니다.

    코드에 주석을 추가하는 방법에 대한 자세한 내용은 Annotate Code and Hide Known or Acceptable Results (Polyspace Bug Finder)를 참조하십시오.

Results List가 10000개 이상의 검출 항목을 초과할 경우, Polyspace Access는 목록을 잘라내고 필터 바에 이 아이콘 를 표시합니다. 모든 검출 항목을 보려면 아이콘의 컨텍스트 도움말을 참조하십시오.

To see all findings, hover on the exclamation mark icon and click on the link Show all Results List findings.

10000개 검출 항목 결과 제한은 사전 설정되어 변경할 수 없습니다.