Cookie Warning

This site uses cookies to help improve your experience

Please follow the link to find out more about cookies. Learn more

I understand
 

Data Flow & Control Flow Analysis

Für die heutigen komplexen Systeme sind manuelle Überprüfungen zeitaufwendig und kostspielig. Sie müssen die Ebene der Abstraktion rasch erhöhen um Einsicht in die Architektur und das Verhalten, den Kontroll- und Datenfluss Ihres Codes zu gewinnen um potentielle Problembereiche zu identifizieren und zu korrigieren und entsprechende Softwaremetrikwerte zu erzeugen. Wenn Sie Software entwickeln die DO-178C, wie in der Luftfahrtindustrie üblich, erfüllen soll, dann kann eine Demonstration der Analyse des Daten- und Kontrollfluss zur Softwarezertifizierung erforderlich sein.

Wie viel Ihrer Entwicklungszeit und Ihrer Ressourcen können Sie aufbringen für eine solche zeitaufwendige manuelle Überprüfung um dies zu erreichen?

Automatisierte Daten-/Kontrollflussanalysewerkzeuge von LDRA

LDRA ermöglicht detaillierte Einsichten in Ihren entwickelten Code durch die graphische Visualisierung, einschließlich von Aufrufgraphen, Prozedurflussgraphen und Datenflussanalysereports. Diese stellen mächtige Komponenten im Verlauf des Softwaredebug- und -testprozesses dar, die von den meisten anderen Softwareentwicklungswerkzeugumgebungen nicht unterstützt werden. Mit diesen leicht handhabbaren Werkzeugen kann Ihr Team schnell und einfach Flaschenhälse wie logische und andere Schwächen Ihrer Software identifizieren.

  • Das LDRA Testbed und TBvision stellen graphische statische und dynamische Analysewerkzeuge dar sowohl zur hostbasierten als auch zur eingebetteten Software.
  • Das dynamische Datenflussanalyseüberdeckungs-Modul (Dynamic Data Flow Coverage (DDFC)) ist eine optionale Komponente, welche genau überprüft welche Variablen während der Ausführung der Anwendung verwendet wurden.