La traduction de cette page n'est pas à jour. Cliquez ici pour voir la dernière version en anglais.
Tester les composants du modèle
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
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 |
Fonctions
polyspacePackNGo | Generate and package options files to run Polyspace analysis on code generated from Simulink model (depuis R2020b) |
polyspaceArtifact | Generate artifacts to run Polyspace analysis on code generated from Simulink model (depuis R2024a) |
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 |
Rubriques
- 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.