Polyspace para la verificación de código C/ c++

Día 1 de 3

---

Visión general del flujo de trabajo de Polyspace

Objetivo:Familiarícese con Polyspace Bug Finder y Polyspace Code prove y Polyspace代码验证器

• verificación de código
• 弹出程序análisis de Bug Finder
• ejutar una verificación de代码证明程序
• 分析解决软件问题

Análisis de Polyspace Bug Finder

Objetivo:Analice脏污,您没有ser兼容con ANSI C,一位en el entorno东西德tiempo de ejecucion y corrija defectos e infracciones de las reglas de codificacion mediante Polyspace错误发现者。

• 在Polyspace中创建一个项目
• 手工制品习惯，手工制品习惯，手工制品习惯，手工制品习惯ejecución
• Manejar código específico del processor
• 定义la información del硬件目标
• 类似的丢失缺陷在Polyspace Bug Finder
• 类似的las infracciones de las reglas de MISRA C
• Medir msamtricas de código
• 植物项目

Análisis de resultados de Polyspace代码证明

Objetivo:多空间代码证明程序。

• Visión general de la interpretación abstracta
• Analizar el árbol de lamadas
• Navegar por el código fuente
• 解释器的结果多空间代码证明
• 所有的变量都是全局变量，例如código fuente

Comprobación de verificación del código

Objetivo:在Polyspace代码证明程序中识别时间上的错误ejecución控制diagnósticos。

• Visión general de las comprobaciones de código fuente C
• 编译时间错误ejecución编译多空间代码证明程序
• Opciones de verificación relevant

Día 2 de 3

---

Gestión de verificaciones y resultados de Polyspace代码证明程序

Objetivo:Gestione los resultados de verificación que contengan un gran número de comprobaciones no probadas。

• Flujos de trabajo de verificación de代码证明程序
• Control de la secuencia de ejecución del program
• 优先级为comprobaciones de error de timempo de ejecución de color naranja

Aumento de la precisión de las verificaciones de Polyspace代码证明程序

Objetivo:Aprenda cómo多空间代码证明器trata el código ausente durante la verificación y cómo修改后的组合对一般验证más显著。

• Verificación de la solidez y verificación上下文
• 处理文件存根automático
• Especificación de rango de datos
• 处理到手动控制存根

Análisis de integración con Polyspace Access

Objetivo:参考文献1 .调查结果:verificación con una complejidad de código cada vez mayor usando Polyspace Access™。Descubra cómo解释性比较los análisis integros con análisis robustos。

• Flujos de trabajo posteriores al envío con Polyspace Access
• Verificacion上下文
• 检测缺陷(integración)和错误(ejecución)

Análisis de applicaciones

Objetivo:通过以下选项修改操作程序útiles para验证应用程序是否完成。

• 问题出现在aplicación软件上
• Análisis de problemas de access simultáneo a datos
• Sustitución de funcciones de montaje o硬件
• Gestión del código de terceros en Polyspace
• Crear documentacion

Día 3 de 3

---

Instrucción práctica(可选)

Objetivo:Dedique time可以通过应用Polyspace的方法在项目中进行修改。可能的情况包括:

• Comprobaciones en Polyspace Bug Finder
• Verificación de código c++
• Análisis de datos comppartidos 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 - server
• Configuración de Polyspace para código del project
• Interpretación de resultados

Anexo F: Análisis de integración con Polyspace Desktop

Objetivo:Aprenda一gestionar verificaciones初步complejidad de脏污每一旦市长,y interpretar y comparar洛杉矶分析integrados欺诈分析robustos。

• Verificacion上下文
• 创造新事物módulos
• 检测缺陷(integración)和错误(ejecución)