Polyspace Bug Finder

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

Más información:

Identificación de bugs en la fase inicial de desarrollo de software

Identifique cientos de clases de bugs a medida que desarrolla o modifica el código.

Identificación de la causa raíz de bugs complejos

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

Cree su propia ruta de navegación.

Identificación de bugs dentro de IDE durante el desarrollo de código

Identifique bugs a medida que desarrolla o modifica el código con la extensión Polyspace as You Code dentro de un IDE, como Visual Studio®, Visual Studio Code o Eclipse.

Uso de Polyspace mientras desarrolla código en Visual Studio.

Análisis de seguimiento del código hasta un modelo de Simulink

Analice el código generado y realice el seguimiento de los resultados hasta el bloque de modelo de origen.

Análisis de seguimiento del 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 destino y compilador.

Desarrollo de código seguro y protegido

Compruebe la calidad con respecto a los estándares de la industria.

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.

Estándares de seguridad funcional soportados.

Cumplimiento de requisitos de seguridad

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

Configuración de comprobaciones de reglas de codificación.

Supervisión de la calidad del software de su proyecto

Compare los resultados del análisis con los umbrales de calidad establecidos para facilitar la supervisión de objetivos de proyecto y la colaboración entre los miembros de su equipo de desarrollo de software.

Filtrado de resultados.

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

Facilite la integración continua mediante el análisis de los cambios de código de forma temprana y frecuente.

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 compilación como Jenkins y Bamboo.

Integración de productos Polyspace en un 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 email y cargue los resultados en Polyspace Bug Finder Access™ para clasificar y resolver los problemas.

Envío de notificaciones por email con los resultados de Polyspace Bug Finder.

Ejecución en plataformas en la nube públicas

Aumente la carga computacional utilizando hardware especializado en la nube. MathWorks® ofrece arquitecturas de referencia que aprovisionan despliegues de Polyspace Server en plataformas en la nube como AWS® y Azure®.

Utilice Polyspace en la nube.

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 acceder a los resultados de análisis de código estático de Polyspace y 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 resultados.

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

Los paneles muestran información 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 herramientas de seguimiento de bugs existentes

Utilice el navegador web para crear y asignar tickets en herramientas de seguimiento de bugs, como Jira.

Creación de tickets.


Más información sobre los productos Polyspace