Neukirchen, Helmut Wolfram: Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests

Sprachen, Werkzeuge und Muster für die Spezifikation von verteilten Echtzeit-Tests

Dissertation (PDF (.pdf), 1.469 KB)

Schlüsselwörter
Black-box Test, Echtzeit, Testbeschreibung, Testgenerierung, Muster, TTCN-3, MSC
Black-box testing, Real-time, Test specification, Test generation, Patterns, TTCN-3, MSC

Sachgruppe der DNB
004 Informatik
Basisklassifikation
54.52, 54.32
Göttinger Online Klassifikation
AH

Dissertation zur Erlangung des Doktortitels, angenommen von: Georg-August-Universität Göttingen, Mathematisch-naturwissenschaftliche Fakultäten, 2004-08-25

Abstract (ENG)

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.

Abstract (GER)

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.

Niedersächsische Staats- und Universitätsbibliothek Göttingen
37070 Göttingen

Urheberrecht

Copyright