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 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 como decisión, condición 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.
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 de creación de pruebas gráficas. Cree objetos stubs y mocks para aislar los componentes sometidos a prueba y realice integración con librerías de stubs de terceros, 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. Realice pruebas con análisis 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 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 flujos de trabajo de DevOps
Utilice prácticas de desarrollo de software modernas integrando 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 popular, 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 inaccesibles o respaldar requisitos complejos de cobertura de código.
Use Sanitizer para detectar y analizar 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 Sanitizer Profiling.
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 infracciones de normas de codificación y vulnerabilidades de software desde IDE.
Polyspace Bug Finder
Compruebe reglas de codificación, estándares de seguridad y métricas de código, y detecte errores.
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 Server
Identifique defectos de software y aplique reglas de codificación en flujos de integración continua.
Polyspace Client for Ada
Verifique exhaustivamente unidades de instrucciones Ada críticas utilizando métodos formales.
Polyspace Code Prover
Verifique exhaustivamente las instrucciones C y C++ más críticas utilizando métodos formales.
Polyspace Server for Ada
Verifique continua y exhaustivamente instrucciones de código Ada críticas en flujos de integración continua.
