Polyspace Code Prover

주요 특징

  • C 및 C++ 코드에서 특정 런타임 오류가 없음이 증명됨
  • 코드에 런타임 오류의 색상 코드 지정
  • 변수 및 함수 반환 값에 대한 범위 정보 계산
  • 지정된 범위 한도를 초과하는 변수 식별
  • 소프트웨어 품질 목표 준수를 추적하기 위한 품질 메트릭
  • 코드 메트릭과 품질 상태를 제공하는 웹 기반 대시보드
  • 결과 및 런타임 오류 상태 분류를 위한 가이드 기반 검토-확인 프로세스
  • 변수 읽기 및 쓰기에 대한 시각적인 표시
Run-time error results displayed by Polyspace Code Prover.
Polyspace Code Prover에서 표시된 런타임 오류 결과.
다음: C 및 C++ 임베디드 소프트웨어 검증

평가판 사용 Polyspace Code Prover

평가판 신청

Comprehensive Static Analysis Using Polyspace Products

온라인 세미나 보기