Preparazione del modello per l'analisi della generazione dei test
Preparare il modello sldvexCruiseControl per l'analisi di generazione dei test configurando le impostazioni del modello con l'analisi Simulink® Design Verifier™.
Configurazione delle impostazioni del modello
1. Aprire il modello.
open_system("sldvexCruiseControl");
2. Nella scheda Apps (App), nella galleria Apps (App), selezionare Design Verifier.
3. Nella scheda Design Verifier nella sezione Prepare (Preparazione), dal menu a discesa delle impostazioni della modalità, fare clic su Settings (Impostazioni).
4. Nella finestra di dialogo Configuration Parameters (Parametri di configurazione), selezionare il riquadro Solver (Risolutore). Nella selezione Solver selection (Selezione risolutore):
Impostare l'opzione Type (Tipo) su
Fixed-step.Impostare l'opzione Solver (Risolutore) su
discrete (no continuous states).
Simulink Design Verifier analizza solo i modelli che utilizzano un risolutore a passo fisso. Per maggiori informazioni, vedere Fixed Step Solvers in Simulink.
Verifica della compatibilità del modello
Quando si analizza un modello, Simulink Design Verifier esegue innanzitutto un controllo di compatibilità. Il modello è compatibile con l'analisi quando viene compilato senza errori. Se il modello non è compatibile, il software non può analizzarlo.
È possibile verificare la compatibilità del modello prima dell'analisi. Nell'Editor di Simulink, nella scheda Design Verifier, fare clic su Check Compatibility (Verifica compatbilità).
Se il controllo di compatibilità indica che il modello è parzialmente compatibile, significa che il modello contiene almeno un oggetto non supportato da Simulink Design Verifier. È possibile analizzare un modello parzialmente compatibile, ma gli oggetti non supportati vengono sostituiti con stub per impostazione predefinita e i risultati dell'analisi potrebbero essere incompleti. Per informazioni dettagliate sulla sostituzione automatica con stub, vedere Handle Incompatibilities with Automatic Stubbing.
Se il modello non è compatibile con Simulink Design Verifier, è possibile identificare e correggere le incompatibilità tramite i messaggi del Diagnostic Viewer (Visualizzatore diagnostico). Per maggiori informazioni, vedere Systematic Diagnosis of Errors and Warnings.
