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^™对código来说是正确的，对产品来说是完整的。El curso está destinado a ingenieros que desarrollan software o modelos destinados a sistemas embidos。我要去看她día可选独奏段formación出席。特马incluidos:

把你的名字写在verificación上
重新理解verificación的结果
我们希望你能说出ejecución的话
它的功能是相同的
Gestionar el código no probado (codificado en naranja por productos de Polyspace)^®）
适用于MISRA C^®
Realizar通知aná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简介 Polyspace公司的软件 Ejemplo de verificació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ón por el código fuente 通过de ejecucion Rangos de变量全局变量
Comprobaciones de verificación del código	Objetivo:在Polyspace代码验证程序中遇到ejecución mediante los diagnósticos disponibles的时间错误。 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 relevance

Día 2 de 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 我的首要任务是学习下次再见吧
Aumentar la precisión 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 modify este portamito para verificaciones más significant。 Verificación de la solidez y verificación上下文相关职能人欺骗存根 Especificación de rango de datos Procesamiento手工诈骗存根
分析德integracion	Objetivo:我们需要一个完整的验证código，我们需要一个解释来比较análisis integrados con análisis robustos。 Gestionar módulos de código 在Polyspace Bug Finder和Polyspace Code Prover中分析integración e infracciones de reglas的缺陷 Importar comentarios
分析德aplicaciones	Objetivo:修订操作规程útiles，并对完整的应用程序进行验证。配置la verificación de una aplicación Mejorar los resultados de la verificación de una aplicación 同时发现问题比较一下la solidez y la verificación的背景 Crear documentacion

Día 3 de 3
Instruccion practica (opcional)	Objetivo:我们可以在此基础上对Polyspace directamente和proecto propio进行修订。最低特马incluidos: Comprobaciones de Polyspace Bug Finder Verificación de código c++ Análisis de datos compartidos y tarea Verificación del código generado Revisión del proceso de desarrollo Integración del flujo de trabajo Instalación del software client -servidor Configuración de Polyspace para el código del proyecto Interpretacion de resultados

Descuento academico

如有必要，请向我们的客户académicos。

Filtrar运动

蒂波德formato

2领导班级虚拟

语言

Ubicacion

Garantizado

我们可以在网站上写下我们的想法，tendrá la seguridad de que no serán cancelados ni se cambiarán las fechas por ningún motivo。

Calendario de cursos

结果是1 - 2de 2

Nueva Zelanda

Borrar filtros

Fechas	Ubicacion	语言	Precio	Inscripcion
2021年11月04 - 2021年11月05	虚拟上午9:00 -下午5:00 Hora estándar de Corea Inscríbase hoy: solo queda(n) 5 plaza(s)	Coreano	1500美元
2021年11月25日, 2021年11月26日	虚拟上午9:00 -下午5:00 Hora estándar de China	斜纹棉布裤	1500美元

结果是1 - 2de 2

这些信息与adquisición和其他国家的信息一致，在其他地区的信息一致，Póngase联系所有部门．产品的价值不包括庄重的外表，朴素的外表，消费的外表，勇敢的外表。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 peddo。Consulte拉斯维加斯政治de formacion详情请见más。