일정 및 등록

수강자 필수조건

C 또는 C++ 에 대한 높은 수준의 지식

Polyspace for C/C++ Code Verification

본 2일 교육과정은 코드 정확도를 검증하고 소프트웨어의 퀄리티 지표 향상 및 제품의 신뢰성을 높이기 위한 Polyspace Bug Finder와 Polyspace Code Prover의 이용 방법을 다룹니다. 본 과정의 주요 내용은 다음과 같습니다.

  • 검증 프로젝트 생성
  • 검증 결과 분석 및 이해
  • Target 실행 환경의 에뮬레이션
  • 누락된 함수 및 데이터 처리
  • 검증되지 않는 코드(Polyspace 제품에서 주황색으로 표시) 관리
  • MISRA-C® Rules 적용
  • 보고서 작성

상세한 과정 개요 보기



일정 및 등록

결과 1 - 4 / 4
날짜 지역 언어 가격 등록
2019 년10월03일-
2019 년10월04일
프랑스, Paris (Meudon) French EUR 1,400
2019 년10월28일-
2019 년10월29일
US, Michigan, Novi English USD 1,500
2019 년11월05일-
2019 년11월06일
중국, 北京 Chinese CNY 6,000
2019 년11월28일-
2019 년11월29일
인도, Bangalore English INR 30,000
결과 1 - 4 / 4

이 교육 과정 등록비는 미국, 에 해당되는 가격입니다. 그 외의 지역 및 국가의 가격은 영업팀에 문의하십시오. 교육 과정 등록비에는 판매세, 이용세, 소비세, 부가가치세, 또는 기타 세금이 포함되어 있지 않습니다. 실제로 적용되는 세금 및 추가 부담금 등은 등록 시에 확정됩니다. 자세한 내용은 MathWorks 교육 정책을 참조하십시오.