TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

Agenda

Es sprechen Studenten über ihre abgeschlossenen Diplomarbeiten und Systementwicklungsprojekte.

Am Mittwoch, 06.03.19, ab 15:00 Uhr, im Raum Alonzo Church, 01.09.014:

Runtime Verification for Dynamic Architectures

The architecture of a system captures major design decisions. Changes in a system’s implementation may cause changes in the architecture. In the worst case, the actual architecture violates important design decisions. This is called architectural erosion and it is a common problem in industry, since it may have severe consequences on the quality of the resulting system. Research has been focused on the development of tools and techniques to discover architectural erosion. Most of these approaches use static analysis techniques. While this allows to detect several violations, some important constraints are not amenable to static analysis. Thus, with this thesis, we propose an approach based on runtime verification to detect architectural erosion. To this end, we propose a systematic way to translate a formal specification of architectural constraints to monitors which can be used to detect violations of these constraints. The approach is implemented in Eclipse/EMF, demonstrated by means of a running example, and evaluated by means of the case study.

Testdesign mit binären Entscheidungsdiagrammen in Specmate

Das zentrale Problem beim Testen von Software ist die Auswahl von Testfällen, mit denen diese ausgeführt wird. Beim Blackbox-Testen basieren die Testfälle auf den im Entwicklungsprozess definierten Anforderungen an die Software. Anforderungen, die logische Zusammenhänge beschreiben, können häufig als binäres Entscheidungsdiagramm (engl. Binary Decision Diagram, kurz: BDD) graphisch dargestellt werden. In der Arbeit wird eine Methode zur Testgenerierung aus einer Anforderung vorgestellt, bei welcher der Testdesigner die Anforderung in ein BDD übersetzt. Aus diesem werden dann automatisch Testfälle generiert. Das Ziel der Arbeit ist die Beantwortung der Frage, wie Testfälle aus einem BDD erzeugt werden können. Der wissenschaftliche Beitrag der Arbeit besteht aus den folgenden zwei Teilen: (1) Es wird ein Algorithmus beschrieben, der aus einem eingegebenen BDD automatisch Testfälle generiert. (2) Der Algorithmus wurde evaluiert. Dafür wurde er als Erweiterung von Specmate, einem Programm zum Design von Tests, implementiert.