Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests
Sprachen, Werkzeuge und Muster für die Spezifikation von verteilten Echtzeit-Tests
von Helmut Wolfram Neukirchen
Datum der mündl. Prüfung:2004-08-25
Erschienen:2004-11-24
Betreuer:Prof. Dr. Jens Grabowski
Gutachter:Prof. Dr. Jens Grabowski
Gutachter:Prof. Dr. Dieter Hogrefe
Dateien
Name:neukirchen.pdf
Size:1.43Mb
Format:PDF
Description:Dissertation
Zusammenfassung
Englisch
For modern distributed systems, it is important that they adhere to real-time requirements, e.g. to deliver a response to a request within a given deadline. For assuring the quality of software systems, testing is the most important means. However, a mature support for real-time testing of distributed systems is missing. This thesis treats languages, tools, and patterns for the specification of distributed real-time tests. For test specification, TimedTTCN-3 is proposed. It is a real-time extension of the standardised Testing and Test Control Notation version 3 (TTCN-3). To ease real-time test development, a tool and underlying transformation rules which allow to generate TimedTTCN-3 test cases from real-time test purposes are presented. Message Sequence Charts (MSCs) are used to express real-time properties as formalised real-time test purposes. In order to harmonise real-time requirement specification and real-time test evaluation, Real-Time Communication patterns (RTC-patterns) are introduced. They provide reusable solutions for real-time test specification based on MSC and TimedTTCN-3. The work on this kind of patterns includes also a survey and a classification of existing test patterns in general.
Keywords: Black-box testing; Real-time; Test specification; Test generation; Patterns; TTCN-3; MSC
Weitere Sprachen
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 TimedTTCN-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 Real-Time 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.
Schlagwörter: Black-box Test; Echtzeit; Testbeschreibung; Testgenerierung; Muster; TTCN-3; MSC