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)를 통해 산업 표준 지원이 가능합니다.