Prototypenentwicklung mit Bauhaus und SKilL

Abstract

Bauhaus ist ein Forschungsprojekt, das Werkzeuge zur Analyse von Software beinhaltet. Diese sollen das Verständnis der Programmarchitektur erhöhen und Wartungsarbeiten erleichtern. Als Alternative zum aktuellen, XML-basierten Austauschformat für Daten, wird das Serialisierungstool SKilL entwickelt. Dieses bietet neben anderen Vorteilen eine höhere (De-)Serialisierungsgeschwindigkeit und unterstützt eine Vielzahl an Programmiersprachen. Dadurch wird ermöglicht, dass Programmanalysen in der Sprache implementiert werden können, die dem Entwickler am besten bekannt ist. In dieser Arbeit soll gezeigt werden, ob sich SKilL im Kontext von Bauhaus zur effizienten Prototypenentwicklung eignet. Dazu werden Prototypen der Zeigeranalysen nach Steensgaard, Das und Andersen entwickelt. Diese stellen anhand ihrer Art und Komplexität ein gutes Beispiel für Analysen dar, die in Zukunft mit SKilL entwickelt werden könnten. Die Prototypen werden automatisiert getestet und funktionieren für die verwendeten, kleinen Beispielprogramme korrekt. Zusätzlich wird die Plausibilität der Resultate für größere Programme durch den Vergleich der Ergebnisse von Steensgaards, Das’ und Andersens Analyse gezeigt. Aus den Erfahrungen bei der Implementierung kann abgeleitet werden, dass sich SKilL im Kontext von Bauhaus gut zur Prototypenentwicklung eignet.