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

Neukirchen, Helmut Wolfram

dc.contributor.advisor	Grabowski, Jens Prof. Dr.	de
dc.contributor.author	Neukirchen, Helmut Wolfram	de
dc.date.accessioned	2004-11-24T15:27:35Z	de
dc.date.accessioned	2013-01-18T13:24:48Z	de
dc.date.available	2013-01-30T23:50:56Z	de
dc.date.issued	2004-11-24	de
dc.identifier.uri	http://hdl.handle.net/11858/00-1735-0000-0006-B3E3-1	de
dc.identifier.uri	http://dx.doi.org/10.53846/goediss-2583
dc.description.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 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.	de
dc.format.mimetype	application/pdf	de
dc.language.iso	eng	de
dc.rights.uri	http://webdoc.sub.gwdg.de/diss/copyr_diss.html	de
dc.title	Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests	de
dc.type	doctoralThesis	de
dc.title.translated	Sprachen, Werkzeuge und Muster für die Spezifikation von verteilten Echtzeit-Tests	de
dc.contributor.referee	Grabowski, Jens Prof. Dr.	de
dc.date.examination	2004-08-25	de
dc.subject.dnb	004 Informatik	de
dc.description.abstracteng	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.	de
dc.contributor.coReferee	Hogrefe, Dieter Prof. Dr.	de
dc.subject.topic	Mathematics and Computer Science	de
dc.subject.ger	Black-box Test	de
dc.subject.ger	Echtzeit	de
dc.subject.ger	Testbeschreibung	de
dc.subject.ger	Testgenerierung	de
dc.subject.ger	Muster	de
dc.subject.ger	TTCN-3	de
dc.subject.ger	MSC	de
dc.subject.eng	Black-box testing	de
dc.subject.eng	Real-time	de
dc.subject.eng	Test specification	de
dc.subject.eng	Test generation	de
dc.subject.eng	Patterns	de
dc.subject.eng	TTCN-3	de
dc.subject.eng	MSC	de
dc.subject.bk	54.52	de
dc.subject.bk	54.32	de
dc.identifier.urn	urn:nbn:de:gbv:7-webdoc-300-2	de
dc.identifier.purl	webdoc-300	de
dc.affiliation.institute	Fakultät für Mathematik und Informatik	de
dc.subject.gokfull	AH	de
dc.identifier.ppn	478779348	de

Dateien

Name:neukirchen.pdf

Größe:1.434Mb

Format:PDF

Beschreibung:Dissertation

Öffnen

Name:: neukirchen.pdf
Größe:: 1.434Mb
Format:: PDF
Beschreibung:: Dissertation

Öffnen

Das Dokument erscheint in:

Fakultät für Mathematik und Informatik (inkl. GAUSS) [518]

Zur Kurzanzeige