Actualización sobre la enfermedad del coronavirus 2019 (COVID-19)

所对应la creciente preocupacion respecto监狱brote de COVID-19, vamos a agregar más cursos de formación online dirigidos por instructores como una alternativa opcional a los cursos presenciales.

Calendario e inscripción

Pre-requisitos

Conocimiento avanzado de C o C++

Verificación del código de Polyspace for 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 objetivos
Manejar funciones y datos ausentes
Gestionar el código no probado (codificado en naranja por productos de Polyspace^®)
Aplicar reglas de MISRA C^®
Realizar informes de resultados de 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 es posible que no esté escrito conforme a ANSI C y tenga en cuenta el entorno del tiempo de ejecución; corrija defectos e infracciones de las normas de codificación mediante Polyspace Bug Finder. Artefactos habituales del entorno del tiempo de ejecución Manejar el 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
Analizar resultados de Polyspace Code Prover	Objetivo:Adquiera competencia avanzada 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
Comprobaciones de verificación del código	Objetivo:Encuentre errores de tiempo de ejecución mediante 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
Gestionar verificaciones y resultados de Polyspace Code Prover	Objetivo:Trate los resultados de la 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 Realizar una revisión naranja selectiva Configurar la precisión de la verificación Priorizar las comprobaciones naranjas Revisar las comprobaciones naranjas
Aumentar 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 de 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 Configuracion de Polyspace para el código del proyecto Interpretación de resultados

Descuento académico

Compruebe si es elegible para el precio con descuento para usuarios académicos.

Filtrar por

Tipo de formato

5e-Learning con instructor (virtual)

Idioma

Ubicación

Garantizado

Cuando se registre a uno de estos cursos puede confiar en el hecho de que no serán cancelados.

Calendario e inscripción

Resultados 1 - 5 de 5

Fechas	Ubicación	Idioma	Precio
09 mar 2021- 10 mar 2021	Online 9:00 am - 5:00 pm Hora estándar de Europa central	English	USD 1.500
06 abr 2021- 07 abr 2021	Online 9:00 am - 5:00 pm Horario de verano del Este de los EE. UU.	English	USD 1.500
22 abr 2021- 23 abr 2021	Online 9:00 am - 5:00 pm Hora estándar de China	Chinese	USD 1.500
20 may 2021- 21 may 2021	Online 9:00 am - 5:00 pm Hora estándar de Corea	Korean	USD 1.500
24 jun 2021- 25 jun 2021	Online 9:00 am - 5:00 pm Hora Estándar de India	English	USD 1.500

Resultados 1 - 5 de 5

El precio corresponde a la adquisición y el uso en Estados Unidos, Para conocer el precio en otras regiones,póngase en contacto con nuestro departamento de ventas. El precio del producto no incluye impuestos. Cualquier impuesto, derecho, gravamen, tasa o carga gubernamental cuyo pago sea aplicable en relación con esta compra se incluirá en el pedido. Consulte lasPolíticas de formaciónde MathWorks para obtener más información.