Testing Algebraic Data Types and Processes: A Unifying Theory

Formal Aspects of Computing

Volumn 10, Issue 5-6, 1998, Pages 436-451

  Gaudel, Marie Claude ^a,c   James, Perry R ^b  

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

^b UNIVERSITY OF SÃO PAULO   (Brazil)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Black box testing; Formal testing; Full LOTOS

Indexed keywords

EID: 0842331202     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050026     Document Type: Article

References (22)

1. Barbey, S., Buchs, D. and Peraire, C.: Modeling the production cell case study using the Fusion method. Technical Report 98, EPFL-DI, 1998.
2. Bernot, G., Gaudel, M.-C. and Marre, B.: Software testing based on formal specifications: A theory and a tool. IEE Sofware Engineering Journal, 6, November 1991.
3. Bernot, G., Gaudel, M.-C. and Marre, B.: A formal approach to software testing. In Maurice Nivat, Charles Rattray, Teodor Rus, and Giuseppe Scollo, editors, Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Workshops in Computing, pages 243-253, London, May 22-25, 1992. Springer Verlag.
4. Brinksma, E.: A theory for the derivation of tests. In Peter H. J. van Eijk, Chris A. Vissers, and Michel Diaz, eds, The Formal Description Technique LOTOS: Results of the ESPRIT/SEDOS Project, pages 235-247. Elsevier Science Publishers North-Holland, 1989.
5. CCITT. Specification and description lanuage (SDL). Recommendation Z. 100, CCITT, 1988.
6. Chow, T S. : Testing software design modeled by finite-state machine. IEEE Transactions on Software Engineering, 4(3), 1978.
7. Dauchy, P., Gaudel, M.-C. and Marre, B.: 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.
8. de Nicola, R. and Hennessy, M.: Testing equivalences for processes. Theoretical Computer Sceience, 34, 1984.
9. Eertink, E. H.: Simulation Techniques for the Validation of LOTOS Specification. PhD thesis, Universiteit Twente, the Netherlands, March 1994.
10. Ehrig. H. and Mahr. B.: Fundamental of Algebraic Specification 1. EATCS monographs on Theoretical Computer Science. Springer Verlag, 1985
11. Fujswara, G., von Bochmann, S., Khendek, F. and Ghedamsi, A.: Test selection based on finite-state models. IEEE Transactions on Software Engineering, 17(6), 1991.
12. Gaudel, M.-C.: Testing can be formal, too. Lecture Notes in Computer Science. 915:82-96, 1995.
13. Goodenough, J. B. and Gerhart, S. L.: Toward a theory of test data selection. IEEE Transactions on Software Engineering, SE-1(2):158-173, June 1975.
14. Hennessy, M.: An algebraic theory of processes. MIT Press, 1988.
15. Holzmann, G. J.: Design and Validation of Computer Protocols. Prentice Hall, 1991.
16. ISO. LOTOS: A formal description technique based on the temporal ordering of observational behaviour. Technical Report 8807, International Standards Organisation, 1989.
17. Lee, D. and Yannakakis, M.: Testing finite-state machines: state identification and verification. IEEE Transactions on Computers, 43(3), 1994.
18. Marre, B.: LOFT: A tool for assisting selection of test data sets from algebraic specifications. Lecture Notes in Computer Science, 915:799-800, 1995.
19. Marre, B., Thévenod-Fosse, P., Waeselynck, H., Le Gall, P. and Crouzet, Y.: An experimental evaluation of formal testing and statistical testing. In SAFECOMP-92, 1992.
20. Pitt, D. H. and Freestone, D.: The derivation of conformance tests from LOTOS specifications. IEEE Transactions of Software Engineering, 16(12), 1990.
21. Phalippou, M.: Relations d'implantation et hypothèses de test sur des automates à entrées et sorties. PhD thesis, Université de Bordeaux, France, 1994.
22. Tretmans, J.: A Formal Approach to Conformance Testing. PhD thesis, Universiteit Twente, the Netherlands, December 1992.