Imagix 4D: Reverse-Engineering und Analyse von Quellcode

Imagix 4D bietet Softwareentwicklern ein leistungsfähiges Werkzeug, um komplexen, fremden oder veralteten Quellcode zu verstehen, zu dokumentieren und zu verbessern.
Es automatisiert die Analyse von Kontrollflüssen und Abhängigkeiten und erkennt Nebenläufigkeitprobleme bei der gemeinsamen Nutzung von Daten. Dies hilft, die Produktivität zu steigern, die Qualität zu verbessern und Risiken zu reduzieren. C-, C++- und Java-Entwickler können mit Imagix 4D komplexen Quellcode schnell und präzise verstehen, Kontrollstrukturen und Abhängigkeiten automatisiert analysieren, Probleme bei der Datennutzung und der Interaktion von Tasks erkennen und beheben sowie die Auswirkungen von Änderungen gründlich analysieren, bevor diese durchgeführt werden. Sie können Open-Source-Code effizient integrieren und wiederverwenden und Legacy-Software zuverlässig warten und verbessern. Mit Imagix 4D verbringen Sie mehr Zeit mit der Entwicklung und weniger Zeit mit dem Lesen von Code.

Highlights:

Schnelles Verstehen von unbekanntem C, C++ und Java Code
Umfangreiche Visualisierungsmöglichkeiten
Einfache Bewertung der Code-Qualität durch statische Analyse
Unterstützung von Code-Reviews
- zur Einhaltung von Standards wie
MISRA-C++ 2008
MISRA-C 2012
AUTOSAR-C++ 2014
CWE 2.12
CWE 3.3
- durch die Verwaltung von Checklisten,
- durch die Durchführung von teilautomatisierten Bewertungen,
- durch die Generierung von Berichten
Unterstützung einer Vielzahl von Metriken, einschließlich HIS-Metriken
Delta-Analyse: Visualisierung und Dokumentation struktureller Unterschiede zwischen verschiedenen Code-Versionen
Automatisierte Projektdokumentation

Weitere Informationen:

Quellcodeanalyse

Imagix 4D hilft Entwicklern beim Verstehen und Reverse Engineering von komplexem C-, C++- und Java-Code und unterstützt damit Aufgaben wie das schnelle Verstehen von unbekanntem Code, Impact-Analysen, die Integration von Open-Source-Code, die Wiederverwendung von Code und die Wartung von Legacy-Software. Durch die präzise statische Analyse bietet Imagix 4D umfassende Funktionen zur Visualisierung und Navigation im Quellcode, die es dem Anwender ermöglichen, Softwarearchitektur, Kontrollstrukturen, Datennutzung und Abhängigkeiten zu untersuchen. High-Level-Ansichten wie UML-Diagramme und Subsystem-Architekturdiagramme sowie detaillierte Darstellungen wie Sequenzdiagramme und Flussdiagramme ermöglichen eine gründliche Wirkungsanalyse und Fehlersuche. Durch die Unterstützung verschiedener Compiler und Multitasking-Systeme gewährleistet Imagix 4D eine genaue Analyse, die auf das Parsing Ihres spezifischen Compilers abgestimmt ist.

Statische Checks und Metriken

Imagix 4D verbessert die Softwarequalität und -sicherheit durch statische Analyse und identifiziert potenzielle Probleme bereits in der Entwicklungs- und Testphase. Es unterstützt Thread-Sicherheit, prüft auf korrekte Synchronisation und deckt Deadlocks und Race Conditions auf, um die Zuverlässigkeit von eingebetteten Echtzeitsystemen zu gewährleisten. Qualitätsprüfungen und Metriken, die sich an Standards wie CWE und MISRA-C orientieren, tragen zur Verbesserung der Sicherheit, Zuverlässigkeit und Wartbarkeit bei.
Imagix 4D erhebt über 100 Metriken, darunter McCabe Cyclomatic Complexity, Halstead Complexity, HIS-Metrics, Maintainability Index sowie objektorientierte Metriken von Chidamber und Kemerer und zeigt Abweichungen von Vorgaben auf. Unterstützt wird zudem die Überprüfung von Abläufen in Echtzeit, die Durchführung von Code-Reviews, die Bewertung von Drittanbieter-Code und die Verfolgung des Entwicklungsfortschritts. Integriert in eine umfassende Quellcode-Visualisierung ermöglicht Imagix 4D effizientes, automatisiertes Testen und erlaubt es Ihnen Probleme zu verstehen und zu lösen, was sowohl die Qualitätssicherung als auch das Programmverständnis verbessert.

