Have questions? Contact sales.
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).
Develop and Execute Unit and Integration Tests
Develop and run tests for C/C++ code using the Polyspace Test xUnit API or interactively using the graphical test authoring editor. Create stubs and mocks to isolate components under test, and integrate with third-party mocking libraries such as gMock.
Measure Code Coverage and Profile Execution
Generate and review code coverage results for industry-standard metrics, including decision, condition, and MC/DC. Run tests with code execution profiling to identify code sections that require memory and run-time performance improvements.
Link Tests to Software Requirements
Link C/C++ tests in the user interface to test requirements authored in an external editor or tool such as IBM® DOORS®, IBM DOORS Next, Microsoft® Word, or Microsoft Excel®.
Run Tests on Host Computers and Target Hardware
Execute tests, collect code coverage metrics, and profile memory and run-time performance on both host and target hardware.
Generate Tests to Meet Coverage and Boundary Value Objectives
Automatically generate tests to augment manually created test cases and satisfy code coverage and boundary value testing requirements.
Comply with Certification Standards
Create artifacts needed to complete certification processes for industry standards. Polyspace Test has been certified by TÜV SÜD for use with IEC 61508 and ISO 26262 standards. Use reports and artifacts for DO-178C processes.
Automate and Integrate into DevOps Workflows
Support modern software development practices by integrating Polyspace Test into existing DevOps workflows and automated processes. Polyspace Test works with popular continuous integration tools, including Jenkins and Bamboo®.
Unify Static Analysis and Dynamic Testing
Manage static analysis (with Polyspace Bug Finder or Polyspace Code Prover) and testing (with Polyspace Test)—including project configuration, execution, and review—in one interface. Use code-analysis workflows to identify problematic tests, justify unreachable code branches, or support complex code coverage requirements.
Use Sanitizer to Generate Run-Time Error Profiling
Run tests with a code sanitizer enabled to detect run-time errors. View results as test failures or in a sanitizer profiling report.
Product Resources:
Polyspace Product Family
Polyspace products make critical code safe and secure by testing and monitoring software quality throughout the development lifecycle.
Polyspace Access
Identify coding defects, review static analysis results, and monitor software quality metrics.
Polyspace Copilot
AI assistant optimized for Polyspace.
Polyspace Test
Develop, manage, and execute tests for C and C++ code in embedded systems.
Polyspace as You Code
Identify coding standard violations and software vulnerabilities from your IDE.
Polyspace Bug Finder
Check coding rules, security standards, and code metrics, and find bugs.
Polyspace Code Prover Server
Continuously and exhaustively verify critical C and C++ code statements into CI pipelines.
Polyspace Bug Finder Server
Identify software defects and enforce coding rules in your CI pipelines.
Polyspace Client for Ada
Exhaustively verify critical Ada statements units using formal methods.
Polyspace Code Prover
Exhaustively verify the most critical C and C++ statements using formal methods.
Polyspace Server for Ada
Continuously and exhaustively verify critical Ada code statements into CI pipelines.
