¿Tiene preguntas? Comuníquese con ventas.
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).
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.
Recursos del producto:
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.