Polyspace Code Prover

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

중앙 집중식 품질 모델을 정의하여 런타임 오류, 코드 복잡성, 코딩 규칙 위반을 추적할 수 있습니다. 이러한 메트릭을 사용하여  개발의 시작 단계부터 최종 제공 버전까지 코드가 진화함에 따라 사전 정의된 소프트웨어 품질 목표에 대한 진행 상태를 추적할 수 있습니다. Polyspace Code Prover는 코드 품질의 개선 속도를 측정함으로써 개발자, 테스터 및 프로젝트 관리자가 고품질 코드를 목표로 설정하고 이를 제공할 수 있도록 합니다.

Software quality metrics displayed via web browser.
웹 브라우저를 통해 표시된 소프트웨어 품질 메트릭.
다음: 코드 검증 결과를 Simulink 모델까지 추적

평가판 사용 Polyspace Code Prover

평가판 신청

Developing Medical Device Software with Zero Bugs

온라인 세미나 보기