Polyspace Bug Finder

정적 분석을 통한 소프트웨어 결함 파악

Polyspace Bug Finder™는 C 및 C++ 임베디드 소프트웨어에서 런타임 오류, 데이터 흐름 문제 및 여러 종류의 결함을 식별합니다. Polyspace Bug Finder는 정적 분석을 사용하여 소프트웨어 제어, 데이터 흐름 및 절차적 동작을 분석합니다. 이를 통해 개발 프로세스의 초기 단계에서 버그를 분류하고 수정할 수 있습니다.

Polyspace Bug Finder는 MISRA-C®, MISRA-C++, JSF++ 및 사용자 정의 명명 규칙과 같은 코딩 규칙 표준을 준수합니다. 또한 발견된 버그, 코드 규칙 위반, 그리고 순환 복잡도(cyclomatic complexity)와 같은 코드 품질 메트릭으로 구성된 보고서를 생성합니다. Polyspace Bug Finder는 Eclipse™ IDE와 함께 사용할 수 있고 기존 빌드 시스템에 통합할 수 있습니다.

자동 생성 코드의 경우 Polyspace® 결과에서 Simulink® 모델, dSPACE® TargetLink® 블록 및 IBM® Rational® Rhapsody® 다이어그램으로 역추적할 수 있습니다.

업계 표준에 대한 지원은 IEC Certification Kit(IEC 61508 및 ISO 26262의 경우)와 DO Qualification Kit (DO‑178의 경우)를 통해 이용 가능합니다. Ada 언어 지원도 제공됩니다.

Debunking Misconceptions About Static Analysis

웨비나 보기

Polyspace Bug Finder 평가판 사용

평가판 신청
Ram Cherukuri

새로운 내용

출처: Ram Cherukuri, Polyspace Bug Finder 기술 전문가