Advertisement

Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen

  • Hans-Jörg Kreowski
Conference paper
  • 109 Downloads
Part of the Informatik aktuell book series (INFORMAT)

Zusammenfassung

Algebraische Spezifikationen können in zwei verschiedenen Rollen beim Testen auftreten. Sie können als formale Spezifikationen die Basis für die Testfallermittlung und den Ausgabevergleich beim Testen von Programmen bilden. In dieser Rolle werden sie in der Literatur am häufigsten eingesetzt (siehe z.B. Gannon, McMullin und Hamlet [GHM81], Bernot, Bouge, Choquet, Fribourg, Gaudel und Marre [BCFG86,BGM90,GM88] und Sankar [San91]). Da algebraische Spezifikationen aber auch als ausführbare Entwurfsspezifikationen angesehen werden können (siehe z.B. Ehrig und Mahr [EM85] oder Kreowski [Kre91]), lassen sie sich auch als Objekte des Testens behandeln. Von Jalote [Jal89] beispielsweise werden Testverfahren zum Uberprüfen der Vollständigkeit einer Spezifikation diskutiert. Choppys Ansatz [Cho87] verbindet sogar beide Sichtweisen, indem in strukturierten Spezifikationen einzelne Moduln bereits durch Implementierungen ersetzt sein dürfen. In der vorliegenden Arbeit werden strukturierte algebraische Spezifikationen zu Testobjekten gemacht.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [BGM90]
    G. Bernot, M.C. Gaudel, B. Marre: Software Testing Based on Formal Specifications: a Theory and a Tool, L. R. I. Research Report 581, Orsay 1990.Google Scholar
  2. [BCFG86]
    L. Bouge, N. Choquet, L. Fribourg, M. C. Gaudel: Test Sets Generation from Algebraic Specifications Using Logic Programming, Journal of Systems and Software 6, 4 (1986), 343–360.CrossRefGoogle Scholar
  3. [Cho87]
    C. Choppy: Formal Specifications, Prototyping and Integration Tests, Proc. 1st ESEC, Straßburg 1987, 185–192.Google Scholar
  4. [EM85]
    H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science 6, Springer, Berlin-Heidelberg-New York-Tokyo 1985.Google Scholar
  5. [GHM81]
    J. Gannon, P. McMullin, R. Hamlet: Data Abstraction — Implementation, Specification, and Testing, ACM Transcations on Programming, Languages and Systems 3, 3 (1981), 211–223.CrossRefGoogle Scholar
  6. [GM88]
    M. C. Gaudel, B. Marre: Algebraic Specifications and Software Testing: Theory and Applications, L. R. I. Research Report 407, Orsay 1988.Google Scholar
  7. [Jal89]
    P. Jalote: Testing the Completeness of Specifications, IEEE Transactions on Software Engineering 15, 5 (1989), 526–531.CrossRefGoogle Scholar
  8. [Kre91]
    H.-J. Kreowski: Logische Grundlagen der Informatik, Handbuch der Informatik 1.1, Oldenbourg, München 1991.Google Scholar
  9. [KK90]
    M. Kurihara, I. Kaji: Modular Term Rewriting Systems and the Termination, Information Processing Letters 34 (1991), 1–4.CrossRefMathSciNetGoogle Scholar
  10. [Mid90]
    A. Middeldorp: Modular Properties of Term Rewriting Systems, Ph. D. thesis, Vrije Universiteit Amsterdam, 1990.Google Scholar
  11. [San91]
    S. Sankar: Run-Time Consistency Checking of Algebraic Specifications, TAV 4 (1991), 123–129.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Hans-Jörg Kreowski
    • 1
  1. 1.Studiengang InformatikUniversität BremenBremen 33Germany

Personalised recommendations