교육 서비스

Polyspace Code Prover for C/C++ Code Verification

This three-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

Please Note: A 1 hour test session will be scheduled one day prior to the first day of class. This test session will cover viewing and audio troubleshooting as well as software installation (content will be presented during the remaining days). It is highly recommended that you attend this session to ensure a successful start to the class.

Training Formats

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

정규교육

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

2 days 세부사항 보기

강사주도 온라인 교육

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

2 days 세부사항 보기

수강자 필수조건

Strong knowledge of C, C++, or Ada