Polyspace Test

 

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.

Línea de productos Polyspace

Los productos Polyspace consiguen que el código crítico sea seguro y esté protegido probando y supervisando la calidad del software a lo largo del ciclo de desarrollo.

Polyspace Access

Identifique defectos de codificación, revise resultados de análisis estático y supervise métricas de calidad de software.

Polyspace Code Prover Server

Compruebe la ausencia de errores en tiempo de ejecución en el software.

Polyspace Bug Finder

Identifique bugs de software mediante análisis estático.

Polyspace Test

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

Polyspace Bug Finder Server

Identifique defectos de software con análisis estáticos ejecutados en servidores.

Polyspace Client for Ada

Compruebe la ausencia de errores en tiempo de ejecución en código fuente.

Polyspace Code Prover

Compruebe la ausencia de errores en tiempo de ejecución en el software.

Polyspace Server for Ada

Realice verificación de código en clusters de escritorio y publique las métricas.