Polyspace Bug Finder

ACTUALIZACIÓN IMPORTANTE

 

Polyspace Bug Finder

Identificación de errores de software mediante análisis estático

Polyspace Bug Finder™ identifica errores en tiempo de ejecución, problemas de concurrencia, vulnerabilidades de seguridad y otros defectos en software embebido C y C++. A través de análisis estático, incluido el análisis semántico, Polyspace Bug Finder analiza el control del software, el flujo de datos y el comportamiento interprocedural. Al resaltar los defectos en cuanto se detectan, permite clasificar y corregir los errores en una etapa temprana del proceso de desarrollo.

Polyspace Bug Finder comprueba la conformidad con estándares de reglas de codificación como MISRA C®, MISRA C++, JSF++, CERT® C y CERT® C++, así como con convenciones de nomenclatura personalizadas. Genera informes que incluyen los errores encontrados, infracciones de reglas de codificación y métricas de calidad del código, incluida la complejidad ciclomática. Puede usar Polyspace Bug Finder con el IDE de Eclipse™ para verificar el código en su equipo de escritorio.

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

El soporte para estándares del sector está disponible a través de IEC Certification Kit (para ISO 26262 e IEC 61508) y DO Qualification Kit (para DO-178).

Localización temprana de errores durante el desarrollo

Identifique cientos de clases de errores en el momento de escribir o modificar el código.

Localización de la causa raíz de errores complejos

Visualice el código en una vista de depuración con rastreo de eventos, valores de variables y árboles de llamadas.

Cree su propia ruta de navegación.

Rastreo del análisis de código hasta los modelos de Simulink

Ejecute análisis en el código generado y rastree los hallazgos hasta el bloque del modelo de origen.

Rastree los análisis de código hasta el modelo.

Configuración para cualquier entorno en tiempo de ejecución

Integre Polyspace Bug Finder con cualquier compilador, procesador de destino o entorno RTOS.

Establecimiento de opciones de compilador y destino.

Creación de código seguro y protegido

Compruebe la calidad con respecto a los estándares industriales.

Conformidad con reglas de codificación y requisitos de certificación

Implemente MISRA C, MISRA C++, AUTOSAR C++14, JSF++ y reglas personalizadas. Garantice la conformidad con ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304, etc.

Conformidad con estándares de seguridad funcional.

Cumplimiento de requisitos de seguridad

Garantice la conformidad con CERT C/C++, ISO 17961 y MISRA C:2012 Amendment 1.

Configuración de la comprobación de las reglas de codificación.

Supervisión de la calidad del software de su proyecto

Compare los resultados de los análisis con umbrales de calidad para que el equipo de software pueda colaborar y supervisar los hitos del proyecto con más facilidad.

Filtrado de resultados.

Automatización de los análisis de código con Polyspace Bug Finder Server

Lleve a cabo una integración continua mediante la realización de análisis sobre los cambios de código de forma temprana y con frecuencia.

Análisis de compilaciones integradas

Ejecute el motor de análisis estático de Polyspace Bug Finder Server™ en un equipo servidor con herramientas de automatización de compilaciones como Jenkins y Bamboo.

Integración de productos Polyspace en su entorno de integración continua.

Notificación y carga de resultados para la revisión colaborativa

Asigne automáticamente los defectos a los propietarios de los componentes, envíe notificaciones por correo electrónico y cargue los resultados en Polyspace Bug Finder Access para clasificar y resolver los problemas.

Envío de notificaciones por correo electrónico con los resultados de Polyspace Bug Finder.

Revisión colaborativa con Polyspace Bug Finder Access

Comparta los resultados de los análisis y las métricas de calidad con el equipo de desarrollo de software.

Revisión de resultados de análisis para clasificar y resolver problemas

Polyspace Bug Finder Access™ proporciona una interfaz de navegador web para los resultados de los análisis de código estático de Polyspace y las métricas de calidad almacenadas en un repositorio central. Junto con el código, se muestran herramientas de navegación para investigar los resultados de los análisis estáticos.

Ventana de detalles de los resultados.

Supervisión de calidad de proyectos y métricas de calidad de software

Los paneles muestran información que se puede utilizar para supervisar la calidad del software, el estado del proyecto, el número de defectos y las métricas del código.

Panel de visión general del proyecto.

Integración con las herramientas de rastreo de errores existentes

Utilice la interfaz de navegador web para crear y asignar tickets en herramientas de rastreo de errores como Jira.

Creación de tickets.

Funcionalidades más recientes

Soporte de AUTOSAR C++14

Compruebe las infracciones de reglas del estándar de codificación AUTOSAR C++14.

Soporte de estándares de codificación

Implemente estándares en equipos u organizaciones mediante la reutilización de la configuración habitual de comprobación.

Soporte de compiladores

Configure análisis de Polyspace de forma fácil para código compilado con las versiones más recientes de compiladores ARM (v5, v6), GCC (7.x), Clang (4.x) y Microsoft Visual C++ (2017).

Gestión de autorizaciones para proyectos

Cree y aplique políticas de autorización para acceder a los proyectos.

Configuración a partir del sistema de compilación

Genere automáticamente módulos de configuración de Polyspace a partir del sistema de compilación.

Detección automática de primitivas de concurrencia

Detección de modelos multitarea a partir de funciones de multithreading C11.

Consulte las notas de la versión para saber los detalles sobre estas características y las funciones correspondientes.

Consiga una prueba gratuita

30 días de exploración a su alcance.

Descargar ahora

¿Listo para comprar?

Solicitar precio y explore los productos relacionados.

¿Eres estudiante?

Obtenga el software para estudiantes de MATLAB y Simulink.

Más información