Kurzfassung
Ein Programm wird korrekt genannt, wenn es seiner Spezifikation genügt. Üblicherweise wird dabei die Annahme gemacht, daß die Umgebung des Programms (z.B. die Hardware) sich wohlverhält. Wenn diese Annahme wegfällt, so muß darauf geachtet werden, daß ein Programm sich auch mit unerwartetem Fehlverhalten seiner Umgebung abfinden kann (Robustheit).
Ziel dieser Arbeiten ist es, streng formale Methoden für die Erstellung robuster Programme nutzbar zu machen. Wir geben eine denotationelle Semantik für robuste Programme, welche auf dem Prinzip beruht, einem Programm mehrere Ausgangpunkte zuzuordnen. Dadurch wird einerseits die Validation robuster Programme ermöglicht, andererseits die praktische Erstellung solcher Programme unterstützt. Wir gehen auf den Entwurf des “Fehlerteils” eines Programms sowohl theoretisch als auch anhand eines einfachen Beispiels ein.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
R.J. Back: Exception Handling with Multi Exit Statements. Report IW125, Mathematisch Centrum, Amsterdam (1979). Also IFB 52, Springer Verlag, pp.71–82.
E. Best: Relational Semantics of Concurrent Programs (with some Applications). Formal Description of Programming Concepts II (ed. D.Bjørner), pp.431–452 (1983).
E. Best and F. Cristian: Systematic Detection of Exception Occurrences. Science of Computer Programming, Vol.1(1), pp.115–144 (1981).
F. Cristian: Correct and Robust Programs. IEEE Transactions on Software Engineering (1984).
F. Cristian: A Rigorous Approach to Fault-Tolerant System Development. Research Report RJ3754, IBM San José (1983).
F. Cristian and E. Best: Consistent Relational and Predicate Transformer Semantics of a Sequential Deterministic Language Supporting Exception Handling. Arbeitspapiere der GMD, Vol. 20 (1983).
E.W. Dijkstra: A Discipline of Programming. Prentice Hall (1976).
C.A.R. Hoare: An Axiomatic Basis for Computer Programming. CACM Vol. 12 (1969).
A. Wang: An Axiomatic Basis for Proving the Total Correctness of Goto-Programs. BIT 16, pp.88–102 (1976).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Best, E. (1984). Formale Methoden Zur Erstellung Robuster Software. In: Belli, F., Pfleger, S., Seifert, M. (eds) Software-Fehlertoleranz und -Zuverlässigkeit. Informatik-Fachberichte, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69705-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-69705-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13383-4
Online ISBN: 978-3-642-69705-0
eBook Packages: Springer Book Archive