Polyspace Bug Finder

정적 분석을 사용한 소프트웨어 버그 탐지

Polyspace Bug Finder™는 C/C++ 임베디드 소프트웨어에서 발생할 수 있는 런타임 오류, 동시성 문제, 보안 취약성 및 기타 결함들을 탐지합니다. 의미론적 분석을 포함한 정적 분석을 사용하여 Polyspace Bug Finder는 소프트웨어 제어, 데이터 흐름 및 프로시저 간 동작을 분석합니다. 결함들을 감지한 직후 바로 그것들을 강조 표시하여사용자는 개발 프로세스 초기에 버그를 분류하고 수정할 수 있습니다.

Polyspace Bug Finder는 MISRA C®, MISRA C++, JSF++, CERT® C, CERT® C++ 및 사용자 정의 명명 규칙과 같은 코딩 규칙 표준을 준수하는지 확인합니다. 그리고발견된 버그들, 코딩 규칙 위반 사항들, 순환 복잡도를 포함한 코드 품질 메트릭으로 구성된 보고서를 생성합니다. Polyspace Bug Finder는 데스크탑에 있는 코드를 분석하기 위해 EclipseTM IDE와 함께 사용할 수도 있습니다.

자동 생성된 코드의 경우 Polyspace 결과에서Simulink® 모델 및 dSPACE® TargetLink® 블록으로역추적할 수 있습니다.

IEC Certification Kit(ISO 26262 및 IEC 61508용) 및 DO Qualification Kit(DO-178용)을 통해 산업 표준을 지원합니다.

시작하기:

개발 초기에 버그 발견

코드가 작성되거나 수정되는 즉시 수백 종류의 버그를 탐지 합니다.

복잡한 버그의 근본 원인 찾기

디버거 형태의 이벤트 추적, 변수 값, 호출 트리 정보와 함께 코드를 확인합니다.

다양한 방식으로 코드를 탐색합니다.

코드 분석에서 Simulink 모델로 추적

생성된 코드에 대한 분석을 실행하고, 찾아낸 항목들에서 소스 모델 블록으로 추적합니다. 추적합니다.

코드 분석 결과물에서 모델로 추적합니다.

모든 런타임 환경에 알맞게 구성

Polyspace Bug Finder는 어떠한 컴파일러, 타겟 프로세서 및 RTOS 환경이든 구성하여 사용 가능합니다.

컴파일러와 타겟 옵션을 설정합니다.

코드의 안전성과 보안성 확보

업계 표준에 대한 품질을 추적합니다.

코딩 규칙 및 인증 요구 사항 준수

MISRA C, MISRA C++, AUTOSAR C++14, JSF++ 및 사용자 정의규칙을 적용합니다. ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304 등을 준수하는지 확인합니다.

기능 안전 표준을 준수합니다.

보안 요구 사항 충족

CERT C/C++, ISO 17961 및 MISRA C:2012 Amendment 1을 준수하는지 확인합니다.

코딩 규칙 검사를 구성합니다.

프로젝트의 소프트웨어 품질 모니터링

분석 결과를 품질 기준값과 비교하여, 소프트웨어 팀이 보다 쉽게 협업하고 프로젝트 이정표를 모니터링할 수 있습니다.

결과를 필터링합니다.

Polyspace Bug Finder Server로 코드 분석 자동화

코드 변경 마다 조기에 자주 분석함으로써 지속적인 통합을 용이하게 합니다.

통합된 빌드 분석

Jenkins 및 Bamboo와 같은 빌드 자동화 툴과 연동하여서버 클래스 머신에서 Polyspace Bug Finder Server™ 정적 분석 엔진을 실행합니다.

Polyspace 제품을 지속적인 통합 환경 내로 통합합니다.

협업 리뷰를 위한 결과 업로드 및 알림

자동으로 결함을구성 요소 소유자에게 할당하고, 이메일 알림을 보내고, 결과를 Polyspace Bug Finder Access에 업로드하여 문제를 분류하고 해결할 수 있습니다.

Polyspace Bug Finder 결과와 함께 이메일 알림을 보냅니다.

Polyspace Bug Finder Access로협업 리뷰

분석 결과와 품질 메트릭을 소프트웨어 개발 팀과 공유합니다.

분석 결과를 리뷰하여 문제 분류 및 해결

Polyspace Bug Finder Access™는 중앙 저장소에 있는 Polyspace 정적 코드 분석 결과와 품질 메트릭을 확인하기 위한웹 브라우저 인터페이스를 제공합니다. 정적 분석 결과를 살펴보기위한 탐색 도구는코드와 함께 표시됩니다.

결과 세부 정보 창.

프로젝트 품질과 소프트웨어 품질 메트릭 모니터링

대시보드에는 소프트웨어 품질, 프로젝트 상태, 결함 수 및 코드 메트릭을 모니터링하는 데 사용할 수 있는 정보가 표시됩니다.

프로젝트 개요 대시보드.

이미 사용하고 있는 버그 추적 툴과 통합

웹 브라우저 인터페이스를 사용하여 Jira와 같은 버그 추적 툴에서 티켓을 생성하고 할당합니다.

티켓 생성.

최신 기능

컴파일러 지원

Microchip MPLAB XC16 및 XC32 컴파일러를 인식하여 Polyspace 분석 환경 자동 설정

Simulink 지원

C Function 블록에서 호출된 사용자 정의 코드 분석

반증을 이용하는 견고한 검사 기능

수치적 경계 값들을 포함하는 모든 시스템 입력 값을 고려하여 엄격한 분석을 실행하고, 결함으로 이어지는 경우의 값 보기

성능 검사 기능

C++ 코드에서 성능 문제를 일으킬 수 있는 코딩 방식들 검사

CERT C 지원

스레드 안전 문제, 하드 코딩된 민감한 데이터를 위한 새로운 검사 기능을 포함한 모든 CERT C 규칙의 위반 검사

이러한 기능과 해당 함수에 대한 세부 정보는 릴리스 정보를 참조하십시오.