Polyspace Code Prover

코드 검증 프로세스 자동화

Polyspace를 빌드 프로세스에 포함시킴으로써 Polyspace Code Prover를 지속적인 통합 프로세스의 일부로 사용할 수 있습니다. 검증 작업 스케줄링을 자동화하고 이메일 알림을 설정할 수 있습니다. Polyspace Code Prover를 할당하여 검증 작업을 클러스터 컴퓨터(MATLAB Distributed Computing Server 사용)로 게시하는 일정을 정하고 결과가 나오면 이메일 알림을 받을 수 있습니다. 결과에는 서버가 자동으로 계산하는 이전 버전 코드와의 차이점이 포함되어 있습니다.

이러한 분석의 빈도도 정의 가능하며, 코드 기반의 특정 부분에 대해 적용하길 원하는 품질 모델을 정의할 수 있고, 결과가 나왔을 때 앞서 말한 사용자에게 보낼 이메일도 지정할 수 있습니다. 또한 자동화된 검증을 포함시키려는 빌드 프로세스의 특징도 정의할 수 있습니다.

다음: 인증용 아티팩트 생성

평가판 사용 Polyspace Code Prover

평가판 신청

Developing Medical Device Software with Zero Bugs

온라인 세미나 보기