Forschungsthemen
[GB] Entwurf und Implementierung einer generischen Regressiontestsuite für lexikalische und syntaktische Übersetzerkomponenten
Die Entwicklung domänenspezifischer Werkzeuge und deren Sprachen (DSL) nimmt, dank der modelgetriebenen Softwareentwicklung (MDSE) und der modelgetriebenen Architektur (MDA), einen immer größeren Platz in der modernen Softwareentwicklung ein. Von entscheidender Bedeutung ist daher die Frage nach effizienten und insbesondere zuverlässigen Techniken zur Realisierung der dafür notwendigen Generatoren/Übersetzern.
Ziel dieser Belegarbeit ist es deshalb, eine Regressiontestsuite zur erstellen, welche die Validierung der lexikalischen und syntaktischen Komponenten von Übersetzern während der Evolution derselben ermöglicht. Insbesondere soll die Erstellung, Archivierung, Kombination, Evolution und Standardisierung von Testfällen ermöglicht werden, so dass beliebige lexikalische/syntaktische Übersetzerkomponenten gezielt geprüft werden können. Die Testsuite soll dabei einerseits die Entwicklung von DSLs, basierend auf spezifischen Übersetzergeneratoren, unterstützen und andererseits eine Metaumgebung darstellen, in welcher die Testfälle verschiedenster lex./syn. Werkzeuge verwaltet und übersetzerübergreifend verwendet werden können.
Neben obigen funktionalen Anforderungen ist die Entwicklung eines Konzeptes zum möglichst einfachen Anschluss der Testsuite an Übersetzer(-generatoren), neben der Performance (dem Laufzeitoverhead), ein entscheidendes Qualitätskriterium. Eine entsprechende Anbindung an verschiedene Werkzeuge basierend auf LL(k), LR(k), GLR und scannerless parsing ist zu implementieren.
Betreuer: Sven Karol