Polyspace Test

 

Polyspace Test

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

Panel de Polyspace con resultados de análisis estático de código, estado de pruebas y métricas de cobertura de código.
Adición de un parámetro de prueba con el editor gráfico.

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.

Tabla que muestra resultados de cobertura de código para código accesible e inaccesible junto con código fuente.

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.

Cuadro de diálogo para enlazar una prueba con un requisito de software.

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®.

Panel de Polyspace con resumen de ejecución de pruebas y resultados detallados.

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.

Cuadro de diálogo que muestra opciones para generar pruebas de cobertura o valores límite.

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.

Formas de colores para ISO 26262, DO-178, EC 61508, IEC 62304, ISO 25119, EN 50128 y EN 50657.

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.

Diagrama de flujo de trabajo cíclico para prácticas de DevOps que muestra actividades de desarrollo (planificación, diseño, creación, prueba) enlazadas con actividades de operaciones (despliegue, operación, supervisión) a través de integración continua y entrega continua.

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®.

Menús para ejecutar pruebas dinámicas y análisis estático de código.

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.

Interfaz de usuario que muestra el uso de resultados de análisis de Polyspace Code Prover para justificar déficit de cobertura.

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.