Polyspace para la verificación de código C/ c++
curso细节
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软件o modelos destinados a sistemas embidos。Tenga en cuenta que hay un tercer día disponible optional solo para la formación presencial。
特马incluidos:
- Crear un proyecto de verificación
- 对国家结果的反思verificación
- Emular entornos de ejecución de desino
- 很高兴见到你
- Gestionar el código no probado (codificado en color naranja por productos de Polyspace®）
- MISRA的葡萄树C®
- Crear通知con los resulttos del 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 Prover y trabaje en ejemplo介绍。
- Flujos de trabajo de desarrollo de software con Polyspace
- Ejemplo de verificación简单
- Analizar缺陷和错误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 timempo de ejecución, y corrija defect e infracciones de las reglas de codificación mediante Polyspace Bug Finder。
- 手工艺品，习惯，进入，时间，ejecución
- Manejar código específico del procador
- Definir el contexto de ejecución
- Definir la información del hardware de destino
- 分析和gestionar缺陷Polyspace Bug Finder
- 检波器codificación
- Medir métricas de código
Análisis de resultados de Polyspace Code Prover
Objetivo:Obtenga conocimientos avanzados en la interpretación de los resultados de Polyspace代码证明程序。
- Visión将军德拉interpretación摘要
- Análisis del árbol de llamadas
- Navegación por el código fuente
- Vías de ejecución
- 兰戈斯变量
- 全局变量
Comprobación de verificación del código
Objetivo:识别错误de tiempo de ejecución con los diagnósticos disponibles en Polyspace Code Prover。
- Visión general de las comprobaciones de código fuente C .
- Ubicación de las compprobaciones en el código fuente
- Descripción de las comprobaciones
- Opciones de verificación相关度
Día 2 de 3
Gestión de verificaciones y resultados 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
- 配置la precisión de la verificación
- 纳兰加的颜色优先
- 重温那兰加的颜色
Aumento de la precisión de las verificaciones de Polyspace代码证明程序
Objetivo:有一个结果verificación有一个问题número没有问题。
- 确定性el esfuerzo de la verificación
- 实现una revisión rápida
- 重温una sección de color naranja
- 配置la precisión de la verificación
- 纳兰加的颜色优先
- 重温那兰加的颜色
Análisis de integración
Objetivo:附录一个gestionar verificaciones con complejidad de código cada vez mayor, y一个解释比较los análisis integrgrados con análisis robustos。
- Gestionar módulos de código
- Analizar缺陷de integración e infracciones de reglas con Polyspace Bug Finder y Polyspace Code Prover
- 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 de 3
Instrucción práctica(可选)
Objetivo:这是一段时间，一段时间的回顾，一段时间的回顾，一段时间的回顾，一段时间的回顾。可能时态temas incluidos:
- Comprobaciones en Polyspace Bug Finder
- Verificación de código c++
- Análisis同志资料
- Verificación del código generado
- Revisión del proceso de desarrollo
- Integración delflujo de trabajo
- Instalación del software client -servidor
- Configuración de Polyspace para código del proyecto
- Interpretación de resultados
您也可以从以下列表中选择一个网站: