Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests

Abstract

Für moderne Verteilte Systeme ist es wichtig, dass sie Echtzeit-Anforderungen einhalten, um z.B. innerhalb einer gegebenen Zeitspanne eine Antwort auf eine Anfrage zu liefern. Testen ist die wichtigste Maßnahme zur Qualitätssicherung von Software-Systemen. Das Echtzeit-Testen von Verteilten Systemen wird jedoch bisher nur unzureichend unterstützt. Diese Dissertation behandelt Sprachen, Werkzeuge und Muster für die Beschreibung von verteilten Echtzeit-Tests. Zur Testbeschreibung wird TIMED-TTCN-3 eingeführt. Es handelt sich hierbei um eine Echtzeit-Erweiterung der standardisierten Testbeschreibungssprache Testing and Test Control Notation version 3 (TTCN-3). Um die Entwicklung von Echtzeit-Tests zu vereinfachen, werden ein Werkzeug und die zugrundeliegenden Übersetzungsregeln vorgestellt, die es ermöglichen, TIMEDTTCN-3 Echtzeit-Testfälle aus Echtzeit-Testzwecken zu generieren. Echtzeit-Testzwecke werden hierzu anhand von Message Sequence Charts (MSCs), die Echtzeit-Eigenschaften enthalten, formalisiert. Um die Spezifikation von Echtzeit-Anforderungen und die Auswertung von Echtzeit-Tests zu vereinheitlichen, werden Realtime Communication patterns (RTC-patterns) eingeführt. Diese Muster bieten wiederverwendbare Lösungen zur Spezifikation von Echtzeit-Tests mit MSC und TIMEDTTCN-3. In diesem Zusammenhang werden außerdem eine Übersicht und eine allgemeine Klassifikation von existierenden Test-Mustern gegeben.