Verificación Basada en Requisitos con Simulink Test

Descripción general

El diseño basado en modelos comienza con una definición informal de requisitos textuales que pueden incluir complejas señales lógicas dependientes del tiempo y difíciles de formalizar durante la campaña de pruebas. En este webinario, vamos a ver cómo podemos usar Simulink Test para crear tests temporalmente dependientes en un lenguaje intuitivo y fácil. Estos tests pueden modelar de forma precisa comportamientos complejos dependientes del tiempo con condicionales, eventos, señales y retraso. Veremos también el flujo de trabajo completo para las pruebas basadas en requisitos, incluyendo autoría, gestión y ejecución de los tests. 

Lo más destacado

• Automatizar las pruebas basadas en requisitos en Diseños Basados en Modelos.
• Traducir requisitos textuales informales a ensayos inequívocos con una semántica clara y definida.
• Mantener la trazabilidad de los requisitos tanto al diseño como a las pruebas.
• Monitorizar señales internas sin modificar el diseño completo

Acerca del presentador o presentadores

María Fernández es ingeniera de aplicación de MathWorks España donde se encarga de ayudar a los usuarios de MATLAB y Simulink a elegir las mejores estrategias de adopción y obtener el máximo rendimiento de las herramientas. Antes de empezar en MathWorks en 2019, trabajó en GMV como desarrolladora de software para aplicaciones de GNSS y colaboró con el instituto de investigación planetaria de DLR. María es Ingeniera Aeroespacial por la Universidad Carlos III de Madrid y Máster en Ingeniería Aeroespacial, con especialidad en exploración espacial por la Universidad Técnica de Delft.