Dynamisches Code-Analyseverfahren für Benutzerschnittstellen am Beispiel einer Web-Anwendung

<h3>Diplom-/Masterarbeit</h3>
<h1>Dynamisches Code-Analyseverfahren für Benutzerschnittstellen am Beispiel einer
Web-Anwendung</h1>

<h2> Aufgabenstellung </h2>

Mit der Diplomarbeit soll analysiert werden, ob durch die Anwendung von
Code-Analyseverfahren umfassendere Informationen über die Korrektheit und
Konsistenz der Steuerflüsse sowie über die Wertebereiche der
Zustandsvariablen gewonnen werden köonnen.
<ul>
<li>Dazu sind die in der Fachliteratur bekannten Verfahren der statischen und
dynamischen Codeanalyse sowie die Verfahren zum Test von Benutzerschnittstellen
zu analysieren. Grundlage dafür soll eine definierte bzw. standardisierte
und einheitlich angewendete Terminologie sein. Entsprechend den Ergebnissen
der Analyse ist das Konzept für ein Codeanalyse-Verfahren zur Verifikation
von Software-Benutzerschnittstellen zu begründen.</li>

<li>Zur Demonstration des Verfahrens ist anhand einer vorgegebenen Metasprache
ein Übersetzer zu entwickeln, welche eine dynamische PHP-Web-Anwendung
als Beispiel in diese Metasprache übersetzt. 
Aufgabe des Übersetzers soll es sein, die Zweige im Code zu identifizieren
und die Bedingungen zur Erreichung eines jeden Zweiges für weitere Untersuchungen zu speichern.</li>

<li>In einem weiteren Schritt soll die in die Metasprache übersetzte Anwendung
beispielhaft anhand ausgewählter Folgen von Benutzeraktionen analysiert werden,
um die Wertebereiche der zugeordneten Zustandsvariablen der Software festzustellen.
Die dabei erhaltenen Ergebnisse sind auf ihre Eignung zur Beurteilung der Korrektheit
und Konsistenz der Software gegenüber den festgelegten Softwareanforderungen
und/oder dem Design der Software zu untersuchen. </li>

<li>Zusammenfassend sind die Vor- und Nachteile sowie die Grenzen des Verfahrens
anhand der Beispielanwendung gegenüber den in Abschnitt 1 analysierten Verfahren darzustellen</li>
</ul>

<h2> Abstract </h2>

Der Test von Software Benutzerschnittstellen kann je nach Designstruktur
aufgrund der kombinatorischen Vielfalt der Nutzungsmöglichkeiten, der
Erreichbarkeit von Funktionalitäten in AbhÄngigkeit vom dynamischen Zustand der
Bedienelemente zur Laufzeit oftmals nicht zu 100 % Zweigabdeckung mit vertretbarem Aufwand
durchgeführt werden. Das Testen aller Navigationswege durch Ausführen der
Anwendung ist aufgrund der Vielzahl der Navigationswege
aufwändig bis unmöglich.
In dieser Diplomarbeit  wird ein auf dem
Software-Code basierendes Analyseverfahren zur
Unterstützung der Verifikation von Benutzerschnittstellen erprobt.