Polyspace Access 웹 인터페이스에서 체크 검토 우선순위 지정

이 예시는 수표 검토 시 우선순위를 정하는 방법을 보여줍니다. 다음과 같은 방법을 시도해 보십시오. 오렌지 체크 검토를 체계화하기 위한 자신만의 절차를 개발할 수도 있습니다.

팁

검토를 용이하게 하려면 먼저 소스 코드에 Polyspace^® Bug Finder™를 실행하십시오. Polyspace Bug Finder가 검출 항목을 해결한 후, 코드에 Polyspace Code Prover™를 실행하십시오.

검토를 시작하기 전에 다음 사항을 확인하실 수 있습니다:

Review 뷰에서 Window > Run Log로 이동하여 Run Log를 확인하세요. 경고 및 오류 메시지를 로그에서 검색하려면 CTRL-F를 사용하거나, 문자열 failed compilation를 사용하십시오. 경고나 오류가 발생하거나 파일이 컴파일되지 않은 경우, Polyspace가 모든 소스 파일을 분석하지 못한 이유를 확인하십시오.
검토되지 않은 코드의 일반적인 원인을 확인하려면 Polyspace Code Prover 문서를 참조하십시오.
올바른 구성을 사용했는지 확인하십시오. 구성 옵션은 Run Log 아래에 Options used with Verifier: 및 User: 문자열로 나열되어 있습니다.
때로는, 특히 여러 구성 간에 전환하는 경우, 실수로 검증에 잘못된 구성을 사용할 수 있습니다.

Project Overview 대시보드에서 Run-time Checks 카드의 Open 옆에 있는 숫자를 클릭하세요.
이 작업은 검토되지 않은 빨간색, 회색 및 주황색 체크만 포함된 Results List 패널을 엽니다. Review 보기에서 도구 모음의 Run-time Checks 및 To Do를 클릭하여 이러한 결과를 필터링할 수도 있습니다.
첫 번째 체크를 선택하고 검토하십시오.
자세한 내용은 Polyspace Access 웹 인터페이스에서 Code Prover 결과 해석 항목을 참조하십시오.
모든 항목을 검토할 때까지 목록을 계속 살펴보십시오.
주황색 체크를 검토하기 전에 빨간색과 회색 체크를 검토하십시오.

오렌지 체크 검토를 우선순위로 정하세요:

검토를 용이하게 하기 위해, 적은 주황색 표시가 있는 파일부터 주황색 표시 검토를 시작하십시오.
주황색 체크 표시 개수별로 파일을 정렬하려면, Run-time Checks 대시보드의 Details 섹션에서 View by File를 클릭한 후, Orange 열의 머리글을 클릭하여 정렬하십시오. 이 열의 항목을 클릭하면 해당 항목의 주황색 체크 표시 목록이 열립니다.

체크 유형: 다음 순서로 주황색 체크를 검토하십시오. 이 순서로 내려갈수록 수표는 검토하기가 더 어려워집니다.

주문 검토	체크
첫 번째	`Out of bounds array index` (Polyspace Code Prover) `Non-initialized local variable` (Polyspace Code Prover) `Division by zero` (Polyspace Code Prover) `Invalid shift operations` (Polyspace Code Prover)
두 번째	`Overflow` (Polyspace Code Prover) `Illegally dereferenced pointer` (Polyspace Code Prover)
세 번째	잔여 수표

주황색 체크 원인 확인: 단일 변수 또는 함수로 인해 발생한 모든 주황색 체크를 검토하십시오. 오렌지 체크는 종종 코드에서 값을 결정할 수 없는 변수나 정의되지 않은 함수에서 발생합니다.
주황색 체크 표시의 출처를 확인하려면 Results List 패널에서 주황색 체크 표시를 선택한 후 Results Details 패널의 를 클릭하십시오. Window > Orange Sources로 이동하여 Orange Sources 패널을 열 수도 있습니다. 자세한 내용은 Filter Using Orange Sources 항목을 참조하십시오.
결과 세부 정보: 동일한 원인에서 비롯된 모든 결과를 검토하십시오. 때로는 Results List 창에 있는 Detail 열이 결과에 대한 추가 정보를 표시합니다. 예를 들어, 여러 이슈가 동일한 코딩 규칙 위반을 유발하는 경우, 이 열에는 해당 이슈가 표시됩니다. 같은 유형의 문제에서 비롯된 결과가 함께 그룹화되도록 열 헤더를 클릭하세요. 결과를 한 번에 검토하세요.

정당한 확인을 완료한 체크의 비율을 확인하려면 Dashboard 보기로 이동하여 Run-time Checks 대시보드의 Summary 섹션을 참조하십시오.

참고 항목