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