ATG-Miner

In diesem Projekt sollen Analysemethoden zur Extraktion von Grammatiken aus Softwaresystemen erforscht werden. Als Erweiterung zu bekannten Analysemethoden sollen vor allem semantische Aspekte berücksichtigt werden, um automatisch attributierte Grammatiken (ATG) durch Analyse von Softwaresystemen erzeugen zu können. Die Erweiterung um semantische Aspekte verspricht eine Verbesserung von grammatikbasierten Testverfahren und eröffnet darüber hinaus neue Anwendungsmöglichkeiten in der Softwareentwicklung (z.B. Redokumenation), in der Grammatiken bisher keine Rolle spielten. Für das Extrahieren von ATGen sollen im Gegensatz zu existierenden Ansätzen, die dynamische Analysen einsetzen, moderne symbolische Analysemethoden zum Einsatz kommen, die vor allem bezüglich der Extraktion semantischer Aspekte geeignet sind.