main page

staff

teaching

theses

research

publications

books

press

jobs

download


TU-BS

FB Informatik
TU Braunschweig

Diplomarbeit

Entwurf und Implementierung einer erweiterbaren Qualitätssicherungsschnittstelle für Codierungsrichtlinien im automobilen Forschungsumfeld für das Framework MontiCore am Beispiel der Sprache C++

Codierungsrichtlinien haben das Ziel die SW-Qualität zu steigern. Dies wird u.a. durch Vermeidung gefährlicher Sprachkonstrukte sowie Verkürzung der Einarbeitungszeit aufgrund eines einheitlichen Aufbaus in der Formatierung als auch in der Namensvergabe erreicht. Diese Codierungsrichtlinien einzuhalten erfordert Disziplin jedes einzelnen Entwicklers. Damit diese Disziplin leichter eingefordert werden kann, ist es sinnvoll Codierungsrichtlinien automatisiert prüfen zu lassen. Um dies zu bewerkstelligen, ist es notwendig einen Parser für die jeweilige Sprache zu generieren. Für C++ existiert bereits eine ANTLR Grammatik, die einen C++ Parser für vorverarbeitete C++ Dateien generiert.

Inhalt der Diplomarbeit ist es, die ANTLR Grammatik in eine MontiCore Grammatik zu transformieren, um vorverarbeitete C++ Dateien parsen zu können und einen AST innerhalb von MontiCore aufbauen zu können. Anschließend sollen die Codierungsrichtlinien mittels einer weiteren MontiCore Grammatik überprüft werden und als Ausgabe eine entsprechende Auswertung im XML-Format liefern. Die Entwicklung der Codierungsrichtlinien sowie das Testen dieser erfolgt direkt bei VW in Wolfsburg.

In der VW Entwicklung existieren schon entsprechende (textuelle) Codierungsrichtlinien, die in entsprechende Grammatiken umgesetzt werden müssen. Ziel ist eine vollautomatische Überprüfung der Codierungsrichtlinien, wo dies sinnvoll erscheint.

Vorkenntisse: C++, Grammatiken, Compilerbau, Java, UML, Test-Konzepte

Betreuer: Christian Berger
Beurteilung: Prof. Dr. Bernhard Rumpe

(Weitere Themenstellungen in diesem Projektbereich sind auf Anfrage erhältlich.)