Testing from structured algebraic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1816, Issue , 2000, Pages 529-544

  Machado, Patrícia D L ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL LOGIC; SOFTWARE ENGINEERING;

ALGEBRAIC SPECIFICATIONS; BUILDING OPERATIONS; FIRST ORDER LOGIC; NON-OBSERVABLE; ORACLE PROBLEM; STRUCTURED SPECIFICATION;

SPECIFICATIONS;

EID: 84974727317     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_37     Document Type: Conference Paper

References (13)

1. G. Bernot. Testing Against Formal Specifications: a Theoretical View. In S. Abramsky and T.S.E. Maibaum, eds., TAPSOFT’91, LNCS 494. Springer, 1991.
2. M. Bidoit, M. V. Cengarle, and R. Hennicker. Proof Systems for Structured Specfications and Their Refinements, chapter 11. IFIP Reports. Springer, 1999.
3. M. Bidoit and R. Hennicker. Behavioural Theories and the Proof of Behavioural Properties. Theoretical Computer Science, 165(1):3-55, 1996.
4. R. Burstall and J. Mckinna. Deliverables: an Approach to Program Development in the Calculus of Constructions. ECS-LFCS-91-133, Edinburgh University, 1992.
5. 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.
6. 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.
7. P. Le Gall and A. Arnould. Formal Specification and Test: Correctness and Or-acle. In M. Haveraaen, O. Owe, and O. Dahl, eds., Recent Trends in Data Type Specification, LNCS 1130. Springer, 1996.
8. M. Gaudel. Testing can be formal, too. In P. D. Mosses, M. Nielsen, and M. I. Schwartzbach, eds., TAPSOFT’95, LNCS 915. Springer, 1995.
9. 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.
10. 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.
11. P. D. L. Machado. On Oracles for Interpreting Test Results against Algebraic Specifications. In A. Haeberer, ed., AMAST’98, LNCS 1548. Springer, 1999.
12. 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.
13. M. Wirsing. Algebraic Specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 13, pages 675-788. Elsevier, 1990.