ActualizaciónSobrela Encermedad del Coronavirus 2019（Covid-19）

Debido A La CrecientePreocupaciónConeActivo e Al Broty de Covid-19，Vamos A AgregarMásCursos deFormación在线Dirigidos Por Channeres Como Una alternativa Opcial a los cursos presentiales。

Calendario eInscripcción.

先知

Conocimiento Avanzado de C ++

VerificacióndelCódigode Polyspace for C / C ++

Este Cursoprácticode dosdíasanynizael Uso de Polyspace代码^™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
Revisar Y Conterender Los ResultAdos de laVerificación
Emuarar Entornos deEjecucióndeobjetivos
Manejar Funciones Y Datos Aentes
gestionar elcódigono probado（CodificAdo en Naranja Por Productos de Polyspace^®）
Aplicar Reglas de Misra C.^®
Realizar Informes de结果os deAnálisis

Ver Esquema Detallado del Curso

prerrequisitos

Conocimiento Avanzado de C ++

Día1de 3
VisiónVenerDelFlujo de Trabajo de Polyspace	objetivo：MevicesíceseConPolyspace Bug Finder Y PolySpace Code Prover Y Trabaje en En EjemireS介绍了。 Flujos de Trabajo de Desarrollo de Software Con Polyspace Ejemerodeverificación Analizar defectos y errest de tiempo deejecución
Análisisde Polyspace Bug Finder	objetivo：Analicecódigoque es esposible que noEstéescrito conforme a Ansi C Y Tenga en Cuenta El Entorno del Tiempo deEjecución;Corrija Defectos E Inflacciones de Las Normas deCodificaciónMediantePolyspace Bug Finder。 Artefactos Habituales del Entorno del Tiempo deEjecución ManejarElcódigoespectefíficodel Procesador Definir El Contexto deEjecución Definir laInformacióndelwardsdedestino Analizar Y Gestionar Defectos de Polyspace Bug Finder 侦探Inflacciones de Las Reglas deCodificación MedirmétricasdeCódigo
Analizar LeyseAdos de Polyspace代码箴言	objetivo：Adquiera Collectencia Avanzada en LaInterpetacióndeLOSResultAdos de Polyspace代码先驱。 VisiónVentlapertaciónAthrapta AnálisisdelÁrbolde llamadas NavegaciónPorCódigoFenente VíasdeEjecución. rangos de变量变量全球化组织
Comprobacionesdeverificacióndelcódigo	objetivo：Encuentre Errer de Tiempo deEjecuciónMedianteLOSDialsósticosDisponibles en PolySpace代码箴言。 VisiónVentevelascobacionesdecódigofentec Ubicacióndelascrobacionesen elcódigofuente Descripcióndelascombaciones opcionesdeverificación相关

Día2de 3
gestionar verificaciones y结果os de Polyspace代码	objetivo：Trate Los ResultAdos de laVerificaciónque contengan un grannúmerode comulobaciones no probadas。 Compentinar El Esfuerzo delaverificación Realizar UnaRevisiónRápida Realizar UnaRevisiónNaranjaElectiva Configurar laprecisióndeaverificació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óndeLaSolidez YVerificAción上下文 procesamiento de funciones con stubs Especificaciónderangode Datos procesamiento手动con stubs
AnálisisdeOtcentación.	objetivo：APRENDA A GESTIONAR Verificaciones CON UNA COMPLEJIDADDECODIGO CADA VEZ MUZ MUZ MUZ MUZAR Y A PROMETERAR YFORMARTLOSANÁLISISIntegrados ConAnálisisrobustos。 GestionarMódulosdeCódigo Analizar defectos deOttentacióneflaccionesde Reglas Con Polyspace Bug Finder Y PolySpace代码箴言 Importar Comentarios.
análisisde aplicaciones.	objetivo：修改LOS PROCEIMIEDOS Y LAS OPCIONESútilespara verificar aplicacions完成。 Configurar LaVerificacióndeNaAliCACİN Mejorar los结果os delaverificacióndeanaaplicación 探测问题de同步 Formar La Solidez Y LaVerificación上下文 CrearDocumentación.

Día3de 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óndeCódigoC++ Análisisde Datos Compartidos Y Tareas VerificAcióndelCódigoyando Revisióndelcocesode desarrollo Integracióndelflujo de trabajo Instalacióndeloftwarecliente-servidor Configuracióndepolyspacepara elcódigodel proyecto 译文

DescuentoAcadémico

CORTUEBE SI ES典雅Para El Precio Con Descuento Para UsuariosAcadémicos。

Filtra Por.

Tipo de Formato.

7.电子学习配置讲师（虚拟）

成语

Ubicación.

帕兰萨迪多

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

Calendario eInscripcción.

结果1 - 7 de 7

FECHAS.	Ubicación.	成语	precio.
2021年6月24日 2021年6月25日	在线的上午9:00 - 下午5:00 HoraEstándarde	英语	1.500美元
2021年6月24日 2021年6月25日	在线的上午9:00 - 下午5:00 HoraEstándarde Europa Central	英语	1.500美元
07 9月2021年 08年9月2021年	在线的上午9:00 - 下午5:00 HoraEstándardapón	日本人	1.500美元
05年10月2021-- 06年10月2021日	在线的上午9:00 - 下午5:00 HoraEstándarde Europa Central	英语	1.500美元
2021年10月20日 2021年10月21日	在线的上午9:00 - 下午5:00 Horario de Verano delPacíficode los Ee。uu。	英语	1.500美元
04 11月2021-- 05年11月2021日	在线的上午9:00 - 下午5:00 HoraEstándardeCorea	韩国人	1.500美元
20月25日 - 11月26日2021年	在线的上午9:00 - 下午5:00 HoraEstándarde	中国人	1.500美元

结果1 - 7 de 7

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.políticasdeformación.De Mathworks Para ObenerMásfinjecación。