Delta-Analysen

Die Funktionalität von Imagix 4D geht über die Analyse der letzten Codeversion hinaus und unterstützt das Verständnis und den Vergleich verschiedener Varianten während des gesamten Softwareentwicklungsprozesses. Die Delta-Analysefunktion ermöglicht strukturelle Vergleiche zwischen verschiedenen Codeversionen und unterstützt das Projektmanagement, indem sie sicherstellt, dass Änderungen mit den Designabsichten übereinstimmen, die Funktionalität bestätigt und fehlende Aktualisierungen identifiziert. Einzigartig an Imagix 4D ist die Fähigkeit, Unterschiede auf struktureller Ebene zu analysieren und so Einblicke in den Kontrollfluss und die Gesamtarchitektur zu gewinnen, die zur Automatisierung von Code-Reviews und Verifikationsprozessen genutzt werden können.

Code Review

Das Imagix 4D Review-Tool rationalisiert Software-Review-Prozesse durch die Automatisierung von Schritten, die Integration der Ergebnisse statischer Analysen und die nahtlose Erstellung von Dokumentation. Es verteilt die Arbeit unter den Teammitgliedern, verfolgt effizient den Fortschritt und generiert wiederverwendbares geistiges Eigentum, um zukünftige Reviews zu vereinfachen. Mit diesem Werkzeug wird der Aufwand für umfassende Software-Reviews erheblich reduziert, wodurch die Softwarequalität und die Einhaltung von Industriestandards insgesamt verbessert werden.

Automatisiert viele Schritte des Verifikationsprozesses
Integriert die Ergebnisse der statischen Analyse nahtlos in die erforderliche Quellcodeanalyse und -visualisierung
Generiert automatisch eine Dokumentation und einen Verifikationspfad als Teil des Prozesses
Verteilt den Aufwand zwischen Testern und Entwicklern und erzeugt ein einziges, konsistentes Ergebnis
Vereinfacht die Verwaltung von Reviews, die Zuweisung von Aufgaben und die Verfolgung von Fortschritt und Ergebnissen

Automatisierte Dokumentationen

Die Automatisierung der Dokumentation durch Reverse Engineering mit Werkzeugen wie Imagix 4D erleichtert die mühsame Aufgabe der manuellen Dokumentation in der Softwareentwicklung, -wartung und -qualitätssicherung. Durch die Einsparung von erheblichem Arbeitsaufwand und die Sicherstellung der Genauigkeit können sich die Teams auf wertschöpfende Aufgaben konzentrieren, das Peer-Review beschleunigen, Missverständnisse vermeiden und die Einarbeitung neuer Ingenieure erleichtern. Da in der Regel zwischen 5 % und 15 % des Entwicklungsaufwands auf die Dokumentation entfallen, bietet die Automatisierung eine wertvolle Lösung zur Rationalisierung der Arbeitsabläufe und zur Verbesserung der Gesamteffizienz.

Integration von Imagix4D mit Testwell CTC++

Die Integration von Imagix 4D mit Testwell CTC++ unterstützt Sie bei der Überprüfung der Testabdeckungsdaten. Für die Darstellung des Programmablaufs stehen verschiedene Layouts zur Verfügung. Zusätzlich zeigt Imagix 4D die Call Coverage / Call Pair Coverage (basierend auf der Testwell CTC++ Analyse).
Weitere Infromationen