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.
Polyspace Code Prover
Exhaustively verify the most critical C and C++ statements using formal methods.
Polyspace Test FAQs
Polyspace Test provides tools for developing, managing, and executing unit and integration tests and analyzing structural coverage for C and C++ code in embedded systems.
Polyspace Test supports C and C++ code in embedded systems.
You can create tests using the Polyspace xUnit API or interactively using a graphical test authoring editor, and create stubs and mocks to isolate components under test.
Yes, Polyspace Test lets you execute tests, collect code coverage metrics, and profile memory and execution on both host computers and target hardware.
Polyspace Test provides industry standard code coverage metrics including decision, condition, and modified condition/decision coverage (MC/DC).
Yes, Polyspace Test can automatically generate tests to augment manually created test cases, achieve desired code coverage, test boundary values, and extend requirements-based test cases.
Yes, you can link C and C++ tests to requirements authored in external tools such as IBM DOORS, IBM DOORS Next, Microsoft Word, or Microsoft Excel for traceability.
Yes, Polyspace Test has been certified by TÜV SÜD for use with IEC 61508 and ISO 26262 standards, and provides reports and artifacts for DO-178C processes through certification kits.
Yes, Polyspace Test works with popular continuous integration tools including Jenkins and Bamboo to support modern DevOps workflows and automated processes. Polyspace Test also includes a complete Python API that helps developers integrate with existing CI/CD infrastructure.
Polyspace Test includes a common user interface that enables you to configure, run, and review results from Polyspace Bug Finder and Polyspace Code Prover, and use static analysis results to justify missing code coverage, generate tests, and instrument for dynamic run-time error and memory checking.
