Polyspace Bug Finder

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

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)을 통해 산업 표준을 지원합니다.
　

Polyspace Code Prover

소프트웨어에 런타임 오류가 없음을 증명

Polyspace Code Prover™는 C 및 C++ 소스 코드에 오버플로우, 0으로 나누기, 경계 밖 배열 액세스, 기타 특정 런타임 오류가 없음을 증명합니다. 프로그램 실행, 코드 수정 또는 테스트 케이스 없이 결과를 제공합니다. Polyspace Code Prover는 정적 분석과 정형 기법(formal method) 기반의 추상적 해석(abstract interpretation)을 사용합니다. 직접 작성한 코드, 생성된 코드 또는 이 두 가지가 조합된 코드에서 Polyspace Code Prover를 사용할 수 있습니다. 각 연산은 런타임 오류가 있는지, 실패가 검증되었는지, 도달할 수 없는지 또는 증명되지 않았는지 여부를 나타내는 색상 코드가 지정됩니다.

Polyspace Code Prover는 변수 및 함수 반환 값에 대한 범위 정보를 표시할 수 있고 변수가 지정된 범위 한도를 초과하는 조건을 증명할 수도 있습니다. 결과를 대시보드에 게시하여 품질 메트릭을 추적하고 소프트웨어 품질 목표를 준수할 수 있도록 합니다. 자동화된 검증을 위해 Polyspace Code Prover를 빌드 시스템에 통합할 수 있습니다.

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