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.
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
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.
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.
C. Choppy: Formal Specifications, Prototyping and Integration Tests, Proc. 1st ESEC, Straßburg 1987, 185–192.
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.
J. Gannon, P. McMullin, R. Hamlet: Data Abstraction — Implementation, Specification, and Testing, ACM Transcations on Programming, Languages and Systems 3, 3 (1981), 211–223.
M. C. Gaudel, B. Marre: Algebraic Specifications and Software Testing: Theory and Applications, L. R. I. Research Report 407, Orsay 1988.
P. Jalote: Testing the Completeness of Specifications, IEEE Transactions on Software Engineering 15, 5 (1989), 526–531.
H.-J. Kreowski: Logische Grundlagen der Informatik, Handbuch der Informatik 1.1, Oldenbourg, München 1991.
M. Kurihara, I. Kaji: Modular Term Rewriting Systems and the Termination, Information Processing Letters 34 (1991), 1–4.
A. Middeldorp: Modular Properties of Term Rewriting Systems, Ph. D. thesis, Vrije Universiteit Amsterdam, 1990.
S. Sankar: Run-Time Consistency Checking of Algebraic Specifications, TAV 4 (1991), 123–129.
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
Kreowski, HJ. (1992). Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. 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_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-77747-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55860-6
Online ISBN: 978-3-642-77747-9
eBook Packages: Springer Book Archive