Get Started with Polyspace Test
Polyspace® Test™ provides tools for developing, managing, and executing unit and integration tests and analyzing structural coverage for C/C++ code in embedded systems. You can create tests with the Polyspace xUnit API or graphical test authoring editor and stubs or mocks to isolate and verify code under test. Polyspace Test lets you execute tests on host computers or embedded targets, automate test execution, and link tests to requirements for traceability.
You can perform code coverage analysis to measure test completeness with metrics such as decision, condition, and modified condition/decision coverage (MC/DC). You can use automatic test generation to achieve desired code coverage, test boundary values, and extend requirements-based test cases.
Polyspace Test includes a common user interface that enables you to configure, run, and review results from Polyspace static analysis tools. You can use those results to justify missing code coverage and verify robustness of tests.
Support for industry standards is available through IEC Certification Kit (for ISO 26262 and IEC 61508) and DO Qualification Kit (for DO-178).
Tutorials
- Write C/C++ Unit Tests in Polyspace Platform User Interface
Get started with running Polyspace Test on a project in Polyspace Platform user interface.
- Write C/C++ Unit Tests Using Polyspace Test xUnit API and Run Tests at Command Line
Get started with writing xUnit-based C/C++ tests using predefined macros from the Polyspace Test API.
- Get Started with Polyspace Test Using Example Project
Explore graphical test authoring, code coverage calculation, automatic test generation, linking to requirements, and other Polyspace Test capabilities using example project.
- Get Started with C/C++ Test Execution on Target
Create your first target registration file, register target, run tests on target, calculate code coverage for on-target execution.
Deployment
- Polyspace Platform: A Unified Platform for Static Analysis and Dynamic Testing
Polyspace Platform is an integrated environment for static analysis and testing of C/C++ code with Polyspace products.
- Polyspace Products and Software Development Workflows
Learn about Polyspace products that can be used in a software development life cycle.
