Konzeption und Implementierung eines Verfahrens zur Analyse von Modellverfeinerungen und zur Testdatenerzeugung

Art der Arbeit:

Diplomarbeit

Institution:

Lehrstuhl für Informatik 11 (Software Engineering)

Betreuer:

Wischermann, Dirk

Telefon +49-9131-85-27870

Beschreibung der Arbeit:

In den Entwurfsphasen hat der Softwareentwickler die Möglichkeit, die zu realisierende Logik in Verhaltensmodellen zu beschreiben; diese zunächst relativ groben Modelle werden anschließend über mehrere Konkretisierungsstufen bis hin zum Code verfeinert. Durch das modellbasierte Testen eröffnet die modellgetriebene Softwareentwicklung insbesondere die Chance, Testfälle bereits in den frühen Phasen anhand der zugrundeliegenden Verhaltensmodelle zu gewinnen, also noch bevor der Code geschrieben wird. Interessant ist hierbei die Frage, welches Fehlererkennungspotential derartige Testfälle bieten. Um der Untersuchung dieser Frage beizutragen, wird mit dieser Diplomarbeit das Ziel verfolgt, mit möglichst geringem manuellem Aufwand Testsequenzen von abstrakten Entwurfsebenen auf Mengen zugehöriger Testsequenzen auf verfeinerten Entwurfsebenen zu übertragen.

• Untersuchung möglicher Klassen von Veränderungen an Graphen, insbesondere an UML-Modellen

• Charakterisierung von Verfeinerungen bzw. Konkretisierungen als spezielle Klasse von Veränderungen von Zustandsautomaten bzw. Aktivitätendiagramme

• Zuordnung von Pfaden bzw. Pfadklassen in abstrakten und zugehörigen konkretisierten Modellen entsprechend dem vorgegebenen Überdeckungskriterium

• Entwicklung eines Verfahrens zur Generierung aller Testsequenzen eines verfeinerten Zustandsautomaten, die einer vorgegebener Testsequenz auf einer abstrakteren Modellierungsebene entsprechen

• Implementierung eines Werkzeugs zur automatischen Übertragung abstrakter Testsequenzen auf Mengen dazu entsprechender verfeinerter Testsequenzen

Bearbeitungszustand:

Die Arbeit ist bereits abgeschlossen.