Polyspace Test Server
Ejecute pruebas y analice la cobertura estructural de código C/C++ en servidores de automatización
¿Tiene preguntas? Comuníquese con ventas.
Polyspace Test Server se ejecuta en servidores de automatización. Ofrece herramientas para gestionar y ejecutar pruebas de integración y unitarias, así como analizar la cobertura estructural de código embebido C/C++ en servidores de automatización. Puede ejecutar pruebas basadas en host o en hardware objetivo en servidores de integración continua. 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).
La generación automática de pruebas ayuda a lograr la cobertura de código deseada, probar valores límite y ampliar pruebas basadas en requisitos mediante automatización con integración continua. Puede utilizar los resultados de pruebas y cobertura para justificar la deficiencia de cobertura de código y verificar la solidez de las pruebas. Polyspace Test Server permite cargar resultados de pruebas y análisis en Polyspace Access para su revisión.
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).
Ejecute pruebas de integración y unitarias en servidores de automatización
Ejecute pruebas de código C/C++ con la API de Polyspace Test xUnit utilizando un proyecto de Polyspace Test en servidores de automatización.
Mida la cobertura de código y perfile la ejecución
Genere resultados de cobertura de código para métricas estándar de la industria, como cobertura de decisiones, cobertura de condiciones y cobertura de condición/decisión modificada (MC/DC). Ejecute pruebas con perfilado de ejecución para identificar secciones de código que requieran mejoras en el uso de memoria y el rendimiento en tiempo de ejecución.
Ejecute pruebas en equipos host y hardware objetivo
Ejecute pruebas y recopile métricas de cobertura de código en servidores de automatización tanto en equipos host como en hardware objetivo.
Intégrelo en flujos de trabajo de DevOps automatizados
Utilice prácticas modernas de desarrollo de software integrando Polyspace Test Server en los flujos de trabajo de DevOps y los procesos automatizados existentes. Polyspace Test Server funciona con herramientas de integración continua populares, como Jenkins y Bamboo®.
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 Server para su uso con los estándares IEC 61508 e ISO 26262. Utilice informes y artefactos para procesos de DO-178C.
Use Sanitizer para generar perfilado de errores en tiempo de ejecución
Ejecute pruebas en servidores de automatización con la opción de Sanitizer activada para detectar errores en tiempo de ejecución. Observe errores de prueba en Polyspace Access 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.
