Polyspace Test Server は、オートメーション サーバー上で動作します。オートメーション サーバー上で C/C++ 組み込みコードのユニットテストと統合テストを管理、実行し、構造カバレッジを解析するためのツールを提供します。CI サーバー上で、ホストベースまたはターゲットベースのテストを実行できます。コードカバレッジ解析を実行して、判定、条件、改良条件判定カバレッジ (MC/DC) などのメトリクスを使用してテストの完全性を測定できます。

自動テスト生成は、CI による自動化を通じて、目標とするコードカバレッジの達成、境界値のテスト、要件ベースのテストの拡張を支援します。テスト結果とカバレッジ結果は、未達コードカバレッジを正当化し、テストのロバスト性を検証するために利用できます。Polyspace Test Server では、テスト結果や解析結果を Polyspace Access にアップロードして確認できます。

IEC Certification Kit (for ISO 26262 and IEC 61508) や DO Qualification Kit (for DO-178) を通じて、業界標準への準拠をサポートします。