Abstract
This paper deals with testing from structured algebraic specifications expressed in first-order logic. The issue investigated is the so- called oracle problem, that is, whether a finite and executable procedure can be defined for interpreting the results of tests. For flat specifications, the oracle problem often reduces to the problem of comparing values of a non-observable sort and how to deal with quantifiers. How ever, specification-building operations introduce an additional barrier to this problem which can restrict the way specifications and test suites are defined. In this paper, we present a framework for testing from structured specifications and a thorough discussion of the problems which can arise together with proposed solutions.
Supported by CNPq — Brazilian Research Council and on leave from DSC/CCT, Federal University of Paraíba, Campina Grande-PB, Brazil patricia@dsc.ufpb.br
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
G. Bernot. Testing Against Formal Specifications: a Theoretical View. In S. Abramsky and T.S.E. Maibaum, eds., TAPSOFT’91, LNCS 494. Springer, 1991.
M. Bidoit, M. V. Cengarle, and R. Hennicker. Proof Systems for Structured Specifications and Their Refinements, chapter 11. IFIP Reports. Springer, 1999.
M. Bidoit and R. Hennicker. Behavioural Theories and the Proof of Behavioural Properties. Theoretical Computer Science, 165(1):3–55, 1996.
R. Burstall and J. Mckinna. Deliverables: an Approach to Program Development in the Calculus of Constructions. ECS-LFCS-91-133, Edinburgh University, 1992.
J. Dick and A. Faivre. Automating the Generation and Sequencing of Test Cases from Model-based Specifications. In J. Wookcook and P. Larsen, eds., FME’93, LNCS 670. Springer, 1993.
J. Farrés-Casals. Proving correctness w.r.t. specifications with hidden parts. In H. Kirchner and W. Wechler, eds., Alg. and Logic Prog., LNCS 463. Springer, 1990.
P. Le Gall and A. Arnould. Formal Specification and Test: Correctness and Oracle. In M. Haveraaen, O. Owe, and O. Dahl, eds., Recent Trends in Data Type Specifocation, LNCS 1130. Springer, 1996.
M. Gaudel. Testing can be formal, too. In P. D. Mosses, M. Nielsen, and M. I. Schwartzbach, eds., TAPSOFT’95, LNCS 915. Springer, 1995.
R. Hennicker. Structured Specifications with Behavioural Operators: Semantics, Proof Methods and Applications. Habilitation thesis, Institut fur Informatik, Ludwig-Maximillians-Universitat Munchen, Munchen, Germany, june 1997.
Stefan Kahrs and Donald Sannella. Reflections on the design of a specification language. In E. Astesiano, ed., FASE’98, volume 1382 of LNCS. Springer, 1998.
P. D. L. Machado. On Oracles for Interpreting Test Results against Algebraic Specifications. In A. Haeberer, ed., AMAST’98, LNCS 1548. Springer, 1999.
D. Mandrioli, S. Morasca, and A. Morzenti. Generating test cases for real-time systems from logic specifications. ACM Trans. Comp. Syst., 13(4):365–398, 1995.
M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 13, pages 675–788. Elsevier, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Machado, P.D.L. (2000). Testing from Structured Algebraic Specifications. In: Rus, T. (eds) Algebraic Methodology and Software Technology. AMAST 2000. Lecture Notes in Computer Science, vol 1816. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45499-3_37
Download citation
DOI: https://doi.org/10.1007/3-540-45499-3_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67530-3
Online ISBN: 978-3-540-45499-1
eBook Packages: Springer Book Archive