Advertisement

Ein experimentelles Testsystem für die Sprache HyperTalk

  • Peter Liggesmeyer
  • Andreas Dregger
  • Helmut Balzert
Conference paper
  • 107 Downloads
Part of the Informatik aktuell book series (INFORMAT)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. 1.
    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/1Google Scholar
  2. 2.
    Goodman, D.: The complete HyperCard Handbook. New York: Bantam Books 1987Google Scholar
  3. 3.
    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 1989Google Scholar
  4. 4.
    Liggesmeyer, P.: Modultest und Modulverifikation — State of the Art. Mannheim, Wien, Zürich: BI-Wissenschaftsverlag 1990zbMATHGoogle Scholar
  5. 5.
    Spillner, A.: Dynamischer Integrationstest modularer Softwaresysteme. Dissertation, Universität Bremen, (1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Peter Liggesmeyer
    • 1
  • Andreas Dregger
    • 1
  • Helmut Balzert
    • 1
  1. 1.Lehrstuhl für Software-TechnikRuhr-Universität BochumBochum 1Germany

Personalised recommendations