Produkte

Axivion Bauhaus Suite – die Komplettlösung für Software-Erosionsschutz

Mit der Axivion Bauhaus Suite bieten wir Ihnen eine ausgereifte Toolsuite zur automatisierten statischen Code-Analyse. Sie unterstützt die Entwickler Ihrer Software-Systeme dabei, die hohe Qualität und die langfristige Wartbarkeit des von ihnen entwickelten Codes sicherzustellen und somit einer schleichenden Software-Erosion aktiv vorzubeugen.

Features

overlay

Architekturmodellierung

Die Axivion Bauhaus Suite enthält ein vollständiges Werkzeug zur Modellierung von Architekturen mit minimaler Einstiegshürde. Alternativ können Sie für die Modellierung auch Ihr vorhandenes CASE-Tool verwenden (siehe UML® Integration).

overlay

Architekturprüfung

Mit der Architekturprüfung können Sie automatisiert und damit binnen Sekunden erkennen, ob die tatsächlichen Abhängigkeiten im Code mit Ihren Architekturvorgaben übereinstimmen.

overlay

Klonerkennung und -management

Die Analysen erkennen sowohl Duplikate als auch ähnliche Stellen im Quellcode und verfolgen sie über die Zeit, um eine konsistente Weiterentwicklung zu unterstützen.

overlay

Prüfung von MISRA C und MISRA C++

Unser MISRA-Checker deckt 100 Prozent der automatisiert prüfbaren Regeln von MISRA C:2004, MISRA C:2012 und MISRA C++:2008 ab.

100 % Regelabdeckung: Axivion überzeugt ZF mit umfassendem MISRA-Checker​

MISRA Fact-Sheet downloaden

overlay

Prüfung von Codierrichtlinien

Out-of-the-box können Sie mit der Axivion Bauhaus Suite aus über mehr als eintausend Regelprüfungen auswählen. Die Regeln sind flexibel konfigurierbar und Sie können einfach eigene Regeln selbst definieren. So ist auch die Prüfung von speziellen Namenskonventionen möglich.

overlay

Statische Code-Analyse

Die Analysen enthalten skalierbare Daten- und Kontrollflussprüfungen. Mit diesen können Fehler wie Out-of-bounds-Zugriffe oder Division durch 0 frühzeitig erkannt werden.

overlay

Race-Conditions-Analyse

Mit Hilfe der Axivion Bauhaus Suite lassen sich ungeschützte Speicherzugriffe (Data-Races) diagnostizieren.

overlay

Delta-Analyse

Die Delta-Analyse ermöglicht ein kontinuierliches Baselining und ein automatisches Issue-Tracking über die Zeit. Damit können Sie sich im Tagesgeschäft auf die wesentlichen Meldungen fokussieren.

 

overlay

Include Profiler

Analyse und Optimierung von #includes. Das Werkzeug ermittelt zum Beispiel #includes, die durch Vorwärtsdeklarationen ersetzt werden können oder auch solche #includes, die vollständig unnötig sind. Das Werkzeug kann präzise auf Ihre jeweilige #include-Strategie angepasst werden.

overlay

Metriken

Neben Standard-Metriken wie HIS und OO Design Metriken können mit der Axivion Bauhaus Suite auch kundenspezifische Metriken im Zeitverlauf betrachtet werden. Die Einhaltung von Grenzwerten kann automatisiert überwacht werden.

overlay

Erkennung toten Codes

Die Axivion Bauhaus Suite erkennt toten Code basierend auf einer Graph-Erreichbarkeitsanalyse der Aufruf-Relationen. Die Analyse von Bibliotheksfunktionen bei Produktfamilien ist ebenso bezüglich nicht verwendeter Anteile prüfbar.

overlay

Zyklenerkennung

Die Analyse erkennt zyklische Abhängigkeiten auf verschiedenen Ebenen. Sie können sowohl Aufrufzyklen (einschließlich Rekursionen) als auch Komponentenzyklen und Include-Zyklen identifizieren und überwachen.

overlay

UML® Integration

Die Axivion Bauhaus Suite bietet für die Architekturprüfung die Möglichkeit, Modelle aus UML®-Modellierungswerkzeugen zu importieren und individuell anzupassen (z.B. aus Enterprise Architect™ und IBM® Rational Rhapsody®).

overlay

Reporting API

Sie können die Analyseergebnisse automatisiert über die Reporting API beziehen. Daraus können Sie sowohl Ihre eigenen Reports generieren als auch in Ihren bereits vorhandenen Reporting-Tools weiterverarbeiten.

overlay

Web UI

Das Web User Interface stellt alle Informationen aus den Analyseläufen über eine Browser-Schnittstelle zur Verfügung. Hierdurch können Sie beliebige IDEs in den Workflow integrieren. 

 

CI-Integration

Die Analysen der Axivion Bauhaus Suite können so konfiguriert werden, dass sie für eine Software unter Analyse automatisiert ablaufen. Damit ist eine Integration in Ihre CI-Umgebung möglich.

 

Arbeitsplatz-Integration

Die Axivion Bauhaus Suite enthält Plugins für Microsoft® Visual Studio® und Eclipse™-basierte IDEs. Die Plugins unterstützen die Entwickler durch Analyse und Anzeige der Issues direkt in der IDE auf dem Arbeitsplatzrechner.

 

Versionsverwaltung

Die Axivion Bauhaus Suite verwendet die Kommandozeilen-Interfaces Ihres Versionsverwaltungs-Tools unter anderem für die Informationsgewinnung über Versionsunterschiede und Autoren. Out-of-the-box werden die gängigen Versionsverwaltungs-Tools (Subversion®, Git™, IBM® Rational® Team Concert®/ClearCase®, Perforce®, usw.) unterstützt.

Qualification-Kit

Zur Unterstützung der Klassifizierung und Qualifizierung Ihrer Toolchain bietet Axivion ein Qualification-Kit an. Dies besteht aus vorgefertigten Test-Suites (u.A. für die MISRA-Regeln), deren Ausführung und Ergebnisbewertung automatisiert werden können. Auf diesem Weg kann die Eignung der Axivion Bauhaus Suite für den Einsatz spezifisch plausibilisiert und nachgewiesen werden. Durch die technische Automatisierung der Validierungstests lässt sich bei Änderungen (z.B. durch updates/upgrades, um von Verbesserungen und Neuerungen zu profitieren) effizient eine Wiederholung durchführen und so die Eignungsprüfung wiederholen.
 
Wir unterstützen Sie auch gerne bei der konkreten Umsetzung mit unserem Professional Services.

+

Errata Checks

Die Prüfung ermöglicht es Ihnen, herauszufinden, wo Sie in Ihrem Code von Fehlersituationen Ihres Target-Compilers betroffen sind. Somit lassen sich Fehler im fertigen Produkt vermeiden.

+