CI ( Continuous Integration)를 활용한 정적 검증 자동화 및 협업 검토 환경
해당 시리즈: 모델 기반 설계를 이용한 효율적인 검증 워크 플로우
본 비디오는 모델로부터 자동 생성한 코드를 정적 분석하고, 분석 결과물에서 모델로 역추적하는 기능을 먼저 소개합니다. 또한Polyspace® 제품군의 정적 분석 작업을 Jenkins™ 도구로 자동화하는 방법과 Polyspace Access™, Polyspace Code Prover Access™에서의 협업 검토 환경을 자세히 설명합니다.
발행: 2020년 11월 25일
