Überdeckungskriterien für kontextfreie Grammatiken und ihre Anwendungen
From GRK-Wiki
- Studienarbeit
- in German
Author
- Guido Wachsmuth, University of Rostock, Germany
Abstract
Grammatiken spielen bei der Software-Entwicklung eine fundamentale Rolle. Sie werden für Syntax-Definitionen und zur Definition von Austauschformaten genutzt. Wichtige Software wie Parser, Compiler und Debugger basiert auf Grammatiken. Auch bei der Software Renovation und beim Software Refactoring, wichtige Disziplinen des Software Engineering, bilden Grammatiken die Basis für die verwendeten Tools.
Grammatiken sollten daher, wie Software auch, auf der Basis wohldefinierter Konzepten entwickelt und gewartet werden. Eines der Konzepte dieses Grammar Engineering ist das Testen von Grammatiken. Im Software Engeneering spielt das Testen bereits eine wichtige Rolle. Dabei existieren dort formale Kriterien zur Durchführung und Bewertung eines systematischen Tests. Das systematische Testen von Grammatiken ist auf Basis ähnlicher Kriterien möglich. Diese Kriterien orientieren sich dabei an der Überdeckung der einzelnen Konstrukte der Grammatik. Ähnlich wie beim Test von Software lassen sich mit Hilfe dieser Überdeckungskriterien nicht nur Testläufe bewerten sondern auch Testmengen generieren, welche einem solchen Kriterium genügen.
In dieser Arbeit wird schrittweise die Entwicklung der Überdeckungskriterien von der Regelüberdeckung bis zur kontextbezogenen Zweigüberdeckung nachvollzogen. Anschließend werden Anwendungen dieser Kriterien wie die Überdeckungsanalyse, die Testmengengenerierung und die Grammatikspezialisierung vorgestellt. Dies geschieht am Beispiel einer im Rahmen der Arbeit entstandenen Implementation innerhalb der Language Processing Toolbox Laptob.
Download paper
BibTeX
@Misc{wachsmuth:sa,
author = {Guido Wachsmuth},
title = {{\"U}berdeckungskriterien für kontextfreie {G}rammatiken und ihre {A}nwendungen},
year = 2003,
month = nov,
note = {Studienarbeit, in German}
}
