Preparar modelo para análisis de generación de pruebas

Abrir script en vivo

Prepare el modelo sldvexCruiseControl para el análisis de generación de pruebas configurando los ajustes del modelo con el análisis de Simulink® Design Verifier™.

Configurar ajustes de un modelo

1. Abra el modelo.

open_system("sldvexCruiseControl");

example_model_description.png

2. En la pestaña Apps, en la galería Apps, seleccione Design Verifier.

3. En la pestaña Design Verifier, en la sección Prepare, en el menú desplegable para la configuración del modelo, haga clic en Settings.

4. En el cuadro de diálogo Configuration Parameters, seleccione el panel Solver. En la sección Solver selection:

  • Establezca la opción Type en Fixed-step.

  • Establezca la opción Solver en discrete (no continuous states).

solver_settings.png

Simulink Design Verifier analiza únicamente los modelos que usen un solver de paso fijo. Para obtener más información, consulte Fixed Step Solvers in Simulink.

Comprobar compatibilidad de un modelo

Cuando se analiza un modelo, Simulink Design Verifier primero realiza una comprobación de la compatibilidad. El modelo es compatible con el análisis si se compila sin errores. Si el modelo no es compatible, el software no puede analizarlo.

Puede comprobar la compatibilidad del modelo antes del análisis. En el editor de Simulink, en la pestaña Design Verifier, haga clic en Check Compatibility.

Si la comprobación de la compatibilidad indica que el modelo es compatible parcialmente, el modelo contiene al menos un objeto que Simulink Design Verifier no admite. Puede analizar un modelo parcialmente compatible, pero los objetos no compatibles se procesan con sustitutos de forma predeterminada y los resultados del análisis pueden estar incompletos. Para obtener información detallada acerca del procesamiento automático con stubs, consulte Handle Incompatibilities with Automatic Stubbing.

Si el modelo es incompatible con Simulink Design Verifier, puede identificar y solucionar las incompatibilidades con los mensajes de Diagnostic Viewer. Para obtener más información, consulte Systematic Diagnosis of Errors and Warnings.