Strong knowledge of C or C++
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:
Strong knowledge of C or C++
|Day 1 of 3|
|Polyspace Workflow Overview||
Objective: Become familiar with Polyspace Bug Finder and Code Prover and work through an introductory example.
|Polyspace Bug Finder Analysis||
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 Bug Finder.
|Analyzing Polyspace Code Prover Results||
Objective: Become proficient at interpreting Polyspace Code Prover results.
|Code Verification Checks||
Objective: Find run-time errors using diagnostics available in Polyspace Code Prover.
|Day 2 of 3|
|Managing Polyspace Code Prover Verifications and Results||
Objective: Handle verification results that contain large amounts of unproven checks.
|Adding Precision to Polyspace Code Prover Verifications||
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.
|Measuring and Reporting Software Quality||
Objective: Use Polyspace metrics to share and catalog verification results, and generate standard reports from verification results.
Objective: Review procedures and options that are useful when verifying complete applications.
|Day 3 of 3|
Objective: Spend time reviewing what you have learned and applying Polyspace Code Prover directly to your own project. Potential topics include:
See if you are eligible for discounted pricing for academic users.
When you register for one of these courses, you can rely on the fact that it won't be canceled or rescheduled for any reason.
13 Sep 2017-
14 Sep 2017
|Germany, München (Ismaning)||English||EUR 1,400|
28 Sep 2017-
29 Sep 2017
9:00 a.m. - 5:00 p.m. US Eastern Daylight Time
12 Dec 2017-
13 Dec 2017
|Germany, Aachen||German||EUR 1,400|
The pricing applies for purchase and use in United States, For pricing in other regions Contact Sales. The product price does not include sales, use, excise, value-added, or other taxes. Any applicable taxes, duties, levies, assessments and governmental charges payable in connection with this purchase will be assessed on the order. Refer to Training Policies for more information
You are eligible for discounted academic pricing when you use MATLAB and Simulink for teaching, academic research, or for meeting course requirements at a degree granting institution.
You are not eligible for academic pricing when you use MATLAB and Simulink at a commercial or government lab, or for other commercial or industrial purposes.
You can also select a location from the following list: