Polyspace 제품군

 

Polyspace

중요 코드 안전하게 만들기

 

Polyspace® 정적 코드 분석 제품은 정형 기법을 사용하여 발생할 수 있는 모든 제어 흐름과 데이터 흐름에서중대한 런타임 오류가 없음을 증명합니다. 이 제품은 코딩 규칙, 보안 취약점, 코드 메트릭 그리고 수백 종류의 버그들을 확인하기 위한 기능을 갖추고 있습니다.

Polyspace Access

코딩 결함을 식별하고, 정적 분석 결과를 검토하고, 소프트웨어 품질 메트릭을 모니터링할 수 있습니다

Polyspace Bug Finder

코딩 규칙, 보안 표준, 코드 메트릭 검사 및 버그 찾기

Polyspace Bug Finder Server

서버 컴퓨터에서 실행되는 정적 분석을 통해 소프트웨어 결함을 식별할 수 있습니다.

Polyspace Code Prover

심각한 런타임 오류의 부재를 코드 실행 없이 정형적으로 증명

Polyspace Code Prover Server

소프트웨어에서 런타임 오류의 부재를 증명할 수 있습니다.

Polyspace Client for Ada

소스 코드에서 런타임 오류의 부재를 증명할 수 있습니다

Polyspace Server for Ada

컴퓨터 클러스터에서 검증을 수행하고 메트릭을 퍼블리시할 수 있습니다

MATLAB 데스크탑

C/C++, Ada를 위한 정형 기법 기반의 자동화된 정적 코드 분석

품질

테스트 케이스 작성이나 코드 실행없이, 버그를 찾고 중대한 런타임 오류가 없음을 증명합니다.

안전

MISRA, ISO 26262, IEC 61508, DO-178, FDA 규정에 대한 안전 표준 및 문서 준수에 부합합니다.

보안

소프트웨어 보안 취약점들과 CWE, CERT-C, ISO/IEC 17961 등과 같은 보안 관련 표준을 검사합니다.

Panel Navigation

Volvo Cars

Polyspace를 통해 코드를 병합할 때마다 심각한 런타임 오류를 사전에 식별하고 수정하여 소프트웨어의 보안성과 품질을 보장할 수 있습니다.

Panel Navigation

Alenia Aermacchi

Polyspace 정적 분석 도구는 코드의 런타임 오류를 확인하고 MISRA 코딩 표준의 준수 여부를 확인하며 DO-178 인증을 위한 산출물들을 생성합니다.

Panel Navigation

Miracor

Miracor는 FDA를 포함한 규제 단체에게 자신들의 장치가 안전함을 증명하기 위해 Polyspace를 활용하여 품질과 정확성을 보여주었습니다.