Die SOAN-Toolsuite

Unsere SOAN-Toolsuite integriert etablierte und proprietäre Methoden und Werkzeuge zur halb- und vollautomatischen Daten- und Programmanalyse, zum interaktiven Refactoring, zum Konstruieren solider Software sowie zur Dekonstuktion von Software und Daten. Hier einige Stichpunkte zur SOAN-Toolsuite:

Analyse

• Adhäsions- und Kohäsionsanalyse
• Daten- und Kontrollflussanalyse
• Berechnung von programmweiten Zustandsräumen

Refactoring

• Einflussanalyse von Refactoringmaßnahmen
• Reduzieren von Zustandsräumen
• Interaktives Visualisieren der atomaren Refactoring-Schritte

Konstruktion

• Ausführbares Anforderungsmodell
• Formales Definieren und Überprüfen von Software-Eigenschaften
• Automatisches Erzeugen von Testfällen
• Bau von Compilern und Generatoren

Dekonstruktion

• Template-basierte Datenanalyse
• Instrumentierungen auf Betriebssystemebene