Reviewing Polyspace Results
Contact us to scheduleCourse Details
This one-day, hands-on course discusses the interpretation and review of Polyspace Bug Finder™ and Polyspace Code Prover™ results in Polyspace Access™ to remove algorithmic defects, improve software quality metrics, and improve product integrity. The course is intended for engineers who review results with Polyspace Access and need to change their software in response to those results. Topics include:
- Reviewing and understanding analysis results
- Managing unproven code (color-coded in orange by Polyspace Code Prover)
- Managing coding rules violations
- Collaborating with colleagues in the web interface
Day 1 of 1
Polyspace Bug Finder Analysis
Objective: Fix defects and coding rule violations.
- Polyspace Access dashboard overview
- Polyspace Bug Finder defect analysis and management
- Coding rule violation review
- Code metric review
Analyzing Polyspace Code Prover Results
Objective: Become proficient at interpreting Polyspace Code Prover results.
- Abstract interpretation overview
- Call tree analysis
- Source code navigation
- Execution paths
- Variable ranges
- Global variables
Managing Polyspace Code Prover Results
Objective: Handle verification results that contain unproven checks. Understand how an appropriate setup can add more information to the execution context.
- Determining verification effort
- Checking assumptions
- Performing a selective orange review
- Prioritizing and reviewing orange checks
- Reviewing context-specific results with constraints
- Finding indicators that analysis options should be changed
Integration and Application Analysis
Objective: Interpret integration issues found by Polyspace Bug Finder and Polyspace Code Prover. Compare single unit verification with verification of an integrated component.
- Understanding the impact of integration on verification
- Reviewing issues apparent after integrating a component
- Collaborating with colleagues in the web interface
Level: Intermediate
Prerequisites:
Knowledge of C or C++ is recommended.
Duration: 1 day
Languages: English
