Main Content

Prueba de componentes de modelo

Gestione los datos de las pruebas de los componentes, ejecute el conjunto de pruebas en la simulación SIL o PIL, configure los bloques Model Verification, genere el archivo de opciones para el análisis de Polyspace®

Analice y simule los modelos referenciados, los subsistemas o los subgrupos atómicos de un modelo. Aísle un subsistema o un modelo referenciado para probarlo extrayéndolo en un modelo de arnés. Monitorice las señales del dominio del tiempo en su modelo durante la simulación, de acuerdo con las especificaciones que asigne a los bloques. Construya verificaciones de señales y aplíquelas selectivamente basándose en el grupo de entrada de la simulación. Genere y empaquete archivos de opciones para analizar el código generado a partir de modelos de Simulink® con Polyspace. Los archivos de opciones empaquetados son útiles cuando el análisis de Polyspace del código generado se realiza por separado del de Simulink. Por ejemplo, en un flujo de trabajo distribuido, el análisis de Polyspace podría realizarse en un entorno que no tiene Simulink. Utilizando los archivos de opciones empaquetados, se conserva el contexto específico del modelo del código generado.

Bloques

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

Funciones

polyspacePackNGoGenerate and package options files to run Polyspace analysis on code generated from Simulink model (desde R2020b)
pslinkoptionsCreate 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

Temas