Polyspace para la verificación de código C/ c++
Vea los horarios e inscríbase细节del curso
Este curso práctico de dos días analiza el uso de Polyspace Code Prover™para probar la actitud del código, mejorar las métricas de calidad del software y garantizar la integrada del product。El curso está destinado a ingenieros que desarrollan software o modelos destinados a sistemas embidos。滕加在一起,在一起,在一起día不负责任的个人,在一起,在formación前。
特马incluidos:
- Crear un proyecto de verificación
- 修正的结果是verificación
- 乳状内角鼻ejecución de destino
- Manejar funciones y datos ausentes
- Gestionar el código no probado (codificado en color naranja por productos de Polyspace®)
- applicar reglas de MISRA C®
- Crear通知结果análisis
Día 1 de 3
Visión del flujo de trabajo de Polyspace将军
Objetivo:Familiarícese con Polyspace Bug Finder y Polyspace Code prove y trabaje en ejemplo介绍。
- Flujos de trabajo de desarrollo de Polyspace软件
- Ejemplo de verificación简单
- 分析缺陷和错误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 defect tos e infracciones de las reglas de codificación mediante Polyspace Bug Finder。
- 自带的手工制品ejecución
- Manejar código específico del procesador
- 定义el contextto de ejecución
- 定义la información del硬件de destino
- Polyspace Bug Finder的缺陷分析
- 检测器检测器的下体,las reglas de codificación
- Medir métricas de código
Análisis de resultados de Polyspace代码证明程序
Objetivo:Obtenga conocimientos avzados en la interpretación de los resultados de Polyspace Code Prover。
- Visión德拉将军interpretación文摘
- Análisis del árbol de llamadas
- Navegación por el código fuente
- Vías de ejecución
- 变量Rangos de variables
- 全局变量
Comprobación de verificación del código
Objetivo:识别错误ejecución con los diagnósticos disponibles en Polyspace代码证明程序。
- 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相关度
Día 2德3
Gestión de verificaciones y resultados de Polyspace代码证明程序
Objetivo:我的结果是verificación我的未来是我的未来número我的未来是我的未来。
- 确定性el esfuerzo de la verificación
- 实现una revisión rápida
- 修改una sección de color naranja
- configuration la precisión de la verificación
- 我是有色人种
- 再来看看彩色的naranja
Aumento de la precisión de las verificaciones de Polyspace Code Prover
Objetivo:我的结果是verificación我的未来是我的未来número我的未来是我的未来。
- 确定性el esfuerzo de la verificación
- 实现una revisión rápida
- 修改una sección de color naranja
- configuration la precisión de la verificación
- 我是有色人种
- 再来看看彩色的naranja
Análisis de integración
Objetivo:阿连达一个gestionar verificaciones con una complejidad de código cada vez mayor, y一个解释y比较los análisis integrados con análisis robustos。
- Gestionar módulos de código
- 分析缺陷integración e infracciones de reglas con Polyspace Bug Finder y Polyspace代码证明程序
- Importar comentarios
Análisis de aplicaciones
Objetivo:修改诉讼程序和诉讼程序útiles完全符合要求。
- Configurar la verificación de una aplicación
- Mejorar los resultados de la verificación de una aplicación
- 同时发现问题
- 比较la solidez和la verificación上下文
- Crear documentacion
Día 3德3
Instrucción práctica(可选)
Objetivo:我的天啊,我的天啊,我的天啊,我的天啊,我的多空间,我的天啊,我的天啊。可能temas incluidos:
- Comprobaciones en Polyspace Bug Finder
- Verificación de código c++
- Análisis ddatos 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 client -servidor
- Configuración de Polyspace para código del proyecto
- Interpretación de resultados
胆固醇:Intermedio
Prerrequisitos:
- Conocimiento avanzado de c++
Duracion:2迪亚斯
语言:英语,日本語,한국어,中文