Zusammenfassung
Das Testen spielt in der Softwareentwicklung eine um so größere Rolle, je höher die Anforderungen an die Sicherheit des Systems sind. Nicht selten übersteigen die Aufwände für Test und Validation die für die eigentliche Erstellung um ein Vielfaches. Schon aus diesem Grunde ist es erforderlich, Fehler in Spezifikation oder Design so früh wie möglich zu erkennen, um spätere Softwareänderungen mit anschließender kostspieliger Wiederholung der Tests weitgehend zu vermeiden. Hier gewinnt der Einsatz formaler Methoden der Softwareentwicklung immer mehr an Bedeutung, da diese eine sehr viel präzisere Beschreibung des Systems erlauben, als dies mit “herkömmlichen” CASE Methoden möglich ist. Die Möglichkeit mathematischer Korrektheitsbeweise eröffnet hierbei neue Möglichkeiten. Doch auch beim Testen bieten formale Spezifikationen wertvolle Unterstützung.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
U. Hamer, H.-M. Hörcher, J. Peleska: Safer Soßware — an Introduction into Formal Software Engineering DST Deutsche System-Technik GmbH, Kiel, 1993
H.-M. Hörcher: Das DST-UnitTestbed zur automatisierten Durchführung von Unittests erscheint in: GI-Software Trends, Mitteilungen der Fachgruppe “Software-Engineering”, Mai 1993
H.-M. Hörcher, U. Schmidt: Programming with VDM Domains in VDM’90, VDM and Z, pp.122–134, LNCS 428, Springer Verlag Heidelberg, 1990
P. Liggesmeyer, H.M. Sneed, A. Spillner (Hrsg.): Testen, Analysieren und Verifizieren von Software Reihe Informatik Aktuell, Springer Verlag, Heidelberg, 1992
E. Mikk: Übersetzung von Z-Spezifikationen zur automatisierten Auswertung von Testergebnissen Diplomarbeit Christian Albrecht Universität Kiel, in Vorbereitung
G.J. Myers: Methodisches Testen von Programmen R.Oldenbourg Verlag, München, 1989
J.M. Spivey: The Z Notation — A Reference Manual Prentice Hall International, 1992
J.B. Wordsworth: Software Development with Z Addison-Wesley, 1992
DST-fuzz Reference and User’s Guide DST Deutsche System-Technik GmbH, Kiel, 1992
Application of Z Specifications for Black Box Testing Schulungsunterlagen FSW-Z, DST Deutsche System-Technik GmbH, Kiel, 1992
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hörcher, HM. (1993). Formale Spezifikationen zur Auswertung von Testergebnissen. In: Reichel, H. (eds) Informatik — Wirtschaft — Gesellschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78486-6_41
Download citation
DOI: https://doi.org/10.1007/978-3-642-78486-6_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57192-6
Online ISBN: 978-3-642-78486-6
eBook Packages: Springer Book Archive