Polyspace Test

NUEVO PRODUCTO

 

Polyspace Test

Desarrolle, gestione y ejecute pruebas de código C y C++ en sistemas integrados

Desarrollo y ejecución de pruebas de integración y unitarias

Desarrolle y ejecute pruebas para código C y C++ empleando la API de Polyspace Test xUnit, o bien de manera interactiva con un editor de creación de pruebas gráficas. Cree stubs y mocks para aislar los componentes sometidos a prueba y realice integración con librerías de mocks de terceros, tales como gMock.

Medición de cobertura de código y creación de perfiles de ejecución

Genere y revise la cobertura de código para métricas estándar de la industria, tales como decisión, condición y MC/DC. Realice pruebas con perfiles de ejecución de código para identificar secciones de código que requieran mejoras de rendimiento de memoria y tiempo de ejecución.

Enlace de pruebas con requisitos de software

Enlace pruebas de C y C++ en la interfaz de usuario con requisitos de prueba creados en una herramienta o editor externo, tal como IBM® DOORS®, IBM DOORS Next, Microsoft® Word o Microsoft Excel®.

Ejecución de pruebas en equipos host y hardware objetivo

Ejecute pruebas, recopile métricas de cobertura de código, y cree perfiles de memoria y ejecución en hardware host y objetivo.

Generación de pruebas para cumplir con objetivos de cobertura y valores límite

Genere pruebas automáticamente para aumentar casos de prueba creados manualmente y corregir pruebas incompletas de cobertura de código y valores límite.

Soporte para certificación

Cree los artefactos necesarios para completar procesos de certificación de conformidad con estándares de la industria. TÜV SÜD ha certificado Polyspace Test para su uso con los estándares IEC 61508 e ISO 26262. Utilice informes y artefactos para procesos de DO-178C.

Automatización e integración en DevOps

Utilice prácticas de desarrollo de software modernas conectando Polyspace Test con flujos de trabajo y procesos automáticos de prácticas de DevOps existentes. Polyspace Test funciona con herramientas de integración continua de uso muy frecuente, tales como Jenkins y Bamboo®.

Gestión centralizada de análisis estático y pruebas dinámicas

Configure, ejecute y vea resultados de Polyspace Bug Finder, Polyspace Code Prover y Polyspace Test en una interfaz común.

Uso de análisis estático para complementar pruebas dinámicas

Justifique el déficit de cobertura de código que Polyspace Code Prover haya demostrado que es inaccesible. Garantice la fiabilidad y coherencia de las pruebas analizándolas para buscar fallos y errores en tiempo de ejecución.