Polyspace

Pruebe software y evalúe la calidad del código

¿Tiene preguntas? Comuníquese con ventas.

Polyspace para pruebas de software y análisis de código

Los productos de Polyspace ofrecen una solución unificada para gestionar, medir y supervisar la calidad de software a lo largo del ciclo de desarrollo.

Verifique exhaustivamente las instrucciones de código C, C++ y Ada más críticas.
Identifique cientos de vulnerabilidades de código C/C++.
Compruebe reglas de codificación, como MISRA C™ 2012, AUTOSAR C++14 y CERT^® C/C++.
Cree, gestione y ejecute casos de prueba, y mida la cobertura de código en el host y el hardware objetivo.
Analice la implementación de arquitectura de software.

Polyspace para software seguro, protegido, fiable y de alto rendimiento

Los productos de Polyspace ofrecen prestaciones de prueba y verificación de código que ayudan a los equipos de ingeniería a cumplir con estos requisitos de calidad en un único entorno.

Garantice la fiabilidad del software evaluando la calidad del código.
Intensifique la seguridad del software identificando vulnerabilidades críticas.
Mejore la corrección funcional del software realizando pruebas basadas en requisitos.
Desarrolle software eficiente y rápido, perfilando la ejecución e identificando código no óptimo.
Soporte para estándares de protección y seguridad, como DO-178C, IEC 61508, ISO 26262 y ISO/SAE 21434.

Volvo Cars aumenta el ritmo y calidad del desarrollo de software con Polyspace

“Con Polyspace, podemos garantizar la seguridad y calidad del software identificando y corrigiendo errores críticos en tiempo de ejecución antes de realizar una combinación de códigos”.
Johannes Foufas, Volvo Cars

Polyspace para todos los procesos de desarrollo

Los productos de Polyspace se pueden integrar en fábricas de software, desde el entorno IDE hasta flujos de integración continua (CI), en la nube o localmente, con muchas herramientas de desarrollo, como Jira o GitHub, para resolver problemas de calidad de manera eficiente.

Compruebe la calidad del código dentro del entorno IDE.
Adopte el desarrollo guiado por pruebas (TDD) con la API de pruebas xUnit.
Pruebe y verifique software generado automáticamente así como desarrollado por personas.
Automatice la ejecución de pruebas y la verificación de código en flujos de integración continua.
Aplique criterios de calidad de software estándar a lo largo de la cadena de suministros.

Polyspace para equipos de ingeniería de software eficientes

Los productos de Polyspace ayudan a los equipos de ingeniería a mejorar sus habilidades de codificación y pruebas proporcionando extensa documentación, recomendaciones de corrección, y colaboración en la calidad de software.

Aumente las habilidades de codificación del equipo de desarrollo permitiendo que aprendan de errores de codificación en su entorno IDE.
Proporcione al equipo de calidad una plataforma unificada para medir la calidad de código y cumplir con requisitos de pruebas.
Posibilite que el equipo de arquitectura verifique la implementación en código del diseño de arquitectura.
Ayude al equipo de DevOps a integrar herramientas de calidad en su fábrica de software.
Ofrezca a responsables de ingeniería de software una visión unificada de la calidad de los proyectos.

Optimización de la conformidad con ASPICE, ISO 26262 e ISO/SAE 21434 con análisis estático de código de Polyspace

“Polyspace nos ha ayudado a alcanzar nuestros objetivos de calidad, al tiempo que aumentamos, o al menos mantenemos, la eficiencia”.
David Tuset, Ficosa International

Polyspace para respaldar proyectos integrados en varios sectores

Automoción

Garantice estabilidad en la calidad de software de todos los componentes de automóviles a lo largo de la cadena de suministro. Verifique la calidad de software integrado de todos los dominios, como chasis, seguridad pasiva o activa, sistema de propulsión y VE/BMS.

HL Klemove mejora la calidad del código para sistemas avanzados de asistencia al conductor con Polyspace Bug Finder

Aeroespacio y Defensa

Evalúe la fiabilidad del software integrado en satélites, aviones, helicópteros y otros sistemas de defensa, esencial para asegurar el éxito de las misiones.

Leonardo acelera el desarrollo del software de navegación por radar conforme con DO-178C

Dispositivos médicos

Confirme la calidad de software integrado en bombas de infusión, sistemas de terapia implantados, plataformas robóticas y otros dispositivos médicos de vital importancia. Cumpla con los requisitos establecidos por IEC 62304, incluyendo los dispositivos médicos de clases I, II y III.

Miracor elimina errores en tiempo de ejecución y reduce el tiempo de prueba para software de dispositivos médicos de clase III

Semiconductores y comunicación

Verifique la solidez de sistemas críticos para el negocio, y utilice software de alta calidad para reducir la superficie de ataque.

Miele demuestra la ausencia de errores en tiempo de ejecución en el software de control de su línea de productos

Vea más casos prácticos

Línea de productos de Polyspace

Los productos de Polyspace consiguen 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.