Polyspace 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. Note that day 3 is optional and is only available for on-site trainings. 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 analysis results

See detailed course outline

Prerequisites

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. Software development workflows with Polyspace Simple verification example Analyzing defects and run-time errors
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. Common run-time environment artifacts Handling processor-specific code Defining the execution context Setting target hardware information Analyzing and managing Bug Finder defects Detecting coding rule violations
Analyzing Polyspace Code Prover Results	Objective: Become proficient at interpreting Polyspace Code Prover results. Overview of abstract interpretation Call tree analysis Source code navigation Execution paths Variable ranges Global variables
Code Verification Checks	Objective: Find run-time errors using diagnostics available in Polyspace Code Prover. Overview of C source code checks Location of checks in source code Description of checks Relevant verification options

Day 2 of 3
Managing Polyspace Code Prover Verifications and Results	Objective: Handle verification results that contain large amounts of unproven checks. Determining verification effort Performing a quick review Performing a selective orange review Setting verification precision Prioritizing orange checks Reviewing orange 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. Robustness verification and contextual verification Function stubbing Data range specification Manual stubbing
Integration Analysis	Objective: Learn how to manage verifications with increasing code complexity, and how to interpret and compare integrated analysis with robust analysis. Managing code modules Analyzing integration defects and rule violations with Bug Finder and Code Prover Importing comments
Measuring and Reporting Software Quality	Objective: Use Polyspace metrics to share and catalog verification results, and generate standard reports from verification results. Sharing results Using Polyspace metrics Testing software quality objectives Creating documentation
Application Analysis	Objective: Review procedures and options that are useful when verifying complete applications. Setting up an application verification Improving the results of an application verification Detecting concurrency issues Comparing robustness and contextual verification

Day 3 of 3
Hands-on Instruction (Optional)	Objective: Spend time reviewing what you have learned and applying Polyspace Code Prover directly to your own project. Potential topics include: Bug Finder checks Verifying C++ code Tasking and shared data analysis Verifying generated code Development process review Workflow integration Client/server software installation Polyspace configuration for project code Results interpretation

Guaranteed to Run

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.

Course Schedule

Results 1 - 15 of 15

Dates	Location	Language	Price
05 Feb 2020- 06 Feb 2020	Online 9:00 a.m. - 5:00 p.m. US Eastern Daylight Time	English	USD 1,500
27 Apr 2020- 28 Apr 2020	US, Michigan, Novi	English	USD 1,500
05 May 2020- 06 May 2020	Germany, Aachen	German	EUR 1,400
28 May 2020- 29 May 2020	Korea (Republic Of), Gangnam, Seoul	Korean	KRW 900,000
16 Jun 2020- 17 Jun 2020	China, 上海	Chinese	CNY 6,000
23 Jun 2020- 24 Jun 2020	China, 北京	Chinese	CNY 6,000
25 Jun 2020- 26 Jun 2020	Online 9:00 a.m. - 5:00 p.m. US Eastern Daylight Time	English	USD 1,500
17 Aug 2020- 18 Aug 2020	US, Massachusetts, Natick	English	USD 1,500
25 Aug 2020- 26 Aug 2020	China, 上海	Chinese	CNY 6,000
28 Sep 2020- 29 Sep 2020	US, Michigan, Novi	English	USD 1,500
08 Oct 2020- 09 Oct 2020	France, Paris (Meudon)	French	EUR 1,400
05 Nov 2020- 06 Nov 2020	Korea (Republic Of), Gangnam, Seoul	Korean	KRW 900,000
24 Nov 2020- 25 Nov 2020	Germany, Ismaning (bei München)	English	EUR 1,400
08 Dec 2020- 09 Dec 2020	China, 北京	Chinese	CNY 6,000
15 Dec 2020- 16 Dec 2020	China, 上海	Chinese	CNY 6,000

Results 1 - 15 of 15

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