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

Debido a la creciente preocupación con关于COVID-19的报告，请参见más cursos de formación online dirigidos por instructes como a alternative alternative a los cursos presciales。

Calendario eInscripcción.

先知

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 delCódigo，MejorarLasmétricasde Calidad Del Software Y Garantizar La Integinidad del Producto。El CursoEstádestinadoA Ingenieros Que Desarrollan Software O Modelos Destinados塞立默奴隶馆。Tenga en Cuenta que hay un tercerdíaundonible opcional solo para laformaciónmancial。Temas包含：

Crear Un Proyectodeverificación
重新理解verificación的结果
我们希望你能说出ejecución的话
Manejar Funciones Y Datos Aentes
Gestionar el código no probado (codificado en naranja por productos de Polyspace)^®）
适用于MISRA C^®
Realizar Informes de结果os deAnálisis

你要走你想走的路

prerrequisitos

c++语言

Día 1 de 3
Visión del flujo de trabajo de Polyspace将军	objetivo：Familiarícese con Polyspace Bug Finder y Polyspace Code Prover y trabaje en un ejemplo简介 Flujos de Trabajo de Desarrollo de Software Con Polyspace Ejemerodeverificación 分析缺陷和错误的时间ejecución
Análisis de Polyspace Bug查找器	objetivo：Analice código是否可以不esté escrito符合ANSI C y tenga en cuenta el entorno del时间empo ejecución;corrija defect e infracciones de las normas de codificación mediante Polyspace Bug Finder。人工制品习惯在ejecución的时间内被保存 Manejar el código específico del procesador 定义ejecución的上下文定义información硬件的命运分析手势缺陷的Polyspace Bug Finder 违章探测器codificación Medir métricas de código
Polyspace代码验证器的结果分析	objetivo：申请资格在interpretación的Polyspace代码验证程序中生效。 Visión general de la interpretación abstracta Análisis del árbol de llamadas NavegaciónPorCódigoFenente 通过de ejecucion rangos de变量全局变量
Comprobacionesdeverificacióndelcódigo	objetivo：在Polyspace代码验证程序中遇到ejecución mediante los diagnósticos disponibles的时间错误。 VisiónVentevelascobacionesdecódigofentec Ubicacióndelascrobacionesen elcódigofuente Descripcióndelascombaciones opcionesdeverificación相关

Día2de 3
对Polyspace代码验证器的结果进行验证	objetivo：我们的结果是verificación，我们的结果是número，我们的结果是否定的。 Determinar el esfuerzo de la verificación 实现una revisión rápida 实现revisión naranja selectiva 配置precisión de la verificación Priatizar Las Compaciones Naranjas Revisar Las Comprobaciones Naranjas
alumentar laprecisióndelasverificacionesde Polyspace代码箴言	objetivo：APRENDACómo波尔多普斯码Prover Trata ElCódigo·奥森特·杜兰特拉维奇卡翁óyCómomodififar ese comportamiento para vironar verificacionesmás的意义。 Verificación de la solidez y verificación上下文相关 procesamiento de funciones con stubs Especificación de rango de datos Procesamiento手工诈骗存根
分析德integracion	objetivo：APRENDA A GESTIONAR Verificaciones CON UNA COMPLEJIDADDECODIGO CADA VEZ MUZ MUZ MUZ MUZAR Y A PROMETERAR YFORMARTLOSANÁLISISIntegrados ConAnálisisrobustos。 Gestionar módulos de código 在Polyspace Bug Finder和Polyspace Code Prover中分析integración e infracciones de reglas的缺陷 Importar Comentarios.
分析德aplicaciones	objetivo：修改LOS PROCEIMIEDOS Y LAS OPCIONESútilespara verificar aplicacions完成。配置la verificación de una aplicación Mejorar los结果os delaverificacióndeanaaplicación 探测问题de同步 Formar La Solidez Y LaVerificación上下文 CrearDocumentación.

Día 3 de 3
Instucción普拉基（Opcial）	objetivo：Dedique Tiempo A Revisar Lo Aprendido y A Aplicar PolySpace Directamente en Un Proyecto Propio。Posibles Temas包含： Comprobaciones de Polyspace Bug Finder Verificación de código c++ Análisisde Datos Compartidos Y Tareas Verificación del código generado Revisióndelcocesode desarrollo Integración del flujo de trabajo Instalación del software client -servidor Configuración de Polyspace para el código del proyecto 译文

DescuentoAcadémico

我们应该把这些信息发送到académicos。

滤纸的格式

5网上骗老师

精炼的语言

Filtra PorUbicación.

帕兰萨迪多

Cuando se注册了一个Uno de Estos Cursos Puede Confiar en El Hecho de que没有SeránCompendoS。

Calendario eInscripcción.

结果1 - 5 de 5

FECHAS.	Ubicación.	语言	precio.
25前2020- 26年前2020	在线的 9:00 a。m。- 5:00 p。m。HoraEstándarde中国	中国人	1.500美元
08 10月20日 - 09年10月20日	在线的上午9点 - 下午5:00。中欧标准时间	法国	1.500美元
2020年10月21日- 2020年10月22日	在线的 9:00 a。m。- 5:00 p。m。Horario de Verano delPacíficode los Ee。uu。	英语	1.500美元
2020年11月05 - 2020年11月06	在线的早上9点-下午5点Hora estándar de Corea	韩国人	1.500美元
2020年11月24日, 2020年11月25日	在线的 9:00 a。m。- 5:00 p。m。HoraEstándarde Europa Central	英语	1.500美元

结果1 - 5 de 5

El Precio Confteadte A LaAdquisiciónYELUSENEstados Unidos，Para Conocer El Precio en otras Regiones，Póngaseen相关联Confentro Departamento de Ventas．El Precio del Producto没有包含的Impuestos。Cualquier Impuesto，Derecho，Gravamen，Tasa O Carga Gubernamental Cuyo Pago Sea可享受可享受的enRelaciónConestaComperaCantuiráNELPETA。咨询Las.政治de formacionDe Mathworks Para ObenerMásfinjecación。