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 언어 지원도 제공됩니다.

Comprehensive Static Analysis Using Polyspace Products

View whitepaper

평가판 사용 Polyspace Bug Finder

평가판 신청
Jay Abraham

새로운 내용

출처: Jay Abraham, Polyspace Bug Finder 기술 전문가