automatischer generierung von tests in Matlab Simulink

Gast #5699689 
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 Langsamer Modus Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Melden Danke
Gast 
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 Melden Danke
Thread beobachten

Antwort schreiben

Eine eigene Frage? Dieser Thread ist über 7 Jahre alt. Stell sie in einem eigenen Thread – dort lesen mehr Leute mit, und sie wird öfter und schneller beantwortet.

Neuen Thread starten

Eine Lösung, Ergänzung oder Rückmeldung zu diesem Thread? Dann antworte hier.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Dein Name und deine E-Mail-Adresse

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.