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