Polyspace Bug Finder는 C 및 C++ 임베디드 소프트웨어에서 런타임 오류, 동시성 문제, 보안 취약성 및 기타 결함을 식별할 수 있습니다. Polyspace Bug Finder는 의미 분석을 포함한 정적 분석을 사용하여 소프트웨어의 제어 흐름, 데이터 흐름 및 프로시저 간 동작을 분석할 수 있습니다. 결함이 검출되는 즉시 강조 표시하므로 버그를 개발 공정 초기에 분류하고 수정할 수 있습니다.
Polyspace Bug Finder는 MISRA C®, MISRA C++, AUTOSAR C++14, CERT® C, CERT C++ 및 사용자 지정 명명 규칙과 같은 코딩 규칙 표준을 준수하는지 확인할 수 있습니다. 발견된 버그, 코드 규칙 위반 사항, 순환 복잡도를 포함한 코드 품질 메트릭으로 구성된 리포트를 생성할 수 있습니다.
자동으로 생성되는 코드의 경우 Polyspace 결과를 Simulink 모델 및 dSPACE® TargetLink® 블록까지 추적할 수 있습니다.
IEC Certification Kit (for ISO 26262 and IEC 61508) 및 DO Qualification Kit (for DO-178)을 통해 산업 표준 지원이 가능합니다.
소프트웨어의 버그 및 취약성 식별
보안 취약성, 동시성, 수치적 결함 등 다양한 종류의 버그를 찾아낼 수 있습니다. 모든 컴파일러, 타겟 프로세서, RTOS 환경에 맞게 분석을 구성할 수 있습니다.
인증 지원
IEC 61508, ISO 26262, ISO/SAE 21434 또는 DO-178C 등의 산업 안전 및 보안 표준에 대한 인증 과정을 완료하는 데 필요한 아티팩트를 최고의 기능 안전 또는 보안 수준까지 만들 수 있습니다.
데스크탑에서 대화형 방식 분석
데스크탑 컴퓨터에서 분석을 실행하고 결과를 검토할 수 있습니다. 디버거와 같은 보기, 이벤트 추적, 호출 그래프를 통해 복잡한 버그의 근본 원인을 식별할 수 있습니다. 발견 결과를 해결하고 리포트를 생성할 수 있습니다.
제품 관련 자료:
“Polyspace를 통해 코드를 병합할 때마다 심각한 런타임 오류를 사전에 식별하고 수정하여 소프트웨어의 보안성과 품질을 보장할 수 있습니다.”
Polyspace 제품군
Polyspace 제품은 개발 라이프사이클 전반에 걸쳐 소프트웨어 품질을 테스트하고 모니터링함으로써 중요한 코드의 안정성과 보안성을 향상할 수 있습니다.
Polyspace Access
코딩 결함을 식별하고, 정적 분석 결과를 검토하고, 소프트웨어 품질 메트릭을 모니터링할 수 있습니다.
Polyspace Code Prover Server
소프트웨어에서 런타임 오류의 부재를 증명할 수 있습니다.
Polyspace Bug Finder
정적 분석을 사용하여 소프트웨어 버그를 식별할 수 있습니다.
Polyspace Test
임베디드 시스템 내 C 및 C++ 코드에 대한 테스트 개발, 관리, 실행
Polyspace Bug Finder Server
서버 컴퓨터에서 실행되는 정적 분석을 통해 소프트웨어 결함을 식별할 수 있습니다.
Polyspace Client for Ada
소스 코드에서 런타임 오류의 부재를 증명할 수 있습니다.
Polyspace Code Prover
소프트웨어의 런타임 오류의 부재를 증명할 수 있습니다.
Polyspace Server for Ada
컴퓨터 클러스터에서 검증을 수행하고 메트릭을 퍼블리시할 수 있습니다.
