Zusammenfassung
Im ersten Teil wird ein Verfahren beschrieben, das aus dem Programmcode mögliche Programmabläufe und die zugehörigen Abbildungen ermittelt. Ausgehend davon stellt der zweite Teil ein im Hinblick auf die Analyse komplizierterer Programmteile modifiziertes Verfahren und dessen Automatisierung vor. Ein Vergleich der so gefundenen Eigenschaften eines Programms mit seinen Spezifikationen überprüft, ob das Programm seinen Spezifikationen genügt.
This is a preview of subscription content, log in via an institution to check access.
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
Ehrenberger, W.: Zur Theorie der Analyse von Prozeßrechnerprogrammen, Laboratorium für Reaktorregelung und Anlagensicherung, Garching MRR-Bericht 118, April 1973
Ramamoorthy, C.V.: Analysis of Graphs by Connectivity Considerations, Journal of the ACM, Vol. 13, No. 2, April 1966, pp. 211–222
Okroy, K.: Grundzüge eines Verfahrens zur automatischen Analyse sequentieller Teile von Prozeßrechnerprogrammen, PDV-Entwicklungsnotiz PDV-E 73, April 1976
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Okroy, K., Kersken, M. (1977). Anwendung und Automatisierung der Analyse von Prozessrechnerprogrammen. In: Schmidt, G. (eds) Fachtagung Prozessrechner 1977. Informatik - Fachberichte, vol 7. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66599-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-66599-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08123-4
Online ISBN: 978-3-642-66599-8
eBook Packages: Springer Book Archive