교육 서비스

Polyspace Code Prover for C/C++ Code Verification

This two-day course discusses the use of Polyspace® Code Prover to prove code correctness, improve software quality metrics, and ensure product integrity. This hands-on course is intended for engineers who develop software or models targeting embedded systems. Topics include:

  • Creating a verification project
  • Reviewing and understanding verification results
  • Emulating target execution environments
  • Handling missing functions and data
  • Managing unproven code (color-coded in orange by Polyspace products)
  • Applying MISRA-C® rules
  • Reporting

Training Formats

교육방법 교육기간 과정 개요

정규교육

매스웍스 강의실에서 매스웍스 강사에 의해 진행되는 과정입니다. 정규교육은 또한 귀하의 시설에서 진행될 수 있습니다.

2 days 세부사항 보기

강사주도 온라인 교육

정규교육에서 다루어지는 내용을 매스웍스 강사에 의해 온라인 상태에서 실시간으로 진행되는 과정입니다.

2 days 세부사항 보기

수강자 필수조건

Strong knowledge of C or C++