Main Content

Tester les composants du modèle

Gérer les données de test des composants, exécuter une suite de tests dans une simulation en mode SIL ou PIL, configurer des blocs de vérification de modèle et générer un fichier d'options pour une analyse Polyspace®

Analysez et simulez des modèles référencés, des sous-systèmes ou des sous-diagrammes atomiques dans un modèle. Isolez un sous-système ou un modèle référencé pour le tester en l'extrayant dans un modèle de harnais. Surveillez les signaux temporels de votre modèle en cours de simulation selon les spécifications que vous attribuez aux blocs. Construisez des vérifications de signal et appliquez-les de manière sélective en fonction du groupe d'entrées de la simulation. Générez et packagez des fichiers d'options pour analyser le code généré à partir de modèles Simulink® avec Polyspace. Les fichiers d'options packagés sont utiles lorsque l'analyse Polyspace du code généré est effectuée en dehors de Simulink. Par exemple, dans un workflow distribué, l'analyse Polyspace peut être effectuée dans un environnement ne disposant pas de Simulink. L'utilisation de fichiers d'options packagés permet de préserver le contexte spécifique au modèle du code généré.

Blocs

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

Fonctions

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

Rubriques