Formación en MATLAB y Simulink

Detalles del curso

Este curso de un día se centra en el uso de Simulink Design Verifier™ para garantizar que un diseño no tenga posibles errores de diseño, se pruebe exhaustivamente y cumpla los requisitos necesarios. Temas incluidos:
 
  • Detectar y depurar errores de diseño frecuentes
  • Obtener la cobertura del modelo
  • Completar el déficit de cobertura usando la generación automática de pruebas
  • Probar las propiedades del modelo para una verificación basada en requisitos
  • Manejar la complejidad del modelo para un análisis eficiente

Día 1 de 1


Descripción del flujo de trabajo de verificación

Objetivo: Familiarícese con el flujo de trabajo de verificación y aprenda a preparar un modelo y realizar un análisis simple con Simulink Design Verifier.

  • Introducir métodos formales de verificación
  • Explorar el flujo de trabajo de Simulink Design Verifier
  • Preparar modelos y garantizar la compatibilidad
  • Configurar opciones de análisis
  • Generar resultados

Detectar errores de diseño

Objetivo: Aprenda a utilizar la detección de errores de diseño para verificar un modelo.

  • Introducir tipos de errores de diseño
  • Detectar errores de diseño
  • Interpretar y notificar resultados
  • Corregir errores de diseño
  • Usar tablas de parámetros

Generar pruebas automáticamente

Objetivo: Revise los tipos de cobertura y aprenda a utilizar la generación automática de pruebas para completar el déficit de cobertura de modelo.

  • Descripción de los tipos de cobertura
  • Medir la cobertura del modelo
  • Aumentar la cobertura con la generación automática de pruebas
  • Interpretar y notificar resultados
  • Aplicar objetivos y condiciones personalizados

Prueba de propiedades

Objetivo: Formalice los requisitos en propiedades y aprenda a utilizar la prueba de propiedades para verificar que un diseño cumpla sus requisitos.

  • Formalizar requisitos
  • Probar propiedades
  • Depurar propiedades falsificadas
  • Utilizar operadores temporales

Gestionar la complejidad del modelo

Objetivo: Identifique las fuentes de complejidad del modelo y aprenda técnicas para mejorar el rendimiento del análisis.

  • Identificar las fuentes de complejidad del modelo
  • Implementar reemplazos de bloques
  • Manejar no linealidades
  • Gestionar la complejidad de la tabla de búsqueda
  • Trabajar con contadores y temporizadores

Nivel: Intermedio

Duración: 1 día

Idiomas: English, 日本語, 한국어, 中文

Vea los horarios e inscríbase