Unit testing for CASL architectural specifications

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

Volumn 2420, Issue , 2002, Pages 506-518

  Machado, Patricia D L ^a   Sannella, Donald ^b  

^a FEDERAL UNIVERSITY OF PARAÍBA   (Brazil)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ALGEBRAIC SPECIFICATIONS; ARCHITECTURAL SPECIFICATIONS; MODULAR SYSTEM; UNIT TESTING;

SPECIFICATIONS;

EID: 84956996674     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45687-2_42     Document Type: Conference Paper

References (18)

1. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. Mosses, D. Sannella and A. Tarlecki. Casl: The common algebraic specification language. Theoretical Computer Science.T o appear (2003).
2. H. Baumeister and D. Bert. Algebraic specification in Casl.In Software Specification Methods – An Overview Using a Case Study. Springer (2001).
3. G. Bernot. A formalism for test with oracle based on algebraic specifications. Rep ort 89-4, LIENS/DMI, Ecole Normale Supérieure, Paris (1989).
4. G. Bernot. Testing against formal specifications: a theoretical view. Proc. TAPSOFT’91, Brighton.Springer LNCS 494, 99–119 (1991).
5. M. Bidoit, M.V. Cengarle and R. Hennicker. Proof systems for structured specifications and their refinements. Algebraic Foundations of Systems Specifications, chapter 11.Springer (1999).
6. M. Bidoit and R. Hennicker. Observational logic. Proc. AMAST’98, Manaus. Springer LNCS 1548, 263–277 (1999).
7. M. Bidoit, R. Hennicker and M. Wirsing. Behavioural and abstractor specifications. Science of Computer and Programming, 25:149–186 (1995).
8. M. Bidoit, D. Sannella and A. Tarlecki. Architectural specifications in Casl. Formal Aspects of Computing. To appear (2002).
9. M. Doche and V. Wiels. Extended institutions for testing. Proc. AMAST 2000. Springer LNCS 1816, 514–528 (2000).
10. M.-C. Gaudel. Testing can be formal, too. Proc. TAPSOFT’95, Aarhus. Springer LNCS 915 (1995).
11. P. Le Gall. Vers une spécialisation des logiques pour spécifier formellement et pour tester des logiciels. Habilitation thesis, Université d’Evry (1999).
12. P. Le Gall and A. Arnould. Formal specification and test: correctness and oracle. Proc. WADT’95, Oslo.Springer LNCS 1130 (1996).
13. P.D.L. Machado. On oracles for interpreting test results against algebraic specifications. Proc. AMAST’98, Manaus.Springer LNCS 1548, 502–518 (1999).
14. P.D.L. Machado. The rôle of normalisation in testing from structured algebraic specifications. Proc. WADT’99, Bonas.Springer LNCS 1827, 459–476 (2000).
15. P.D.L. Machado. Testing from structured algebraic specifications. Proc. AMAST 2000.Springer LNCS 1816, 529–544 (2000).
16. P.D.L. Machado. Testing from Structured Algebraic Specifications: The Oracle Problem.PhD thesis, LFCS, University of Edinburgh (2000).
17. D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing, 9:229–269 (1997).
18. O. Schoett. Data Abstraction and the Correctness of Modular Programming. PhD thesis, LFCS, University of Edinburgh (1987).