Configurar ajustes del modelo y ejecutar análisis
Después de preparar el modelo para el análisis, configure los ajustes de generación de casos de prueba en el cuadro de diálogo Configuration Parameters. Simulink® Design Verifier™ proporciona un conjunto de configuración de modelos para controlar y personalizar el análisis del modelo. Puede utilizar Design Verifier Pane o la función sldvoptions para especificar la configuración de análisis de Simulink Design Verifier.
De forma predeterminada, la configuración del modelo para Simulink Design Verifier no aparece en el cuadro de diálogo Configuration Parameters. Cuando se abre la app Design Verifier, Simulink Design Verifier asocia su configuración predeterminada al modelo. Después de guardar el modelo, puede acceder a las opciones de Simulink Design Verifier directamente desde el cuadro de diálogo Configuration Parameters.
Configurar ajustes de un modelo
Configure los ajustes de un modelo para el análisis de generación de pruebas.
1. Abra el modelo sldvexCruiseControl. En la pestaña Design Verifier, en la sección Prepare, haga clic en Test Generation Settings.
2. En el cuadro de diálogo Configuration Parameters, en el panel Test Generation, establezca el parámetro Model coverage objectives en Decision. Para este ejemplo, el análisis genera casos de prueba que registran solo la cobertura de decisiones.
3. De forma predeterminada, el parámetro Test suite optimization está establecido en Auto. Si desea generar menos casos de prueba pero más largos, seleccione LongTestcases para el parámetro Test suite optimization.
4. Haga clic en Apply y OK para guardar los cambios.
Analizar modelos para generar pruebas
En la pestaña Design Verifier, haga clic en Generate Tests. Simulink Design Verifier analiza el modelo para generar casos de prueba.
Durante el análisis, la ventana Results Summary muestra el progreso del análisis. Muestra información como el número de objetivos de prueba procesados, los objetivos cumplidos y el tiempo transcurrido del análisis.
Después del análisis, Simulink Design Verifier genera una ventana Results que muestra el estado del análisis y los resultados.
