CI ( Continuous Integration)를 활용한 정적 검증 자동화 및 협업 검토 환경 - MATLAB & Simulink
현재 시간 0:00
지정 기간 29:55
로드됨: 0.55%
스트리밍 유형 라이브
남은 시간 29:55
 
1x
  • 챕터
  • 제품 설명 끄기, 선택됨
  • 서브타이틀 끄기, 선택됨
  • en (Main), 선택됨

    CI ( Continuous Integration)를 활용한 정적 검증 자동화 및 협업 검토 환경

    해당 시리즈: 모델 기반 설계를 이용한 효율적인 검증 워크 플로우

    본 비디오는 모델로부터 자동 생성한 코드를 정적 분석하고, 분석 결과물에서 모델로 역추적하는 기능을 먼저 소개합니다. 또한Polyspace® 제품군의 정적 분석 작업을 Jenkins™ 도구로 자동화하는 방법과 Polyspace Access™, Polyspace Code Prover Access™에서의 협업 검토 환경을 자세히 설명합니다.

    발행: 2020년 11월 25일

    자세히 알아보기

    영업 상담
    관련 정보
    평가판 신청

    피드백

    다음::

    이 비디오에서는 테스트를 위하여 수행해야하는 일들을 설명하고 이 일들중 Simulink Test를 사용하여 자동화 가능한 부분과 그렇지 않은 부분을 구분한 후, Simulink Test가 자동화하지 못하는 부분을 API를 사용하여 어떻게 자동화할 수 있는지를 설명합니다. 또한 커스터마이즈에 대한 다양한 예도 소개합니다.

    모델 검증 워크 플로우의 커스터마이즈 및 자동화

    전체 시리즈 보기 (4 비디오)

    관련 비디오:

    Learn how to use Polyspace static analysis tools to improve software quality & security and prevent software related defects in your embedded devices.

    Writing Secure Code with Polyspace Static Analysis

    Explore how Solar Impulse uses Polyspace static analysis to ensure the software in their solar plane complies with DO 178B.

    Solar Impulse Uses Polyspace Static Analysis for Solar...

    Register now to learn how you can use Polyspace products to detect bugs, debug and fix your code. You will also learn how to verify your code with proof to show that your code is safe and robust.

    Comprehensive Static Analysis Using Polyspace Products

    View Polyspace static analysis results in real time using Polyspace Bug Finder. Review defects or coding rule violations as they are detected while the analysis continues to run in the background.

    Polyspace Static Analysis Results in Real Time

    Explore how to use Polyspace to comply with security standards and detect a variety of critical software defects and security vulnerabilities.

    Embedded Security with Polyspace Static Analysis

    관련 비디오 더 보기