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

Polyspace Code Prover™는 증명을 위한 정적 분석 도구로서, C와 C++ 소스 코드에서 오버플로우, 0으로 나누기, 경계 밖 배열 접근, 기타 런타임 오류가 없는지 증명합니다. 프로그램 실행, 코드 수정 또는 테스트 케이스 없이 결과를 제공합니다. Polyspace Code Prover는 정적 분석에 기반을 둔 의미 분석 및 Abstract Interpretation을 사용하여 소프트웨어 절차, 제어 및 데이터 흐름 동작을 검증합니다. 직접 작성한 코드, 생성된 코드 또는 이 두 가지가 조합된 코드에서 Polyspace Code Prover를 사용할 수 있습니다. 각 연산은 런타임 오류가 있는지, 실패가 검증되었는지, 도달할 수 없는지 또는 증명되지 않았는지 여부를 나타내는 색상 코드가 지정됩니다.

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

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


기능

C 및 C++ 임베디드 소프트웨어 검증

최고 수준의 품질 및 안전성으로 동작해야 하는 C 및 C++ 임베디드 소프트웨어의 코드를 검증할 수 있습니다.

자세히 보기

런타임 오류 검출

오버플로, 0으로 나누기 및 경계 밖 포인터 등 런타임 오류를 증명, 식별 및 진단합니다.

자세히 보기

범위 정보 보기

변수 및 연산자와 연관된 범위 정보를 표시하며, 제어 및 데이터 흐름을 추적합니다.

자세히 보기

소프트웨어 품질 메트릭 추적

런타임 오류, 코드 복잡성 및 코딩 규칙 위반 사항들을 추적할 수 있는 중앙화된 품질 모델을 정의합니다.

자세히 보기

코드 검증 결과를 Simulink 모델까지 추적

생성된 코드나 직접 작성한 코드와 생성된 코드를 포함한 혼합 코드까지 함께 검증할 수 있습니다.

자세히 보기

코드 검증 프로세스 자동화

검증 작업 일정을 자동화하고 이메일 알림을 설정할 수 있습니다.

자세히 보기

인증용 아티팩트 생성

산업 표준에 따라 프로젝트의 인증 프로세스를 완료할 수 있습니다.

자세히 보기

제품 리소스

다음 리소스를 살펴보고 Polyspace Code Prover 에 관해 자세히 알아보십시오

문서

Polyspace Code Prover에 대한 릴리스 정보와 코드 예제를 포함한 함수 및 기능에 대한 기술 문서를 살펴보십시오.

시스템 요구사항

최신 Polyspace Code Prover 릴리스에 대한 시스템 요구 사항을 보십시오.

기술 기고

Polyspace Code Prover를 사용할 때의 기술적 이점을 보여주는 기사를 보십시오.

고객 사례

귀하의 분야에서 Polyspace Code Prover를 사용하여 R&D를 가속화한 고객 성공 사례를 확인해 봅니다.

커뮤니티 및 지원

질문에 대한 답을 찾고 문제 해결 리소스를 찾아보십시오.

Polyspace Code Prover 앱을 사용하면 대화형 인터페이스를 통해 일반적인 작업에 빠르게 액세스할 수 있습니다.


평가판 신청/구매

Polyspace Code Prover 사용을 시작하는 방법은 여러 가지입니다. 무료 평가판을 다운로드, or 가격 및 라이선스 옵션을 탐색하십시오.

무료 평가판 받기

Polyspace Code Prover 평가판을 신청하십시오.

시험판 받기

구매하기

Polyspace Code Prover을 구매하고 애드온 제품을 둘러보십시오.

영업 담당 문의
가격 및 라이선싱

질문이 있습니까?

Ram

에게 문의 Ram Cherukuri,
Polyspace Code Prover 기술 전문가인

Ram 에게 이메일 보내기

Polyspace Code Prover requires Polyspace Bug Finder.


관련 솔루션

의 도움Polyspace Code Prover으로 다음과 같은 과학 및 엔지니어링 문제를 해결하십시오.


뉴스 및 이벤트

Fast-Track MISRA Compliance of Generated Code