La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

Componenti del modello di prova

Gestire i dati di prova dei componenti, eseguire la suite di prova nella simulazione SIL o PIL, configurare i blocchi di verifica del modello, generare il file delle opzioni per l’analisi Polyspace^®

Analizzare e simulare i modelli referenziati, i sottosistemi o i sotto-diagrammi atomici in un modello. Isolare un sottosistema o un modello referenziato per il collaudo estraendolo in un modello harness. Monitorare i segnali del dominio del tempo nel modello durante la simulazione, in base alle specifiche assegnate ai blocchi. Costruire le verifiche del segnale e applicarle selettivamente in base al gruppo di input della simulazione. Generare e creare pacchetti dei file delle opzioni per l'analisi del codice generato da modelli di Simulink^® utilizzando Polyspace. I file delle opzioni raggruppati a pacchetto sono utili quando l'analisi Polyspace del codice generato viene eseguita separatamente da Simulink. Ad esempio, in un workflow distribuito, l’analisi Polyspace potrebbe essere eseguita in un ambiente che non dispone di Simulink. Utilizzando i file delle opzioni raggruppati a pacchetto, il contesto specifico del modello del codice generato viene preservato.

Blocchi

Assertion	Check whether signal is zero
Check Discrete Gradient	Check that absolute value of difference between successive samples of discrete signal is less than specified value
Check Dynamic Gap	Check that gap of possibly varying width occurs in range of signal's amplitudes
Check Dynamic Lower Bound	Check that one signal is always less than another signal
Check Dynamic Range	Check that signal falls inside range of amplitudes that varies from time step to time step
Check Dynamic Upper Bound	Check that one signal is always greater than another signal
Check Input Resolution	Check that input signal has specified resolution
Check Static Gap	Check that gap exists in signal's range of amplitudes
Check Static Lower Bound	Check that signal is greater than (or optionally equal to) static lower bound
Check Static Range	Check that signal falls inside fixed range of amplitudes
Check Static Upper Bound	Check that signal is less than (or optionally equal to) static upper bound

Funzioni

`polyspacePackNGo`	Generate and package options files to run Polyspace analysis on code generated from Simulink model (Da R2020b)
`pslinkoptions`	Create an options object to customize configuration of a Simulink model, generated code or a S-Function block. Use the object to specify configuration options for these Simulink objects in a Polyspace run from the MATLAB command line

Argomenti

Component Verification
Strategies for verifying functional units of your model, in isolation or in a larger system.
Run Polyspace Analysis on Generated Code by Using Packaged Options Files
Generate Polyspace options files from a Simulink model, and use these options files to analyze generated code by using Polyspace.
Analyze Code Generated as Standalone Code in a Distributed Workflow
Tutorial showing Polyspace analysis of standalone generated code by using packaged options files in a distributed workflow.