Polyspace Code Prover

 

Polyspace Code Prover

Demostración de la ausencia de errores en tiempo de ejecución en el software

Más información:

Verificación de código mediante matemáticas formales

Alcance niveles altos de calidad y seguridad sin falsos negativos.

Demostración de la ausencia de errores en tiempo de ejecución críticos

Identifique las operaciones del código C/C++ y Ada que nunca presentarán un error en tiempo de ejecución, independientemente de las condiciones.

Detección de errores en tiempo de ejecución.

Detección de errores que eluden otros métodos de comprobación

Analice todas las rutas de código con respecto a todas las posibles entradas sin necesidad de ejecutar código.

Jerarquía de llamadas.

Creación de artefactos de certificación

Complete el proceso de certificación en el caso de objetos basados en estándares del sector.

DO Qualification Kit.

Comprensión y mejora del código

Reduzca el tiempo dedicado a revisiones, depuración y pruebas de solidez del código.

Comprensión de la causa raíz de los problemas y mejora del diseño

Examine el flujo de control y de datos a través del software y vea información de rango asociada con variables y operadores.

Descripción emergente que muestra los posibles rangos de todas las condiciones en tiempo de ejecución.

Elusión del comportamiento de software imprevisto

Localice todas las secciones de código a las que no se puede acceder a través de ninguna ruta de ejecución y los errores en la lógica y la estructura del programa.

Localización de código no ejecutable.

Rastreo de resultados de verificación de código en modelos de Simulink

Ejecute la verificación en el código generado y rastree los hallazgos hasta el bloque de modelo de origen en Simulink.

Rastreo de resultados de verificación de código hasta el modelo de Simulink.

Automatización de la verificación de código con Polyspace Code Prover 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.

Automatización del proceso de verificación de código

Use Polyspace Code Prover Server™ para ejecutar el motor de análisis estático de Polyspace Code Prover en un equipo servidor con herramientas de automatización de compilaciones como Jenkins y Bamboo.

Automatización del proceso de verificación de código.

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 Code Prover para clasificar y resolver los problemas.

Envío de notificaciones por correo electrónico con los resultados de Polyspace Code Prover.

Revisión colaborativa con Polyspace Code Prover Access

Comparta los resultados de verificación y las métricas de calidad con los equipos de desarrollo de software.

Revisión de resultados de Polyspace Code Prover para clasificar y resolver problemas

Polyspace Code Prover Access™ proporciona una interfaz de navegador web para los resultados de verificación de código y las métricas de calidad de Polyspace almacenados en un repositorio central. Utilice las herramientas de navegación del navegador web para investigar los resultados de la verificación de código, que se muestran junto con este.

Detección de errores en tiempo de ejecución.

Objetivos de calidad de proyectos y 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, las métricas del código y los objetivos de calidad del software.

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 un ticket.


Más información sobre los productos Polyspace