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. You can also instrument the code to check for run-time and memory errors.

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).