Polyspace Bug Finder

정적 분석을 사용하여 소프트웨어 버그를 식별할 수 있습니다.

시작하기:

개발 초기에 버그 찾기

코드를 작성 또는 수정하는 즉시 수백 종류의 버그를 식별할 수 있습니다.

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

이벤트 추적, 변수 값, 호출 트리로 디버거 같은 보기를 통해 코드를 볼 수 있습니다.

나만의 탐색 경로 만들기.

코딩 도중에 IDE 내에서 버그 식별

Visual Studio®, Visual Studio Code 또는 Eclipse와 같은 IDE 내에서 코딩하면서 코드를 작성하거나 수정하는 즉시 Polyspace를 사용하여 버그를 찾을 수 있습니다.

Visual Studio에서 코딩하면서 Polyspace를 사용할 수 있습니다.

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를 사용한 코드 분석 자동화

코드 변경 사항 분석을 조기에 자주 수행하여 지속적 통합을 실현할 수 있습니다.

통합 빌드 분석

Polyspace Bug Finder Server™ 정적 분석 엔진을 Jenkins 및 Bamboo와 같은 빌드 자동화 툴로 서버 클래스 머신에서 실행할 수 있습니다.

지속적 통합 환경에 Polyspace 제품 통합하기.

공동 검토를 위한 결과 통지 및 업로드

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

Polyspace Bug Finder 결과와 함께 이메일 알림 보내기.

Run on Public Cloud Platforms

Get more compute power by using specialized hardware in the cloud. MathWorks® provides reference architectures that provision Polyspace Server deployments on cloud platforms such as AWS® and Azure®.

Use Polyspace in the Cloud.

Polyspace Bug Finder Access를 사용한 공동 검토

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

문제 분류와 해결을 위한 분석 결과 검토

Polyspace Bug Finder Access는 중앙 리포지토리에 저장된 Polyspace 정적 코드 분석 결과 및 품질 메트릭에 대해 웹 브라우저 인터페이스를 제공합니다. 정적 분석 결과를 조사하기 위한 탐색 툴이 코드와 함께 표시됩니다.

결과 세부 사항 창.

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

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

프로젝트 개요 대시보드.

이미 사용 중인 버그 추적 툴과 통합

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

티켓 생성.


Polyspace 제품에 대해 자세히 알아보기