How to Perform Static-to-Dynamic Testing Workflows with Polyspace Test

Learn how to use Polyspace Test™ to create and execute tests directly from Polyspace Bug Finder™ results. This demonstration shows how static analysis findings, such as run-time errors and dead code, can drive dynamic testing workflows.

Follow the process of reviewing Polyspace Bug Finder results, identifying defects, and generating targeted test cases that reproduce issues like divide-by-zero errors. See how to build and run these tests, interpret expected failures, and trace results back to the source code.

Explore how Polyspace Test integrates static and dynamic analysis to streamline verification and validation. The demonstration also highlights code coverage insights, including condition, decision, and function metrics, with an interactive view of covered and uncovered code.

Understand how this workflow improves code quality by validating defects and providing actionable insights, while supporting C and C++ testing with unit, integration, and requirements-based approaches.