Polyspace Test Server
Execute tests and analyze structural coverage for C/C++ code on automation servers
Have questions? Contact sales.
Polyspace Test Server runs on automation servers. It provides tools to manage and execute unit and integration tests and to analyze structural coverage for C/C++ embedded code on automation servers. You can execute host-based or target-based tests on CI servers. You can perform code coverage analysis to measure test completeness using metrics such as decision, condition, and modified condition/decision coverage (MC/DC).
Automatic test generation helps you to achieve desired code coverage, test boundary values, and extend requirements-based tests through CI-driven automation. You can use the test and coverage results to justify missing code coverage and verify the robustness of tests. Polyspace Test Server supports uploading test and analysis results to Polyspace Access for review.
Support for industry standards is available through IEC Certification Kit (for ISO 26262 and IEC 61508) and DO Qualification Kit (for DO-178).
Execute Unit and Integration Tests on Automation Servers
Run tests for C/C++ code with the Polyspace Test xUnit API using a Polyspace Test project on automation servers.
Measure Code Coverage and Profile Execution
Generate code coverage results for industry-standard metrics, including decision, condition, and modified condition/decision coverage (MC/DC). Run tests with execution profiling to identify code sections that require memory usage and run-time performance improvements.
Run Tests on Host Computers and Target Hardware
Execute tests and collect code coverage metrics on automated servers on both host and target hardware.
Integrate into Automated DevOps Workflows
Support modern software development practices by integrating Polyspace Test Server into existing DevOps workflows and automated processes. Polyspace Test Server works with popular continuous integration tools, including Jenkins and Bamboo®.
Comply with Certification Standards
Create artifacts needed to complete certification processes for industry standards. Polyspace Test Server 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.
Use Sanitizer to Generate Run-Time Error Profiling
Run tests on automated servers with the code sanitizer option enabled to detect run-time errors. View results in Polyspace Access 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 Test Server
Execute tests and analyze structural coverage for C/C++ code on automation servers.
Polyspace Code Prover Server
Continuously and exhaustively verify critical C and C++ code statements into CI pipelines.
Polyspace Bug Finder
Check coding rules, security standards, and code metrics, and find bugs.
Polyspace Client for Ada
Exhaustively verify critical Ada statements units using formal methods.
Polyspace Bug Finder Server
Identify software defects and enforce coding rules in your CI pipelines.
Polyspace Server for Ada
Continuously and exhaustively verify critical Ada code statements into CI pipelines.
Polyspace Code Prover
Exhaustively verify the most critical C and C++ statements using formal methods.
