Quality Assurance of Test Specifications for Reactive Systems

Zeiß, Benjamin

dc.contributor.advisor	Grabowski, Jens Prof. Dr.	de
dc.contributor.author	Zeiß, Benjamin	de
dc.date.accessioned	2010-08-20T15:27:33Z	de
dc.date.accessioned	2013-01-18T13:20:07Z	de
dc.date.available	2013-01-30T23:50:54Z	de
dc.date.issued	2010-08-20	de
dc.identifier.uri	http://hdl.handle.net/11858/00-1735-0000-0006-B3DA-8	de
dc.identifier.uri	http://dx.doi.org/10.53846/goediss-2464
dc.identifier.uri	http://dx.doi.org/10.53846/goediss-2464
dc.description.abstract	Umfassendes Testen von modernen kommunizierenden Systemen beinhaltet oft große und komplexe Testsuiten, die über den Lebenszyklus des getesteten Systems hinweg gewartet werden müssen. Daher ist Qualitätssicherung von Testsuiten eine unvermeidliche Aufgabe, die letztendlich auch einen Einfluss auf die Qualität des getesteten Systems haben kann.In dieser Arbeit wird eine ganzheitliche Methode zur analytischen Qualitätssicherung von Testspezifikationen vorgestellt. Sie beschreibt die Qualität von Testspezifikationen, indem ein allgemeines Qualitätsmodell für Softwareprodukte adaptiert wird. Es wird gezeigt wie statisches Testen zielgerichtet auf Testspezifikationen angewendet werden kann und wie dynamisches Testen von abstrakten Testspezifikationen möglich ist. Für den dynamischen Testansatz wird eine Reverse-Engineering Methode zur Gewinnung von Test-Verhaltensmodellen beschrieben sowie eine Konsistenzanalyse für Systemantworten in Testsuiten diskutiert. Basierend auf Qualitätsbewertungen können Testsuiten bezüglich spezifischer Qualitätscharakteristiken des Qualitätsmodelles verbessert werden. Zuletzt werden die präsentierten Ansätze in einer Fallstudie validiert und Ihre praktische Anwendbarkeit mit Hilfe einer prototypischen Implementierung gezeigt.	de
dc.format.mimetype	application/pdf	de
dc.language.iso	eng	de
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/	de
dc.title	Quality Assurance of Test Specifications for Reactive Systems	de
dc.type	doctoralThesis	de
dc.title.translated	Qualitätssicherung von Testspezifikationen für Reaktive Systeme	de
dc.contributor.referee	Grabowski, Jens Prof. Dr.	de
dc.date.examination	2010-06-02	de
dc.subject.dnb	004 Informatik	de
dc.description.abstracteng	Extensive testing of modern communicating systems often involves large and complex test suites that need to be maintained throughout the life cycle of the tested systems. For this purpose, quality assurance of test suites is an inevitable task that eventually may have an impact on the quality of the system under test as well.In this thesis, we present a holistic method towards the analytical quality engineering of test specifications. We cover in detail what constitutes the quality of test specifications by adapting a quality model for software to test specifications and present how to apply target-oriented static testing to test specifications. We also introduce a dynamic testing method for test specifications, including a reverse engineering approach for test behavior models, and present a method for the consistency analysis of system responses in test suites. Based on the quality assessments made, the test suites can be improved regarding specific quality characteristics of this quality model. Finally, we validate and demonstrate the applicability of our approaches in a case study by means of a prototype implementation.	de
dc.contributor.coReferee	Schieferdecker, Ina Prof. Dr.	de
dc.subject.topic	Mathematics and Computer Science	de
dc.subject.ger	Qualitätssicherung	de
dc.subject.ger	Testspezifikationen	de
dc.subject.ger	Kommunizierende Systeme	de
dc.subject.ger	Reverse-Engineering	de
dc.subject.ger	TTCN-3	de
dc.subject.ger	Qualitätsmodell	de
dc.subject.ger	Modell-basierte Analyse	de
dc.subject.eng	Quality Assurance	de
dc.subject.eng	Test Specifications	de
dc.subject.eng	Communicating Systems	de
dc.subject.eng	Reverse-Engineering	de
dc.subject.eng	TTCN-3	de
dc.subject.eng	Quality Model	de
dc.subject.eng	Model-Based Analysis	de
dc.subject.bk	54.52	de
dc.identifier.urn	urn:nbn:de:gbv:7-webdoc-2587-5	de
dc.identifier.purl	webdoc-2587	de
dc.affiliation.institute	Fakultät für Mathematik und Informatik	de
dc.subject.gokfull	AHD 240: Software/Program Verification {Computing. Software Engineering}	de
dc.subject.gokfull	AHD 250: Testing and Debugging {Computing. Software Engineering}	de
dc.subject.gokfull	AHD 280: Metrics {Computing. Software Engineering}	de
dc.identifier.ppn	635571684	de

Dateien

Name:zeiss.pdf

Größe:1.535Mb

Format:PDF

Beschreibung:Dissertation

Öffnen

Name:: zeiss.pdf
Größe:: 1.535Mb
Format:: PDF
Beschreibung:: Dissertation

Öffnen

Das Dokument erscheint in:

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

Zur Kurzanzeige