main page

staff

teaching

theses

research

publications

books

press

jobs

download


TU-BS

FB Informatik
TU Braunschweig

Diplom-/Masterarbeit

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

Aufgabenstellung

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.
  • 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.
  • 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.
  • 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.
  • Zusammenfassend sind die Vor- und Nachteile sowie die Grenzen des Verfahrens anhand der Beispielanwendung gegenüber den in Abschnitt 1 analysierten Verfahren darzustellen

Abstract

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.