Static and dynamic a... Theses on offer Static and dynamic a...

Bachelor thesis

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

(Original Title:Nachweis der Ausführbarkeit von Pfaden in erweiterten Zustandsmaschinen mittels heuristischer Verfahren)

 

Summarisation

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.

Author: Rodrigo Chau

Tutor: Dipl.-Inf Marc Spisländer