automatische Testgenerierung und Echtzeit-HIL-Ausführung?

Question

Ich untersuche in Echtzeit automatisierte Testgenerierungs- und -ausführungslösungen, um ein bestimmtes Produkt zu verifizieren. Ich gehe davon aus, dass einige formale Methoden angewendet werden, um ein solches Ziel zu erreichen.

Ich bin mir der neuen Version von Simulink Test bewusst, und nach meinem Verständnis ermöglicht eine solche Umgebung eine automatisierte Ausführung, aber keine automatisierte Generierung von Testfällen, dh der Benutzer muss Simulink Test GUI verwenden, um eine Reihe von Testfällen zu erstellen kann dann automatisch ausgeführt werden.

Ich bin mir bewusst, Simulink Design Verifier, die eine anstelle der Auswahl eines Simulink-Modells und Test Generation Advisor zur automatischen Generierung einer Liste von Testfällen erlaubt (obwohl es mir nicht klar ist, folgen, welche Logik sie erstellt werden) um sie dann in Simulink Test zu importieren.

Simulink-Test wird dann berichtet, mit Echtzeit-HIL-Tests kompatibel sein. Bedeutet es, dass es mit der Simulink Echtzeit- und Speedgoat-Maschine kompatibel ist?

Diese Mutmaßungen verwechselt werden können und ungenau, ich auf die Gemeinschaft verlasse mich etwas Licht in die Machbarkeit dieses zu geben.

Answer 1

Mit Simulink Test können Sie Echtzeittests für HIL erstellen, aber Sie können sie nur auf einem Zielcomputer mit Simulink Real-Time ausführen ("Ein neuer Echtzeittest baut einen Simulink® Real-Time ™ Anwendung von Ihrem Modell oder Testumgebung und führt es auf einem Zielcomputer „mathworks.com/help/sltest/release-notes.html;“. Wenn Sie Simulink-Test mit Simulink Real-Time ™, Testfälle für die Echtzeit verwenden Tests können in Simulink-Test verfasst und verwaltet werden ", mathworks.com/products/simulink-test/features.html#manage-test-plans-and-test-execution)

Das gleiche gilt für Speedgoat:., wenn Sie Wenn Sie Tests mit Simulink in Echtzeit auf Speedgoat ausführen möchten, benötigen Sie Simulink Real-Time.

Es gibt weitere Test-Tools, die mit Simulink-Modellen umgehen und automatisierte Echtzeit-Tests auf Hardware durchführen können, zum Beispiel Mx-Suite (danlawinc.com/mx-suite/) oder TPT (www.piketec.com/de/ 2/tpt.html). Sie benötigen außerdem die Simulink Real-Time-Funktion.

Letztere, TPT, kann auch Testfälle von Simulink-Modellen mit einem Tool namens TASMO generieren (www.youtube.com/watch?v=f9Z5n93bu6o). Der Unterschied zwischen TASMO und Design Verifier besteht darin, dass TASMO ein suchbasierter Mechanismus ist, während der Design Verifier Modellprüfungsalgorithmen für die Testfallgenerierung verwendet. Beide Algorithmen haben Vor- und Nachteile und erstellen unterschiedliche Testfälle.

Answer 2

Sie können Simulink-Test manuell Autor Tests verwenden und sie dann in HIL mit Speedgoat Hardware laufen. This documentation erklärt den Prozess im Detail.

Sie sind richtig, dass Simulink-Test nicht vollständig automatisch Tests erzeugen. Sie können Simulink-Test verwenden, um Testiterationen zu erstellen halbautomatisch durchführen fegt usw.

Sie können jedoch Simulink Design Verifier verwenden, um automatisch Tests zu generieren. Simulink Design Verifier verwendet formale Methoden und versucht ausgiebig, Tests zu generieren, um verschiedene Kriterien (funktionale Anforderungen, Abdeckung/Testbarkeit usw.) zu erfüllen. Dies tun Sie innerhalb von Simulink Test. Weitere Details finden Sie unter this documentation.