Polyspace 정적 분석 도구의 협업 환경 소개

협업 환경을 Polyspace® 정적 분석 도구로 원활하게 지원하기 위해서 Polyspace Access™와 Polyspace Code Prover Access™제품이 새롭게 출시되었습니다. 이를 잘 활용하기 위해 Jenkins™로 분석 작업을 자동화하는 것과 함께 Polyspace 정적 분석 결과물을 웹 브라우저에서 리뷰하는 기능을 소개합니다.

발행: 2019년 6월 4일

피드백

다음::

Embedded Software Verification with Polyspace Products for...

관련 비디오:

Checking MISRA Code Rule Compliance with Polyspace Products

Understand C/C++ Code Design with Polyspace Products

Comprehensive Static Analysis Using Polyspace Products

What Is Polyspace Code Prover?

관련 비디오 더 보기