Verifikation, Test und Zertifizierung

Abstimmen von Parametern, Analysieren der Codeleistung, Testen der numerischen Äquivalenz und Durchführen von Codeabdeckungs- und Nachverfolgbarkeitsanalysen

Verwenden Sie zur Systementwicklung die kontinuierliche Verifikation mit dem V-Modell.

Zum Rapid Prototyping von Unterkomponenten können Sie Echtzeitsimulationen im externen Modus ausführen, mit denen Sie in Ihrer Zielanwendung Signale überwachen und Modellparameter abstimmen können.

Mit der Codeausführungs-Profilierung können Sie ermitteln, ob der generierte Code den Echtzeitanforderungen Ihrer Zielhardware entspricht und herausfinden, bei welchen Codeabschnitten Leistungsverbesserungen erforderlich sind.

Verifizieren Sie, dass der generierte Code:

  • Ein Modell korrekt implementiert, indem Sie die numerische Äquivalenz des Modells und des generierten Codes testen:

    • Verwenden Sie für Systeme, Komponenten und Unterkomponenten wie referenzierte Modelle das SIL/PIL Manager-Top-Model, den Model-Block oder Testharness-Workflows.

    • Führen Sie für Unterkomponenten, z. B. ein atomares Subsystem, einen Unit-Test des vom atomaren Subsystem generierten Codes durch, indem Sie den Simulink® Test™-Harness und den SIL/PIL Manager verwenden. Weitere Informationen finden Sie unter Configure and Run PIL Simulation.

  • Keine unbeabsichtigten Funktionen enthält, indem Sie die Modellabdeckung mit der Codeabdeckung vergleichen oder eine Nachverfolgbarkeitsanalyse durchführen. Konfigurieren Sie die SIL- und PIL-Simulationen, um Codeabdeckungsmetriken zu generieren. Erstellen Sie Berichte, die eine bidirektionale Nachverfolgbarkeit von Modellobjekten und generiertem Code ermöglichen.

Neben Embedded Coder® können Sie weitere Produkte zur Codeverifikation nutzen, beispielsweise Requirements Toolbox™, Simulink Test und Polyspace®-Produkte.

Kategorien