Productos de Polyspace

 

Polyspace

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

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.

“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.

“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.

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.

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.

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.

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.

Polyspace Access

Identifique errores de codificación, revise resultados de análisis estático y supervise métricas de calidad de software.

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 bugs.

Polyspace Test

Desarrolle, gestione y ejecute pruebas de código C y C++ en sistemas integrados.

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.