Formal specifications and test: Correctness and oracle

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

Volumn 1130, Issue , 1996, Pages 342-358

  Le Gall, Pascale ^a   Arnould, Agnes ^b  

^a UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

Axiomatic semantics; Behavioral theories; Hypothesis; Institutions; Oracle; Program correctness; Test against a specification; Test set selection

Indexed keywords

ABSTRACT DATA TYPES; ABSTRACTING; FORMAL SPECIFICATION; SEMANTICS; SOCIETIES AND INSTITUTIONS; SPECIFICATIONS; TESTING;

AXIOMATIC SEMANTICS; BEHAVIORAL THEORY; HYPOTHESIS; ORACLE; PROGRAM CORRECTNESS; TEST SETS;

SOFTWARE TESTING;

EID: 84887972465     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61629-2_52     Document Type: Conference Paper

References (21)

1. M. Aiguier and G Bernot. Algebraic semantics of object type specifications. In R. J. Wieringa R. B. Feenstra eds, editor, Information Systems Correctness and Reusability, Selected papers from the IS-CORE workshop. World Scientific Publishing, 1995
2. G. Bernot. Testing against formal specifications: a theoretical view. In TAP-SOFT'91, Internationnal Joint Conference on the Theory and Practice of Software Developement, number 494 in Springer Verlag, LNCS, pages 99-119, 1991.
3. G. Bernot, M.C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, Vol. 6(6):387-405, 1991. (also technical report LRI 581, Orsay (Avril 1991)).
4. G. Bernot and P. Le Gall, Exception handling and term labelling. In TAP-SOFT'93, Internationnal Joint Conference, Theory And Practice of Software Developement, number 668 in Springer Verlag, LNCS, pages 421-436, 1993.
5. M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and abstractor specifications. Science of Computer Programming, 25:149-186, 1995.
6. E. Brinksma, J. Tretmans, and L. Verhaard. A framework for test selection. In Procol Specification, Testing, and Verification XI, North Holland, 1991.
7. M. Cerioli and G. Reggio. Institutions for very abstract specifications. In LNCS, editor, Recent Trends in Data Type Specification, volume 785, pages 113-127, 1994.
8. P. Dauchy, M.-C. Gaudel, and B. Marre. Using algebraic specifications in software testing: a case study on the software of an automatic subway. Journal of Systems and Software, 21(3):229-244, 1993.
9. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and initial semantics, volume 6. Springer-Verlag, EATCS Monographs on Theoretical Computer Science, 1985.
10. M.C. Gaudel. Testing can be formal, too. TAPSOFT'95, Theory and Practice of Software Developement, 6th International Joint Conference, CAAP/FASE, Aarhus, Denmark, LNCS 915, 1995
11. J.A. Goguen and R.M. Burstall. Introducing institutions. In Springer-Verlag LNCS 164, editor, Proc. of the Workshop on Logics of Programming, pages 221-256, 1984.
12. R. Hennicker. Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects of Computing, 3(4):326-345, 1991.
13. P. Le Gall. Les algebres etiquetees: une semantique pour les specifications al-gebriques fondee sur une utilisation systematique des termes. Application au test de logiciel avec traitement d'exceptions. Phd, Universite de Paris XI, 1993.
14. B. Marre. Toward automatic test data set selection using Algebraic Specifications and Logic Programming. Eigth International Conference on Logic Programming, ICLP'91, Paris, 25-28, MIT Press, 1991.
15. B. Marre, P. Thevenod, H. Waeselynk, P. Le Gall, and Y. Crouset. An experimental evaluation of formal testing and statistical testing. In SAFECOMP'92, Actes Safety of Computer Control System 1992, Pergamon Press", 1992.
16. M. Phalippou. Relations d'implantation et hypotheses de test sur des automates a entrees et sorties. Phd, Universite de Bordeaux, 1994.
17. D.J. Richardson, S. Aha, and T. Owen O'Malley. Specification-based test oracles for reactive systems. In Proceedings of the 14th International Conference on Software Engineering, pages 105-118, 1992.
18. D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specification: implementation revisited. Acta Informatica, 25:233-281, 1988.
19. P. Stocks and D.A. Carrington. Test template framework: A specification-based testing framework. In Proceedings of the 15th International Conference on Software Engineering, pages 405-414, 1993.
20. E.J. Weyuker. On testing non testable programs. In The Computer Journal 25, pages 465-470, 1982.
21. M. Wirsing. Algebraic Specification. Handbook of Theoretical Computer Science, vol B, the MIT Press, 1990