Formación en MATLAB y Simulink

Polyspace para la verificación de código C/C++

Vea los horarios e inscríbase

Detalles del curso

Este curso práctico de dos días analiza el uso de Polyspace Bug Finder™ y Polyspace Code Prover™ para probar la exactitud del código, mejorar las métricas de calidad del software y garantizar la integridad del producto. El curso está dirigido a ingenieros que desarrollan software o modelos destinados a sistemas embebidos. Temas incluidos:
 
  • Crear un proyecto de verificación
  • Revisar y comprender los resultados de la verificación
  • Emular entornos de ejecución de objetivos
  • Manejar funciones y datos ausentes
  • Gestionar el código no probado (codificado en color naranja por productos de Polyspace®)
  • Aplicar reglas de MISRA C®
  • Crear informes con los resultados del análisis

Día 1 de 3


Visión general del flujo de trabajo de Polyspace

Objetivo: Familiarícese con Polyspace Bug Finder y Polyspace Code Prover y trabaje en un ejemplo introductorio.

  • Flujos de trabajo de verificación de código
  • Ejecutar un análisis de Bug Finder
  • Ejecutar una verificación de Code Prover
  • Analizar y solucionar problemas de software

Análisis de Polyspace Bug Finder

Objetivo: Analice código que puede no ser compatible con ANSI C, tenga en cuenta el entorno de tiempo de ejecución, y corrija defectos e infracciones de las reglas de codificación mediante Polyspace Bug Finder.

  • Crear un proyecto de Polyspace
  • Artefactos habituales del entorno de tiempo de ejecución
  • Manejar código específico del procesador
  • Definir la información del hardware objetivo
  • Analizar los defectos en Polyspace Bug Finder
  • Analizar las infracciones de las reglas de MISRA C
  • Medir métricas de código
  • Proyectos de plantillas

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
  • Analizar el árbol de llamadas
  • Navegar por el código fuente
  • Interpretar los resultados de Polyspace Code Prover
  • Ver el uso de variables globales en el código fuente

Comprobación de verificación del código

Objetivo: Identifique errores de tiempo de ejecución con los diagnósticos disponibles en Polyspace Code Prover.

  • Visión general de las comprobaciones de código fuente C
  • Comprobar errores de tiempo de ejecución de Polyspace Code Prover
  • Opciones de verificación relevantes

Día 2 de 3


Gestión de verificaciones y resultados de Polyspace Code Prover

Objetivo: Gestione los resultados de verificación que contengan un gran número de comprobaciones no probadas.

  • Flujos de trabajo de verificación de Code Prover
  • Control de la secuencia de ejecución del programa
  • Priorizar las comprobaciones de error de tiempo de ejecución de color naranja

Aumento de la precisión de las verificaciones de Polyspace Code Prover

Objetivo: Aprenda cómo Polyspace Code Prover trata el código ausente durante la verificación y cómo modificar este comportamiento para generar verificaciones más significativas.

  • Verificación de la solidez y verificación contextual
  • Procesamiento con stubs automático
  • Especificación de rango de datos
  • Procesamiento manual con stubs

Análisis de integración con Polyspace Access

Objetivo: Aprenda a gestionar resultados de verificación con una complejidad de código cada vez mayor usando Polyspace Access™. Descubra cómo interpretar y comparar los análisis integrados con análisis robustos.

  • Flujos de trabajo posteriores al envío con Polyspace Access
  • Verificación contextual
  • Detectar defectos de integración y errores de tiempo de ejecución

Análisis de aplicaciones

Objetivo: Revise los procedimientos y las opciones útiles para verificar aplicaciones completas.

  • Problemas en el software de aplicación
  • Análisis de problemas de acceso simultáneo a datos
  • Sustitución de funciones de montaje o hardware
  • Gestión del código de terceros en Polyspace
  • Crear documentación

Día 3 de 3


Instrucción práctica (opcional)

Objetivo: Dedique tiempo a revisar lo aprendido y a aplicar Polyspace directamente en un proyecto propio. Posibles temas incluidos:

  • Comprobaciones en Polyspace Bug Finder
  • Verificación de código C++
  • Análisis de datos compartidos y tareas
  • Verificación del código generado
  • Revisión del proceso de desarrollo
  • Integración del flujo de trabajo
  • Instalación del software cliente-servidor
  • Configuración de Polyspace para código del proyecto
  • Interpretación de resultados

Anexo F: Análisis de integración con Polyspace Desktop

Objetivo: Aprenda a gestionar verificaciones con una complejidad de código cada vez mayor, y a interpretar y comparar los análisis integrados con análisis robustos.

  • Verificación contextual
  • Crear nuevos módulos
  • Detectar defectos de integración y errores de tiempo de ejecución

Nivel: Intermedio

Prerrequisitos:

  • Conocimiento avanzado de C o C++

Duración: 2 días

Idiomas: English, 日本語, 한국어, 中文

Vea los horarios e inscríbase