Statische und dynami... Studien- und Diploma... Statische und dynami...

Bachelorarbeit

Nachweis der Ausführbarkeit von Pfaden in erweiterten Zustandsmaschinen mittels heuristischer Verfahren

 

Beschreibung

Die Gültigkeit bzw. Nichtgültigkeit bestimmter Eigenschaften in erweiterten endlichen Zustandsmaschinen setzt im Allgemeinen die Ausführbarkeit bestimmter Pfade in der betrachteten Zustandsmaschine voraus. Die Pfadausführbarkeit ist allerdings nicht automatisiert entscheidbar; man ist deshalb auf heuristische Methoden angewiesen. Im Rahmen dieser Arbeit sind in einem ersten Schritt Verfahren aus der Literatur zu identifizieren, die mittels heuristischer lokaler Optimierung das Ziel verfolgen, zu einem fest vorgegebenen Programmcode Testdaten zur Ausführung vorgegebener Programmpfade zu finden. Anschließend ist zu untersuchen, inwieweit diese Verfahren so angepasst werden können, dass sie zur Erzeugung von Testdaten zur Ausführung vorgegebener Pfade einer beliebigen erweiterten endlichen Zustandsmaschine einsetzbar sind. Ausgehend von diesen Erkenntnissen ist ein geeignetes Verfahren zu wählen und nach Anpassung zu implementieren. Abschließend ist das implementierte Verfahren anhand eines vom Lehrstuhl zur Verfügung gestellten Beispiels zu evaluieren.

Bearbeiter: Rodrigo Chau

Betreuer: Dipl.-Inf Marc Spisländer