Polyspace Test ofrece herramientas para desarrollar, gestionar y ejecutar pruebas de integración y unitarias, así como analizar la cobertura estructural de código C/C++ en sistemas embebidos. Puede crear pruebas con la API de Polyspace xUnit o un editor gráfico de creación de pruebas, 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 cobertura total de las pruebas utilizando métricas como cobertura de decisiones, cobertura de condiciones y cobertura de condición/decisión modificada (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. También puede instrumentar el código para comprobar si existen errores en tiempo de ejecución y de memoria.
Polyspace Test incluye una interfaz gráfica 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 la deficiencia de cobertura de código y verificar la solidez de las pruebas.
El soporte para estándares del sector está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178).
Desarrolle y ejecute pruebas de integración y unitarias
Desarrolle y ejecute pruebas para código C/C++ empleando la API de Polyspace Test xUnit, o bien de manera interactiva con el editor gráfico de creación de pruebas. Cree stubs y mocks para aislar los componentes sometidos a prueba, e integre librerías externas de mocks, como gMock.
Mida la cobertura de código y analice el comportamiento de ejecución
Genere y revise los resultados de cobertura de código para métricas estándar de la industria, como decisión, condición y MC/DC. Ejecute pruebas con perfilado de ejecución de código para identificar secciones de código que requieran mejoras en el uso de memoria y el rendimiento en tiempo de ejecución.
Enlace pruebas con requisitos de software
Enlace pruebas de C/C++ en la interfaz gráfica con requisitos de prueba creados en una herramienta o editor externo, como IBM® DOORS®, IBM DOORS Next, Microsoft® Word o Microsoft Excel®.
Ejecute pruebas en equipos host y hardware objetivo
Ejecute pruebas, recopile métricas de cobertura de código, y analice el uso de memoria y rendimiento en tiempo de ejecución, en el host y el hardware objetivo.
Genere pruebas para cumplir con objetivos de cobertura y valores límite
Genere pruebas automáticamente para complementar casos de prueba creados manualmente y satisfacer los requisitos de cobertura de código y pruebas de valores límite.
Cumpla con estándares de certificación
Cree los artefactos necesarios para completar procesos de certificación de conformidad con estándares del sector. 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.
Automatice e integre en flujos de trabajo de DevOps
Utilice prácticas modernas de desarrollo de software integrando Polyspace Test en flujos de trabajo y procesos automatizados de DevOps existentes con Polyspace Test Server. Polyspace Test funciona con herramientas de integración continua populares, como Jenkins y Bamboo®.
Combine el análisis estático con pruebas dinámicas
Gestione el análisis estático con Polyspace Bug Finder o Polyspace Code Prover y las pruebas con Polyspace Test, que abarcan configuración del proyecto, ejecución y revisión, todo en una única interfaz. Emplee flujos de trabajo de análisis de código para identificar pruebas problemáticas, justificar ramas de código inalcanzables o respaldar requisitos complejos de cobertura de código.
Use Sanitizer para generar perfilado de errores en tiempo de ejecución
Ejecute pruebas con Sanitizer para detectar errores en tiempo de ejecución. Observe resultados como errores de prueba o en un informe de perfilado de Sanitizer.
Recursos del producto:
Línea de productos de Polyspace
Los productos de Polyspace hacen que el código crítico sea seguro y esté protegido, probando y supervisando la calidad de software a lo largo del ciclo de desarrollo.
Polyspace Access
Identifique errores de codificación, revise resultados de análisis estático y supervise métricas de calidad de software.
Polyspace Copilot
Asistente de IA optimizado para Polyspace.
Polyspace Test
Desarrolle, gestione y ejecute pruebas de código C y C++ en sistemas embebidos.
Polyspace as You Code
Identifique incumplimiento de normas de codificación y vulnerabilidades de software desde IDE.
Polyspace Test Server
Ejecute pruebas y analice la cobertura estructural de código C/C++ en servidores de automatización.
Polyspace Code Prover Server
Verifique continua y exhaustivamente instrucciones de código C y C++ críticas en flujos de integración continua.
Polyspace Bug Finder
Compruebe reglas de codificación, estándares de seguridad y métricas de código, y detecte errores.
Polyspace Client for Ada
Verifique exhaustivamente unidades de instrucciones Ada críticas utilizando métodos formales.
Polyspace Bug Finder Server
Identifique defectos de software y aplique reglas de codificación en flujos de integración continua.
Polyspace Server for Ada
Verifique continua y exhaustivamente instrucciones de código Ada críticas en flujos de integración continua.
Polyspace Code Prover
Verifique exhaustivamente las instrucciones C y C++ más críticas utilizando métodos formales.
Preguntas frecuentes sobre Polyspace Test
Polyspace Test ofrece herramientas para desarrollar, gestionar y ejecutar pruebas de integración y unitarias, así como analizar la cobertura estructural de código C y C++ en sistemas embebidos.
Polyspace Test admite código C y C++ en sistemas embebidos.
Puede crear pruebas utilizando la API de Polyspace xUnit, o bien de manera interactiva con un editor gráfico de creación de pruebas, y crear stubs y mocks para aislar los componentes sometidos a prueba.
Sí, Polyspace Test permite ejecutar pruebas, recopilar métricas de cobertura de código, y analizar memoria y ejecución tanto en equipos host como en hardware objetivo.
Polyspace Test ofrece métricas de cobertura de código estándar de la industria, como cobertura de decisiones, de condiciones y de condición/decisión modificada (MC/DC).
Sí, Polyspace Test puede generar pruebas automáticamente para complementar casos de prueba creados manualmente, lograr la cobertura de código deseada, probar valores límite y ampliar casos de prueba basados en requisitos.
Sí, se pueden enlazar pruebas de C y C++ con requisitos creados en herramientas externas como IBM DOORS, IBM DOORS Next, Microsoft Word o Microsoft Excel para ofrecer trazabilidad.
Sí, Polyspace Test está certificado por TÜV SÜD para su uso con los estándares IEC 61508 e ISO 26262, y ofrece informes y artefactos para procesos de DO-178C a través de kits de certificación.
Sí, Polyspace Test funciona con herramientas de integración continua populares, como Jenkins y Bamboo, para permitir el uso de flujos de trabajo y procesos automatizados de DevOps modernos. Polyspace Test también incluye una API de Python completa que ayuda a los equipos de desarrollo a integrarlo con infraestructura de CI/CD existente.
Polyspace Test incluye una interfaz gráfica común que permite configurar, ejecutar y revisar resultados de Polyspace Bug Finder y Polyspace Code Prover, así como utilizar resultados de análisis estático para justificar la deficiencia de cobertura de código, generar pruebas e instrumentar el código para la comprobación dinámica de errores en tiempo de ejecución y de memoria.
