Polyspace Bug Finder

Identifique bugs de software mediante análisis estático

Polyspace Bug Finder identifica errores en tiempo de ejecución, problemas de simultaneidad, vulnerabilidades de seguridad y otros defectos en software integrado C y C++. A través del análisis estático, incluido el análisis semántico, Polyspace Bug Finder analiza el flujo de control de software y datos, y el comportamiento interprocedimental. Permite clasificar y corregir errores en una etapa temprana del proceso de desarrollo, ya que resalta los defectos en cuanto se detectan.

Polyspace Bug Finder comprueba la conformidad con estándares de reglas de codificación tales como MISRA C^®, MISRA C++, AUTOSAR C++14, CERT^® C y CERT C++, y con convenciones de nomenclatura personalizadas. Genera informes que incluyen bugs de software, infracciones de reglas de codificación y métricas de calidad del código, incluida la complejidad ciclomática.

En el caso del código generado automáticamente, los resultados de Polyspace se pueden trazar hasta los modelos de Simulink y los bloques de dSPACE^® TargetLink^®.

El soporte para estándares de la industria está disponible a través de IEC Certification Kit (for ISO 26262 and IEC 61508) y DO Qualification Kit (for DO-178).

Introducción a Polyspace Bug Finder

Identificación de bugs y vulnerabilidades de software

Identifique varias categorías diferentes de bugs, tales como vulnerabilidades de seguridad, simultaneidad y defectos numéricos. Configure el análisis para cualquier compilador, procesador de destino o entorno RTOS.

Documentación

Conformidad con estándares de codificación

Aplique estándares de codificación de software integrados tales como MISRA C y MISRA C++, AUTOSAR C++14, JSF++ y convenciones de nomenclatura personalizadas.

Documentación

Aplicación que cumple con los requisitos de seguridad.

Pruebas estáticas de la seguridad de aplicaciones

Garantice la seguridad del código detectando vulnerabilidades y problemas de seguridad. Cumpla con estándares y directrices de codificación de seguridad tales como CERT C/C++, CWE, ISO 17961, and MISRA C:2012 Amendment 1.

Documentación

Soporte para certificación

Cree los artefactos necesarios para completar el proceso de certificación de conformidad con estándares de protección y seguridad de la industria tales como IEC 61508, ISO 26262, ISO/SAE 21434 o DO-178C hasta los máximos niveles de protección o seguridad funcional.

Documentación

Seguimiento de código desde el origen hasta Simulink o Stateflow.

Integración de Simulink y Stateflow

Analice el código generado y sigua los resultados desde el código fuente hasta el bloque de modelo de Simulink o el gráfico de Stateflow correspondiente. Inicie el análisis de Polyspace desde el entorno de Simulink.

Documentación

Gráfico de métricas de código y tendencias de calidad.

Supervisión de la calidad del software

Genere métricas de código para medir y mejorar la calidad del código fuente. Compare los resultados del análisis con umbrales de calidad.

Documentación

Uso de Polyspace Bug Finder en un equipo de escritorio.

Análisis interactivo en equipos de escritorio

Ejecute análisis y revise los resultados en equipos de escritorio. Identifique las causas raíz de bugs complejos con una vista de depuración, seguimiento de eventos y gráficos de llamadas. Solucione problemas y genere informes.

Documentación

Recursos del producto:

Documentación Vídeos Requisitos Notas de la versión

Volvo Cars Software Factory Increases Pace and Quality of Development with Polyspace

“Polyspace garantiza 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

Vea más casos prácticos

Línea de productos Polyspace

Los productos Polyspace consiguen que el código crítico sea seguro y esté protegido probando y supervisando la calidad del software a lo largo del ciclo de desarrollo.