Zusammenfassung
Verschiedene Verfahren der Compiler-Validierung werden gegenübergestellt. Die Spanne bewegt sich dabei von Black-Box-Validierung bis zur White-Box-Validierung. Ein halb-formales Verfahren wird vorgestellt, das die Lücke zwischen formalen mathematischen und weniger formalen Methoden schließen soll. Die Anwendungsbereiche des vorgestellten Verfahrens liegen vor allem in Bereichen der Validierung, die (bis jetzt) einer exakten mathematischen Behandlung nicht zugänglich sind. Das trifft insbesondere auf Systeme mit Multitasking zu.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
Blieberger, J., Schmid, U., Preemptive LCFS Scheduling in Hard Real-Time Applications, wird erscheinen in ‘Performance Evaluation’, 1991
DIN 66253, Teil 2, Programmiersprache PEARL, Full PEARL, Beuth Verlag GmbH, Berlin, Okt. 1982
DIN 66256, Programmiersprache Pascal, Beuth Verlag GmbH, Berlin, Jan. 1985
Dillon, L.K., Using Symbolic Execution for Verification of Ada Tasking Programs, ACM Trans. on Prgr. Lang, and Systems, Vol. 12, No. 4, Oct. 1990, p. 643–669
Flajolet, P., Odlyzko, A.M., Limitdistributions for coefficients of iterates of polynomials with applications to combinatorial enumerations, Math. Proc. Camb. Phil. Soc., 1984, Vol. 96, p. 237–253
Goodenough, J.B., The Ada Compiler Validation Capability, Computer, June 1981, p. 57–64
Gordon, M.J.C., The Denotational Description of Programming Languages - An Introduction, Springer, New York, 1979
Ichbiah, J.D, et.al., Reference Manual for the Ada Programming Language, ANSI/MIL-STD 1815A, January 22, 1983
Lange, H., Hahn, W., Kombinationsvalidierung, (interner technischer Bericht), Braunschweig, 1987
Meir, A., Moon, J.W., On the Altitude of Nodes in Random Trees, Canad. J. Math. 30, 1978, p. 997–1015
Pemberton, S., Daniels, M., Pascal Implementation: The P4 Compiler, John Wiley & Sons, New York, 1982
Platsatoura, E., Einfluß der Schachtelungstiefe und der Adressierungsarten auf die Anzahl der Testfälle bei der Validierung eines PASCAL—Compilers, Diplomarbeit, TU Braunschweig, 1987
Schmid, U., Blieberger, J., Some Investigations on FCFS Scheduling in Hard Real-Time Applications, wird erscheinen in ‘Journal of Computer and System Sciences’, 1991
Schildt, G.H., Grundlagen für Vergleicher mit Sicherheitsverantwortung, Siemens-Forschungs- und Entwicklungsberichte, Bd. 9, 1980, Nr. 6, p. 347–353
SofTech Inc., Ada Compiler Validation Implementor’s Guide, 1067 - 2.3, Contract Number MDA 903-79-C-0687, October 1, 1980
Stepney, S., Whitley, D., Cooper, D., Grant, C., A Demonstrably Correct Compiler, Formal Aspects of Computing, 1991, 3, p. 58–101
Warzawa, M., Kneuer, E., Neue Implementierungswege mit PEARL 90, Proceedings: PEARL 90 Workshop über Realzeitsysteme, Boppard, Nov. 1990
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blieberger, J., Schildt, GH. (1991). Versuche der Compiler-Validierung. In: Halang, W.A. (eds) PEARL 91 — Workshop über Realzeitsysteme. Informatik-Fachberichte, vol 295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77151-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-77151-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54909-3
Online ISBN: 978-3-642-77151-4
eBook Packages: Springer Book Archive