Main Content

Die Übersetzung dieser Seite ist veraltet. Klicken Sie hier, um die neueste Version auf Englisch zu sehen.

Test von Modellkomponenten

Verwalten von Komponententestdaten, Ausführen von Testsuiten in SIL- oder PIL-Simulationen, Konfigurieren von Model Verification-Blöcken, Generieren von Optionsdateien für die Polyspace®-Analyse

Analysieren und simulieren Sie referenzierte Modelle, Subsysteme oder atomare Teildiagramme in einem Modell. Isolieren Sie ein Subsystem oder ein referenziertes Modell zum Testen, indem Sie es in ein Harnisch-Modell extrahieren. Überwachen Sie Zeitsignale in Ihrem Modell während der Simulation gemäß den Spezifikationen, die Sie den Blöcken zuweisen. Konstruieren Sie Signal-Verifikationen und wenden Sie diese selektiv auf der Grundlage der Simulations-Eingabegruppe an. Generieren und verpacken Sie Optionsdateien für die Analyse von Code, der aus Simulink®-Modellen generiert wurde, indem Sie Polyspace verwenden. Die gepackten Optionsdateien sind nützlich, wenn die Polyspace-Analyse des generierten Codes getrennt von Simulink durchgeführt wird. Zum Beispiel kann in einem verteilten Workflow die Polyspace-Analyse in einer Umgebung ohne Simulink durchgeführt werden. Durch Verwendung der gepackten Optionsdateien bleibt der modellspezifische Kontext des generierten Codes erhalten.

Blöcke

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

Funktionen

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

Themen