Generar casos de prueba para un modelo

En Simulink^® Design Verifier™, un caso de prueba es un conjunto de valores de entrada y sus correspondientes salidas esperadas utilizado para verificar que un modelo se comporta según lo esperado en condiciones especificadas. Con Simulink Design Verifier puede generar casos de prueba para cobertura de modelos y objetivos personalizados. También puede medir la cobertura de los casos de prueba existentes basados en requisitos y ampliar estos casos de prueba para aumentar la cobertura o lograr una cobertura completa.

Antes de iniciar un análisis, puede ejecutar una comprobación de compatibilidad en el modelo. Simulink Design Verifier analiza el modelo solo si es compatible con el análisis. Después de la comprobación de compatibilidad, especifique la configuración de generación de casos de prueba en el modelo y ejecute el análisis. Una vez que el análisis de generación de pruebas esté completo, revise los resultados.

Hay varias formas de revisar los resultados del análisis:

• Revisar los resultados del análisis de un vistazo resaltando los resultados en el modelo.

• Crear un modelo de arnés de prueba para simular los casos de prueba o depurar contraejemplos.

• Generar un informe de cobertura del modelo.

• Ver las pruebas generadas en Simulation Data Inspector.

• Crear un informe HTML o PDF que contenga información detallada sobre los resultados del análisis.

Modelo de ejemplo

Este tutorial utiliza un modelo de control de crucero sldvexCruiseControl que ajusta el acelerador del motor para mantener una velocidad específica. Se generan casos de prueba que cumplen objetivos de cobertura de modelos de condición y decisión y, a continuación, se simulan estos casos de prueba para generar el informe de cobertura del modelo.

Este modelo de control de crucero sldvexCruiseControl cumple los siguientes requisitos:

• El sistema de control se activa cuando las señales engage y enable son true. Esta condición está definida por el bloque AND.

• Cuando el sistema está activado, el bloque Switch pasa set speed al controlador PI. El controlador PI calcula throttle integrando el término de error definido por la diferencia set speed - current speed.

• throttle sigue aumentando o disminuyendo hasta que set speed es mayor que current speed o menor que current speed, respectivamente.

• Cuando el sistema no está activado, el bloque Discrete-Time Integrator se restablece. El término de error es cero, lo que significa que throttle está en posición de restablecimiento.

Cuando se realiza un análisis de generación de pruebas, Simulink Design Verifier genera casos de prueba para los objetivos de cobertura de modelos asociados a cada elemento del modelo. La tabla enumera los objetivos de cobertura de condiciones y decisiones para los bloques de modelo asociados.

Bloque	Objetivo de cobertura de modelos	Descripción del caso de prueba generado
AND	Condición	Cada valor de entrada se establece en verdadero o falso de forma independiente.
NOT	Condición	La entrada se establece en verdadera o falsa de forma independiente.
Switch	Decisión	El caso de prueba demuestra que Switch pasa ambas señales de entrada a la salida.
Discrete-Time Integrator	Decisión	El caso de prueba demuestra el comportamiento de saturación del integrador. Cumple las condiciones externas de restablecimiento.

En este tutorial, se realiza análisis de generación de pruebas en el modelo sldvexCruiseControl. El análisis genera casos de prueba que cumplen objetivos de cobertura de modelos de condición y decisión.

Aprenderá a:

1. Configurar los ajustes de un modelo para el análisis de Simulink Design Verifier.

2. Comprobar la compatibilidad de un modelo para el análisis de generación de pruebas.

3. Configurar el modelo para generar pruebas y realizar el análisis.

4. Ver los resultados del análisis de generación de pruebas.

5. Crear un modelo de arnés y generar un informe de cobertura.

Para comenzar el tutorial, consulte Preparar modelo para análisis de generación de pruebas.