Revisión de resultados de Polyspace
Contáctenos para fijar una fechaDetalles del curso
Este curso práctico de un día abarca la interpretación y revisión de los resultados de Polyspace Bug Finder y Polyspace Code Prover en Polyspace Access para eliminar defectos algorítmicos y mejorar las métricas de calidad de software y de integridad de un producto. El curso está dirigido a profesionales de ingeniería que revisan resultados con Polyspace Access y necesitan cambiar de software como consecuencia de tales resultados.
Temas incluidos:
- Revisar y comprender los resultados del análisis
- Gestionar código no probado (resaltado en color naranja por Polyspace Code Prover)
- Gestionar infracciones de reglas de codificación
- Colaborar con colegas de trabajo en la interfaz web
Día 1 de 1
Análisis de Polyspace Bug Finder
Objetivo: Corrija defectos e infracciones de reglas de codificación.
- Visión general del panel Polyspace Access
- Analizar y gestionar defectos de Polyspace Bug Finder
- Revisar infracciones de reglas de codificación
- Revisar métricas de código
Análisis de resultados de Polyspace Code Prover
Objetivo: Obtenga conocimientos avanzados en la interpretación de los resultados de Polyspace Code Prover.
- Visión general de la interpretación abstracta
- Análisis del árbol de llamadas
- Navegación por el código fuente
- Vías de ejecución
- Rangos de variables
- Variables globales
Gestión de resultados de Polyspace Code Prover
Objetivo: Gestione los resultados de verificación que contengan comprobaciones no probadas. Descubra cómo una configuración adecuada puede proporcionar más información sobre el contexto de ejecución.
- Determinar el esfuerzo de la verificación
- Comprobar supuestos
- Revisar una sección de color naranja
- Priorizar y revisar las comprobaciones de color naranja
- Revisar resultados específicos del contexto con restricciones
- Encontrar indicadores de que deben modificarse las opciones de análisis
Integración y análisis de aplicación
Objetivo: Interprete los problemas de integración encontrados por Polyspace Bug Finder y Polyspace Code Prover. Compare la verificación de una sola unidad con la verificación de un componente integrado.
- Comprender el impacto de la integración en la verificación
- Revisar los problemas que surjan después de integrar un componente
- Colaborar con colegas de trabajo en la interfaz web
Nivel: Intermedio
Prerrequisitos:
Se recomienda tener conocimientos sobre C o C++.
Duración: 1 día
Idiomas: English
