Polyspace Bug Finder

인증용 아티팩트 생성

Polyspace Bug Finder 및 Polyspace Code Prover는 IEC Certification Kit (IEC 61508 및 ISO 26262의 경우)DO Qualification Kit (DO-178의 경우) 을 통해 업계 표준 기반의 프로젝트를 위한 인증 프로세스에서 사용할 수 있습니다.

보고서와 아티팩트는 코드의 최종 품질을 보여주고, 검토된 섹션을 강조 표시하며, 코드 메트릭을 생성하고, 코딩 규칙의 적용과 런타임 오류 상태를 문서화합니다. 이러한 보고서는 PDF, HTML, RTF 및 기타 형식으로 만들 수 있습니다.

DO Qualification Kit contents.

인증 및 검증 키트가 제공됩니다.

평가판 사용 Polyspace Bug Finder

평가판 신청

Comprehensive Static Analysis Using Polyspace Products

온라인 세미나 보기