curso细节

Este curso de un día se centra en el uso de 金宝appSimulink Design Verifier™para garantizar que un diseño no tenga可能的错误de diseño, se pruebe用尽tivamente y cumpla los requisitos必要。

特马incluidos:

  • 检测depurar错误diseño frecuentes
  • 我的爱人
  • 完整的cobertura ausente mediante la generación automática de pruebas
  • 希望在行为上达成一致verificación必须达成一致
  • 一个完整的模型,para análisis效率

Día 1 de 1


compprender el flujo de trabajo de verificación

Objetivo:修订《行为行为学大纲》generación automática《行为行为学大纲》。

  • Comprender los tipos de cobertura
  • Medir la cobertura del modelo
  • auumentar la cobertura con la generación automática de pruebas
  • 解释通知结果
  • 客观条件因人而异

检测错误diseño

Objetivo:附录a实用la detección de错误de diseño对模型的验证。

  • 介绍错误提示diseño
  • 检测错误diseño
  • 解释通知结果
  • Corregir errors de diseño
  • Usar tablas de parámetros

普鲁巴斯将军automáticamente

Objetivo:修订《行为行为学大纲》generación automática《行为行为学大纲》。

  • Comprender los tipos de cobertura
  • Medir la cobertura del modelo
  • auumentar la cobertura con la generación automática de pruebas
  • 解释通知结果
  • 客观条件因人而异

Prueba de丙酸

Objetivo:必要的解决办法和计划一个实用的解决办法和验证的办法diseño必要的解决办法。

  • Formalizar requisitos
  • Probar propiedades
  • Depurar proedades伪造
  • 使用临时操作

Gestionar la complejidad del modelo

Objetivo:识别与模式和计划相关的富庶之处técnicas与目标相关的人análisis。

  • 这是一种独特的模式
  • 实施者的重新分配
  • Manejar没有直线线
  • 手鼓完整的祝福búsqueda
  • 那就是暂时的失败

胆固醇:Intermedio

Duracion:1 dia

语言:英文,日本語,한국어,中文

Vea los horarios e inscríbase