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

Este curso práctico de dos días analiza el uso de 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á destinado a ingenieros que desarrollan software o modelos destinados a sistemas embebidos. Tenga en cuenta que hay un tercer día disponible opcional solo para la formación presencial. Temas incluidos:

Crear un proyecto de verificación
Revisar y comprender los resultados de la verificación
Emular entornos de ejecución de destino
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

Ver esquema detallado del curso

Prerrequisitos

Conocimiento avanzado de C o C++

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 desarrollo de software con Polyspace Ejemplo de verificación simple Analizar defectos y errores de tiempo de ejecución
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. Artefactos habituales del entorno de tiempo de ejecución Manejar código específico del procesador Definir el contexto de ejecución Definir la información del hardware de destino Analizar y gestionar defectos de Polyspace Bug Finder Detectar infracciones de las reglas de codificación Medir 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
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 Ubicación de las comprobaciones en el código fuente Descripción de las comprobaciones 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. Determinar el esfuerzo de la verificación Realizar una revisión rápida Revisar una sección de color naranja Configurar la precisión de la verificación Priorizar las comprobaciones de color naranja Revisar las comprobaciones 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 de funciones con stubs Especificación de rango de datos Procesamiento manual con stubs
Análisis de integración	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. Gestionar módulos de código Analizar defectos de integración e infracciones de reglas con Polyspace Bug Finder y Polyspace Code Prover Importar comentarios
Análisis de aplicaciones	Objetivo: Revise los procedimientos y las opciones útiles para verificar aplicaciones completas. Configurar la verificación de una aplicación Mejorar los resultados de la verificación de una aplicación Detectar problemas de simultaneidad Comparar la solidez y la verificación contextual 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

Garantizado

Cuando se inscriba en alguno de estos cursos, tendrá la seguridad de que no serán cancelados ni se cambiarán las fechas por ningún motivo.

Calendario de cursos

Resultados 1 - 12 de 12

Fechas	Ubicación	Idioma	Precio
26 may 2022 - 27 may 2022	Virtual 9:00 am - 5:00 pm Hora estándar de Corea	Coreano	USD 1,500
14 jun 2022 - 15 jun 2022	Virtual 9:00 am - 5:00 pm Horario de verano de Europa central	Inglés	USD 1,500
21 jun 2022 - 22 jun 2022	Virtual 9:00 am - 5:00 pm Hora estándar de China	Chino	USD 1,500
23 jun 2022 - 24 jun 2022	Virtual 9:00 am - 5:00 pm Hora Estándar de India	Inglés	USD 1,500
25 ago 2022 - 26 ago 2022	Virtual 9:00 am - 5:00 pm Hora estándar de Japón	Japonés	USD 1,500
06 sep 2022 - 07 sep 2022	Virtual 9:00 am - 5:00 pm Hora estándar de China	Chino	USD 1,500
06 sep 2022 - 07 sep 2022	Virtual 9:00 am - 5:00 pm Horario de verano de Europa central	Inglés	USD 1,500
22 sep 2022 - 23 sep 2022	Virtual 9:00 am - 5:00 pm Horario de verano del Pacífico de los EE. UU.	Inglés	USD 1,500
03 nov 2022 - 04 nov 2022	Virtual 9:00 am - 5:00 pm Hora estándar de Corea	Coreano	USD 1,500
29 nov 2022 - 30 nov 2022	Virtual 9:00 am - 5:00 pm Hora de Europa Central	Inglés	USD 1,500
13 dic 2022 - 14 dic 2022	Virtual 9:00 am - 5:00 pm Hora estándar de China	Chino	USD 1,500
15 dic 2022 - 16 dic 2022	Virtual 9:00 am - 5:00 pm Hora estándar de Japón	Japonés	USD 1,500

Resultados 1 - 12 de 12

El precio corresponde a la adquisición y al uso en Estados Unidos. Para conocer el precio en otras regiones, póngase en contacto con el departamento de ventas. El precio del producto no incluye impuestos sobre ventas, uso, consumo, valor añadido ni de otro tipo. Todos los impuestos, derechos, gravámenes, tasas y cánones legales que sean de aplicación en relación con esta compra se incluirán en el pedido. Consulte las políticas de formación para obtener más detalles.