automatischer generierung von tests in Matlab Simulink

[Tilo (Gast)]

Hi
ich habe in ein Meeting aufgeschnappt: "wir arbeiten ab jetzt Model 
basiert mit Matlab Simulink und benutzen die C source code Generatoren 
von Matlab. Das wird einem viel Zeit ersparen, weil Matlab automatische 
Tests generiert."

Was sind das für automatische Tests die Matlab generiert?
Wenn ich zum Beispiel ein GSM Audiodecoder auf ein Prozessor portiere, 
brauche ich ja die ITU Testsequenzen zum verifizieren meiner 
Implementierung. Die kann ja Matlab nicht generieren. Was generiert 
Matlab Simulink für Test-Inputdaten dann?
Danke

[Testikus (Gast)]

Es macht doch überhaupt keinen Sinn, generierten Code mit generierten 
Tests zu testen. da dürfte der Erkenntnisgewinn gegen 0 gehen...

[Tilo (Gast)]

Ich konnte mir vorstellen dass Matlab einzelne Funktionen mit Daten 
futtert um corner cases abzufangen. Was meint ihr?

[Walter T. (nicolas)]

Der erzeugte Code für den Regler kann mit der in Simulink gemachten 
Regelstrecke weiterhin getestet werden. Das ist dann interessant, wenn 
die Verfikation auch modellbasiert erfolgen soll, also MIL -> SIL -> PIL 
-> HIL.

[Kaj (Gast)]

https://de.mathworks.com/products/sldesignverifier.html

Simulink Design Verifier™ verwendet formale Methoden, um versteckte
Design-Fehler in Modellen zu identifizieren. Er erkennt Blöcke im Modell,
die zu Integerüberlauf, toter Logik, Array-Zugriffsverletzungen und
Division durch Null führen. Er kann formal verifizieren, dass das Design
funktionale Anforderungen erfüllt. Für jeden Design-Fehler und jeden
Verstoß gegen Anforderungen generiert er einen Simulationstestfall für
das Debugging.