Advertisement

Testen von Reihenfolgebedingungen und algebraischen Spezifikationen

  • Eike Hagen Riedemann
Part of the Leitfäden der Informatik book series (XLINF)

Zusammenfassung

Die Behandlung von Fehlern bei der Kompositionsart 3 (Sequenz) beim funktionsbezogenen Testen wurde auf dieses Kapitel verschoben, da die Sequenz nur ein Spezialfall einer Reihenfolgebedingung ist. Beim Testen von sequentiellen Systemen können Reihenfolgebedingungen folgende Bedeutungen haben.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [See 87]
    Seehusen, Silke: Bestimmung von Parallelitätseigenschaften in modularen Syste-men mit Pfadausdrücken,Dissertation, Universität Dortmund, FB Informatik, Forschungsbericht Nr. 246, 1987, 237 S.Google Scholar
  2. [And 79]
    Andler, Sten: Predicate Path Expressions, in: Proc. 6th PoPL, San Antonio, Texas, 29. - 31. Jan. 1979, S. 226 - 236Google Scholar
  3. [Weg 93]
    Wegener, Ingo: Theoretische Informatik Teubner, Stuttgart, 1993, 235 S.Google Scholar
  4. [GMH 81]
    Gannon, J.; McMullin, P.; Hamlet, R.: Data-Abstraction Implementation, Spe- cification, and Testing, ToPLaS, Vol. 3, No. 3, Juli 1981, S. 211 - 223Google Scholar
  5. [McG 83]
    McMullin, P R; Gannon, J. D.: Combining Testing with Formal Specifications: A Case Study, ToSE, Vol. SE-9, No. 3, Mai 1983, S. 328 - 334Google Scholar
  6. [Kre 92a]
    Kreowski, H.-J.: Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen, in: P. Liggesmeyer, H.M. Sneed, A. Spillner (Hrsg.): Testen, Analysieren und Verifizieren von Software, Informatik aktuell, Springer, Berlin, 1992, S. 130 - 142Google Scholar
  7. [Gan 86]
    Gannon, J. D.: Testing Tools Using Formal Specifications and Coverage Metrics, STT, Heft 6-1, Juni 1986, S. 5 - 11Google Scholar
  8. [GMH 81]
    Gannon, J.; McMullin, P.; Hamlet, R.: Data-Abstraction Implementation, Spe- cification, and Testing, ToPLaS, Vol. 3, No. 3, Juli 1981, S. 211 - 223Google Scholar
  9. [GmV 86]
    Gmeiner, L.; Voges, U.: Automatisierung des Software-Tests in der Entwurfsund Implementierungsphase, STT, Juni 1986, S. 35 - 63Google Scholar
  10. [NeL 89]
    Neumann, Peter; Lang, Susanne: ITOS - ein integriertes Testsystem für objektorientierte Schnittstellen, STT, Bd. 9, Heft 1, April 1989, S. 16 - 22Google Scholar
  11. [Jal 87]
    Jalote, P.: Synthesizing Implementations of Abstract Data Types from Axiomatic Specifications, Software, Vol. 17, No. 11, November 1987, S. 847 - 858zbMATHGoogle Scholar
  12. [NeL 89]
    Neumann, Peter; Lang, Susanne: ITOS - ein integriertes Testsystem für objektorientierte Schnittstellen, STT, Bd. 9, Heft 1, April 1989, S. 16 - 22Google Scholar
  13. [Kre 92a]
    Kreowski, H.-J.: Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen, in: P. Liggesmeyer, H.M. Sneed, A. Spillner (Hrsg.): Testen, Analysieren und Verifizieren von Software, Informatik aktuell, Springer, Berlin, 1992, S. 130 - 142Google Scholar
  14. [DaM 91]
    Dauchy, P.; Marre B.: Test data selection from algebraic specifications: application to an automatic subway module, in: Proc. ESEC '91, Mailand, Oktober 1991, LNCS 550, Springer, Berlin, S. 80 - 100Google Scholar
  15. [Cho 78]
    Chow, T. S.: Testing Software Design Modeled by Finite-State Machines, ToSE, Vol. SE-4, Mai 1978, S. 178 - 187Google Scholar

Copyright information

© Springer Fachmedien Wiesbaden 1997

Authors and Affiliations

  • Eike Hagen Riedemann
    • 1
  1. 1.Universität DortmundDortmundDeutschland

Personalised recommendations