Polyspace Test proporciona herramientas para desarrollar, gestionar y ejecutar pruebas de integración y unitarias para código C y C++ en sistemas integrados. Puede crear pruebas con la API de Polyspace xUnit o un editor de creación de pruebas gráficas, y stubs o mocks para aislar y verificar el código sometido a prueba. Polyspace Test también permite ejecutar pruebas en equipos host o en plataformas objetivo integradas, automatizar la ejecución de pruebas, y enlazar las pruebas con los requisitos para ofrecer trazabilidad.

Puede realizar análisis de cobertura de código para medir la integridad de las pruebas con métricas tales como decisión, condición y condición modificada/cobertura de decisión (MC/DC). Puede utilizar la generación automática de pruebas para lograr la cobertura de código deseada, probar valores límite y ampliar casos de prueba basados en requisitos.

Polyspace Test incluye una interfaz común que permite configurar, ejecutar y revisar resultados de las herramientas de análisis estático de Polyspace. Puede utilizar esos resultados para justificar déficit de cobertura de código y verificar la solidez de las pruebas.

El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178).