Zusammenfassung
Test-, Analyse- und Verifikationsverfahren müssen der Entwicklung im Bereich der Programmierung — oder allgemeiner der Software-Technik — schritthaltend folgen. Neue Techniken zur Realisierung von Software erfordern entsprechende Techniken zur Qualitätsüberprüfung der entstandenen Produkte. So stellt sich z. B. die Frage auf welche Weise regelbasierte Expertensysteme oder auch Datenbankanwendungen, die z. B. SQL-Routinen verwenden, auf ihre korrekte Funktion geprüft werden können.
Mitarbeit am Lehrstuhl im Rahmen einer Studienarbeit
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
Dregger, A.: Konzeption und Realisierung eines Testwerkzeuges für die Ermittlung der Meldungs-Überdeckung von HyperCard-Anwendungen, Lehrstuhl für Software-Technik, Ruhr-Universität Bochum, Studienarbeit 90/1
Goodman, D.: The complete HyperCard Handbook. New York: Bantam Books 1987
Harrold, M.: Soffa M., Interprocedural Data Flow Testing, in: Proceedings of the ACM SIGSOFT ’89 Third Symposium on Software Testing, Analysis, and Verification (TAV 3), 158–167, Key West 1989
Liggesmeyer, P.: Modultest und Modulverifikation — State of the Art. Mannheim, Wien, Zürich: BI-Wissenschaftsverlag 1990
Spillner, A.: Dynamischer Integrationstest modularer Softwaresysteme. Dissertation, Universität Bremen, (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liggesmeyer, P., Dregger, A., Balzert, H. (1992). Ein experimentelles Testsystem für die Sprache HyperTalk. In: Liggesmeyer, P., Sneed, H.M., Spillner, A. (eds) Testen, Analysieren und Verifizieren von Software. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77747-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-77747-9_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55860-6
Online ISBN: 978-3-642-77747-9
eBook Packages: Springer Book Archive