Zusammenfassung
Die moderne Gesellschaft ist in zunehmendem Maße von der Einsatzbereitschaft und dem korrekten Funktionieren von Computern abhängig. Insbesondere steigt die Menge der im Einsatz befindlichen Software ständig. In der Praxis wird das zufriedenstellende Funktionieren von Programmen nur durch Testen überprüft. Dadurch kann jedoch nur die Anwesenheit, nicht aber die Abwesenheit von Programmfehlern gezeigt werden. Testen kann insbesondere in sensiblen Bereichen wie z.B. der Medizin oder im Bankbereich nicht als ausreichender Korrektheitsnachweis akzeptiert werden. Das Überprüfen von Programmen ausschließlich anhand von Tests wird in zunehmendem Maße als unbefriedigender Zustand empfunden.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1992 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Heisel, M. (1992). Einleitung. In: Formale Programmentwicklung mit dynamischer Logik. DUV: Datenverarbeitung. Deutscher Universitätsverlag, Wiesbaden. https://doi.org/10.1007/978-3-663-14621-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-663-14621-6_1
Publisher Name: Deutscher Universitätsverlag, Wiesbaden
Print ISBN: 978-3-8244-2031-5
Online ISBN: 978-3-663-14621-6
eBook Packages: Springer Book Archive