정적 분석을 통한 소프트웨어 버그 발견

Polyspace Bug Finder™는 런타임 오류, 동시성 문제, 보안 취약성 및 C/C++ 임베디드 소프트웨어의 기타 오류를 감지합니다. 통계적 분석, 의미 분석, Polyspace Bug Finder를 사용하여 소프트웨어 제어, 데이터 흐름 및 절차적 동작을 분석합니다. 결함이 생기자 마자 바로 이것을 하이라이팅 함으로써, 개발 과정의 초기에서부터 분류해 내거나 버그를 수정할 수 있게 해 줍니다.  

Polyspace Bug Finder는 MISRA C®, MISRA C++, JSF++ 및 사용자 지정 명명 규칙 등 코딩 규칙 표준의 준수 여부를 확인합니다. 그리고 순환 복잡성 등 코드 품질 메트릭, 발견된 버그 및 코드 규칙 위반 사항으로 구성되는 보고서를 작성합니다. Polyspace Bug Finder는 Eclipse™ IDE와 함께 사용되어 시스템을 구축하기 위한 용도로 통합될 수 있습니다.

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

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


기능

정적 분석을 통한 소프트웨어 결함 및 보안 취약성 파악

코드 구성요소 또는 전체 임베디드 소프트웨어 프로젝트를 분석합니다.

자세히 보기

초기에 버그를 수정하여 테스팅 사이클 단축

수치, 정적 메모리, 동적 메모리, 동시성 및 보안 취약성 등 다양한 결함을 검출합니다.

자세히 보기

코딩 표준(MISRA, JSF, 명명 규칙) 준수 여부 확인

코딩 규칙을 적용함으로써 코드의 가독성 및 품질을 향상할 수 있습니다.

자세히 보기

코드 메트릭 생성 및 소프트웨어 품질 모니터링

프로젝트 수준, 파일 수준 및 함수 수준에서의 메트릭을 생성하여 코드의 복잡성을 평가합니다.

자세히 보기

코드 분석 결과로 Simulink 모델까지 추적

생성된 코드나 직접 작성한 코드와 생성된 코드를 포함한 혼합 코드까지 함께 분석할 수 있습니다.

자세히 보기

인증서 아티팩트 생성

산업 표준에 따라 프로젝트의 인증 프로세스를 완료할 수 있습니다.

자세히 보기

제품 리소스

다음 리소스를 살펴보고 Polyspace Bug Finder 에 관해 자세히 알아보십시오

문서

Polyspace Bug Finder에 대한 릴리스 정보와 코드 예제를 포함한 함수 및 기능에 대한 기술 문서를 살펴보십시오.

시스템 요구사항

최신 Polyspace Bug Finder 릴리스에 대한 시스템 요구 사항을 보십시오.

기술 기고

Polyspace Bug Finder를 사용할 때의 기술적 이점을 보여주는 기사를 보십시오.

고객 사례

귀하의 분야에서 Polyspace Bug Finder를 사용하여 R&D를 가속화한 고객 성공 사례를 확인해 봅니다.

커뮤니티 및 지원

질문에 대한 답을 찾고 문제 해결 리소스를 찾아보십시오.

Polyspace Bug Finder 앱을 사용하면 대화형 인터페이스를 통해 일반적인 작업에 빠르게 액세스할 수 있습니다.


평가판 신청/구매

Polyspace Bug Finder 사용을 시작하는 방법은 여러 가지입니다. 무료 평가판을 다운로드, or 가격 및 라이선스 옵션을 탐색하십시오.

무료 평가판 받기

Polyspace Bug Finder 평가판을 신청하십시오.

시험판 받기

구매하기

Polyspace Bug Finder을 구매하고 애드온 제품을 둘러보십시오.

영업 담당 문의
가격 및 라이선싱

질문이 있습니까?

Ram

에게 문의 Ram Cherukuri,
Polyspace Bug Finder 기술 전문가인

Ram 에게 이메일 보내기

관련 솔루션

의 도움Polyspace Bug Finder으로 다음과 같은 과학 및 엔지니어링 문제를 해결하십시오.


뉴스 및 이벤트

Fast-Track MISRA Compliance of Generated Code