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와 같은 버그 추적 툴에서 티켓을 생성하고 할당합니다.

티켓 생성.

최신 기능

컴파일러 지원

Cosmic 컴파일러로 컴파일하는 코드를 손쉽게 Polyspace 분석 환경 구성

Simulink 지원

Simulink 편집기 툴스트립에서 상황에 알맞게 나오는 버튼을 사용해 생성된 코드를 분석

Simulink 지원

C Caller 블록 및 Stateflow 차트에서 호출하는 사용자 정의 코드를 모델의 문맥에서 검증

AUTOSAR C++14 지원

람다 표현식 오용, 잠재적인 열거형 문제, 기타 여러 문제에 대해 검사

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

무료 평가판 받기

30일 동안 사용해 보세요.

다운로드

구매하기

제품별 가격을 확인하세요.

학생이세요?

학생용 MATLAB 및 Simulink를 확인하세요.

자세히 보기