Controllability and observability in distributed testing

Information and Software Technology

Volumn 41, Issue 11, 1999, Pages 767-780

  Cacciari, L ^a   Rafiq, O ^a  

^a UNIVERSITÉ DE PAU ET DES PAYS DE L'ADOUR   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONTROLLABILITY; FINITE AUTOMATA; NETWORK PROTOCOLS; OBSERVABILITY; SOFTWARE ENGINEERING;

CENTRALIZED TESTING; CONFORMANCE TESTING; DISTRIBUTED TESTING; MULTIPORT FINITE STATE MACHINE; REMOTE TESTING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0032599429     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(99)00036-1     Document Type: Article

References (36)

1. ISO/IEC, Open distributed processing, Reference model, 10746, Parts 1-4, 1995.
2. ITU, Open distributed processing, Reference model, Recommendation X.901-904, 1995.
3. K. Farooqui, L. Logrippo, J. de Meer, The ISO reference model for open distributed processing: an introduction, Computer Networks and ISDN Systems 27 (1995) 1215-1229.
4. P. Linington, RM-ODP: the architecture, in: K. Raymond, L. Amstrong (Eds.), Open Distributed Processing, Chapman and Hall, London, 1995, pp. 15-33.
5. K. Raymond, Reference model of open distributed processing (RM-ODP): introduction, in: K. Raymond, L. Amstrong (Eds.), Open Distributed Processing, Chapman and Hall, London, 1995, pp. 1-14.
6. OMG, The common object request broker: architecture and specification, Version 2.2, 1998. http://www.omg.org/corba/corbaiiop.html
7. A. Vogel, K. Duddy, Java Programming with CORBA, Wiley Computer Publishing, New York, 1997.
8. TINA-C, Overall concepts and principles of TINA, version 1.0, Document Label: TB_MDC.018_1.0_94, 1995. http://www.tinac.com.
9. T. Bolognesi, E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN System 14 (1987) 25-59.
10. S. Budkowski, P. Dembenski, An introduction to Estelle: a specification language for distributed systems, Computer Networks and ISDN Systems 14 (1987) 3-23.
11. ITU, Specification and description language SDL, Z.100, 1993.
12. J.M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, Englewood Cliffs, 1989.
13. APM, NIST, NPL, OMG and University of Kent at Canterbury, Report of study on open distributed processing, in: Programme of Research on Open Systems Testing APM/RC. 459.02, 1993. http:// www.cs.ukc.ac.uk
14. R. Dssouli, G.V. Bochmann, Test development for communication protocols: towards automation, to appear.
15. ISO, Information processing system, Open systems interconnection, Basic reference model, 7498.
16. B. Beizer, Software Testing Techniques, Van Nostrand Reinhold, New York, 1990.
17. A. Petrenko, G.V. Bochmann, M. Yao, On fault coverage of tests for finite state specifications, Computer Networks and ISDN Systems 29 (1996) 81-106.
18. ISO/IEC, Information technology, Open systems interconnection, OSI conformance testing methodology and framework, 9646, Parts 1-7.
19. J. Tretmans, A formal approach to conformance testing, in: O. Rafiq (Ed.), Protocol Test Systems VI, North-Holland, Amsterdam, 1994, pp. 257-276.
20. ISO/IEC, Information retrieval, transfer and management for OSI, Framework: formal methods in conformance testing, CD 13345-1, 1996.
21. A.R. Cavalli, J.P. Favreau, M. Phalippou, Standardization of formal methods in conformance testing of communication protocols, Computer Networks and ISDN Systems 29 (1996) 3-14.
22. O. Rafiq, The astride testing approach: principles, tools and carrying out, Computer Standards and Interfaces 11 (1990) 85-94.
23. Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, New York, 1978.
24. S. Naito, M. Tsunoyama, Fault detection for sequential machines by transition tours, Proc. 11th Fault Tolerant Computing Symposium, IEEE, New York, 1981, pp. 238-243.
25. E. Brinksma, A theory for derivation of tests, in: S. Aggarwal, K. Sabnani (Eds.), Protocol Specification, Testing and Verification VIII, North-Holland, Amsterdam, 1988, pp. 63-74.
26. M. Phalippou, Executable testers, in: O. Rafiq (Ed.), Protocol Test Systems VI, North-Holland, Amsterdam, 1994, pp. 35-50.
27. J. de Meer, V. Heymer, J. Burmeister, R. Hirr, A. Rennoch, Distributed testing, position statement, International Workshop on Protocol Test Systems, PTT Research, Leidschendam, The Netherlands, 1991.
28. G. Luo, R. Dssouli, G.V. Bochmann, P. Venkataram, A. Ghedamsi, Test generation with respect to distributed interfaces, Computer Standards and Interfaces 16 (1994) 119-132.
29. B. Bär, A. Mann, A methodology for conformance testing of managed objects, in: S.T. Vuong, S.T. Chanson (Eds.), Protocol Specification, Testing and Verification XIV, Chapman and Hall, London, 1995, pp. 367-375.
30. M.C. Campbell, D.K. Hinds, A.V. Kapetanakis, D.S. Levin, S.J. McFarland, D.J. Miller, J.S. Southworth, Object-oriented perspective on software system testing in distributed environment, Hewlett-Packard Journal December (1995) 75-81.
31. P.F. Linington, J. Derrick, H. Bowman, The specification and testing of conformance in ODP systems, in: B. Baumgarten, H.J. Burkhardt, A. Giessler (Eds.), Testing of Communicating Systems, Chapman and Hall, London, 1996, pp. 93-114.
32. S. Pickin, C. Sanchez, J. Sanchez, J.C. Yelmo, J.J. Gil, E. Rodriguez, An approach to the validation of open object-based distributed applications, in: B. Baumgarten, H.J. Burkhardt, A. Giessler (Eds.), Testing of Communicating Systems, Chapman and Hall, London, 1996, pp. 115-121.
33. L.P. Lima Jr, A.R. Cavalli, Test execution of telecommunications services using CORBA, in: H. Bowman, J. Derrick (Eds.), Formal Methods for Object-based Distributed Systems, 2, Chapman and Hall, London, 1997, pp. 409-419.
34. O. Rafiq, R. Castanet, From conformance testing to interoperability testing, in: I. Davidson, D.M. Litwack (Eds.), Protocol Test Systems III, North-Holland, Amsterdam, 1991, pp. 371-385.
35. J. Edmonds, E.L. Johnson, Matching, Euler tours and the Chinese postman, Math. Programming 5 (1973) 88-124.
36. S. Boyd, H. Ural, The synchronization problem in protocol testing and its complexity, Information Processing Letters 40 (1991) 131-136.