automatischer generierung von tests in Matlab Simulink

Tilo Gast #5699689
Lesenswert?
• ▲
▼ 
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
Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Beitrag melden
Kaj Gast #5699958
Lesenswert?
• ▲
▼ 
https://de.mathworks.com/products/sldesignverifier.html
1
Simulink Design Verifier™ verwendet formale Methoden, um versteckte

2
Design-Fehler in Modellen zu identifizieren. Er erkennt Blöcke im Modell,

3
die zu Integerüberlauf, toter Logik, Array-Zugriffsverletzungen und

4
Division durch Null führen. Er kann formal verifizieren, dass das Design

5
funktionale Anforderungen erfüllt. Für jeden Design-Fehler und jeden

6
Verstoß gegen Anforderungen generiert er einen Simulationstestfall für

7
das Debugging.
Antwort Zitieren Bearbeiten Löschen Beitrag melden
Thread beobachten

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

Bestehender Account

oder

Mit Google-Account einloggen

Noch kein Account?

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren