TechSource Systems is MathWorks Authorised Reseller and Training Partner
Learn to analyze and verify C code for unsafe constructs, coding rule compliance, and run-time errors
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.
Engineers who develop software and model for embedded system target.
Strong knowledge of C or C++
Upon the completion of this training, attendee will be able to:
Objective: Become familiar with Polyspace Bug Finder and Polyspace Code Prover and work through an introductory example.
Objective: Analyze code that may not be ANSI C compliant and account for the run-time environment, and correct defects and coding rule violations using Polyspace Bug Finder.
Measuring code metrics
Objective: Become proficient at interpreting Polyspace Code Prover results.
Objective: Find run-time errors using diagnostics available in Polyspace Code Prover.
Objective: Handle verification results that contain large amounts of unproven checks.
Objective: Learn how Polyspace Code Prover treats missing code during verification, and how to affect this behavior to produce more meaningful verifications.
Objective: Learn how to manage verifications with increasing code complexity, and how to interpret and compare integrated analysis with robust analysis.
Objective: Review procedures and options that are useful when verifying complete applications.