Entwicklungsbegleitendes Testen mittels UML Sequenzdiagrammen

UML Sequenzdiagramme sind ein wesentlicher Bestandteil des Designs bei der Anwendung von einer Reihe von verbreiteten Softwareentwicklungsprozessen wie zum Beispiel Rational Unified Process oder Feature Driven Development. Außerdem finden sie Verwendung bei der Beschreibung von Design Patterns und generell bei der Beschreibung von Schnittstellen. Da die Implementierung konform zu diesen Diagrammen erfolgen soll, stellt sich die Frage, inwieweit sich die Diagramme als Basis für dynamische Tests nutzen lassen. Diese Fragestellung ist insofern nahe liegend, da UML Sequenzdiagramme sich mit ihren Objekten und Nachrichten intuitiv auf die Instanzen und Methodenaufrufe eines objektorientierten Programms abbilden lassen und damit einen logischen Testfall darstellen. Ergänzt man die Methodenaufrufe im Sequenzdiagramm um Aufrufparameter und Rückgabewerte, so erhält man einen konkreten Testfall für die Kommunikation zwischen den abgebildeten Instanzen der zu testenden Klassen. Im ersten Teil dieser Arbeit wird der Begriff der "Testbaren Sequenzdiagramme" eingeführt, der die Anforderungen an ein UML Sequenzdiagramm definiert, die sicherstellen, dass das Diagramm einen konkreten, d.h. ausführbaren Testfall beschreibt. Einzelne testbare Sequenzdiagramme lassen sich zu kombinierten testbaren Sequenzdiagrammen zusammenfügen. Dies reduziert sowohl die Anzahl als auch die Komplexität der benötigten einzelnen testbaren Sequenzdiagramme. Da das in einem testbaren Sequenzdiagramm beschriebene Verhalten nicht nur als Testeingabe dient, sondern auch gleichzeitig das erwartete Ergebnis beschreibt, bietet es sich beim Testen auf der Basis von Sequenzdiagrammen an, die Testergebnisse ebenfalls als Sequenzdiagramme darzustellen. Um eine effektive Evaluation der Testergebnisse zu ermöglichen, wird für testbare Sequenzdiagramme ein Verfeinerungskonzept entwickelt, das eine Informationshierarchie für testbare Sequenzdiagramme definiert. Im zweiten Teil der Arbeit wird das Testwerkzeug SeDiTeC vorgestellt, das die im ersten Teil der Arbeit vorgestellten Konzepte implementiert. Dabei werden weitere Anforderungen definiert, die an ein solches Testwerkzeug gestellt werden, und es wird beschrieben, wie diese in SeDiTeC realisiert wurden. Hierzu gehört u.a. die Möglichkeit der automatischen Generierung von "intelligenten" Teststubs