A framework for the specification of test cases for real-time distributed systems

Information and Software Technology

Volumn 41, Issue 11-12, 1999, Pages 781-798

  Walter, T ^a   Grabowski, J ^b  

^a ETH ZURICH   (Switzerland)

^b UNIVERSITY OF LÜBECK   (Germany)

Author keywords

Conformance testing; Real time; Real time distributed systems; Real time distributed systems testing; Software testing; Test notations; Testing architectures

Indexed keywords

CONFORMANCE TESTING; REAL TIME DISTRIBUTED SYSTEMS; REAL TIME DISTRIBUTED SYSTEMS TESTING; SOFTWARE TESTING; TEST NOTATIONS; TESTING ARCHITECTURES;

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; MULTICASTING; NETWORK PROTOCOLS; REAL TIME SYSTEMS; STANDARDS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0032599432     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0950-5849(99)00037-3     Document Type: Article

References (57)

1. B. Beizer, Software Testing Techniques, 2, Van Nostrand Reinhold, New York, 1990.
2. ANSI/IEEE. Glossary of Software Engineering Terminology. ANSI/ IEEE Std 729-1983, ANSI/IEEE Std 729-1983, 1983.
3. G.J. Myers, The Art of Software Testing, Wiley, New York, 1979.
4. I. Sommerville, Software Engineering, Addison Wesley, Reading, MA, 1989.
5. ISO. Information Technology-OSI-Conformance Testing Methodology and Framework-Parts 1-7. ISO, IS 9646, 1994-1997.
6. A. Kündig, A note on the meaning of embedded systems, in: A. Kündig, R. Bührer (Eds.), Embedded Systems, Lecture Notes in Computer Science, 284, Springer, Berlin, 1986.
7. Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer, Berlin, 1991.
8. K.M. Kavi (Ed.), Real-Time Systems-Abstractions, Languages, and Design Methodologies, IEEE Computer Society Press, New York, 1996.
9. H. Kopetz, P. Verissimo, Real Time and Dependability Concepts, Distributed Systems, Addison Wesley, Reading, MA, 1993.
10. O. Maler, Z. Manna, A. Pnueli, From timed to hybrid systems, in: J. de Bakker, C. Huizing, W. de Roever, G. Rozenberg (Eds.), Real-Time: Theory and Practise, Springer, Berlin, 1991.
11. D. Patterson, J. Hennessy, Computer Organization and Design The Hardware/Software Interface, Morgan Kaufmann, Los Altos, 1994.
12. A. Pope, The CORBA Reference Guide-Understanding the Common Object Request Broker Architecture, Addison Wesley, Reading, MA, 1998.
13. M. Anlauf, Programming service tests with TTCN, in: A. Petrenko, N. Yevtushenko (Eds.), Testing of Communicating Systems, 11, Kluwer Academic, Dordrecht, 1998.
14. J. Bi, J. Wu, Application of a TTCN based conformance test environment on the Internet email protocol, in: M. Kim, S. Kang, K. Hong (Eds.), Testing of Communicating Systems, 10, Chapman and Hall, London, 1997.
15. I. Schieferdecker, A. Rennoch, Formal based testing of ATM signalling, Formale Beschreibungstechniken für Verteilte Systeme, Band 29, Nummer 9, Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, Erlangen, Mai, 1996.
16. I. Schieferdecker, M. Li, A. Hoffmann, Conformance Testing of TINA Service Components-the TTCN/CORBA Gateway, in: Proceedings of the 5th International Conference on Intelligence in Services and Networks, Antwerp, Belgium, May 1998.
17. ISO. Information Technology-OSI-Conformance Testing Methodology and Framework-Part 1: General Concepts. ISO IS 9646-1, 1994.
18. I. Schieferdecker, S. Stepien, A. Rennoch, PerfTTCN, a TTCN language extension for performance testing, in: M. Kim, S. Kang, K. Hong (Eds.), Testing of Communicating Systems, 10, Chapman and Hall, London, 1997.
19. T. Walter, I. Schieferdecker, J. Grabowski, Test architectures for distributed systems - state of the art and beyond (invited paper), in: A. Petrenko, N. Yevtushenko (Eds.), Testing of Communicating Systems, 11, Kluwer Academic, Dordrecht, 1998.
20. T. Walter, J. Grabowski, A proposal for a real-time extension of TTCN, in: M. Zitterbart (Ed.), Kommunikation in Verteilten Systemen, Informatik aktuell, Springer, Berlin, 1997.
21. ISO. Information Technology-OSI-Conformance Testing Methodology and Framework-Parts 3: The Tree and Tabular Combined Notation (TTCN). ISO IS 9646-3, 1997.
22. B. Baumgarten, G. Gattung, Proposal for the Operational Semantics of Concurrent TTCN, Technical Report, GMD (1996) 975.
23. B. Baumgarten, A. Giessler, OSI Conformance Testing Methodology and TTCN, Elsevier, Amsterdam, 1994.
24. F. Kristoffersen, T. Walter, Towards a formal semantics and validation of test suites, Computer Network and ISDN Systems 29 (1996).
25. R. Linn, Conformance evaluation methodology and protocol testing, IEEE Journal on Selected Areas in Communications 7 (7) (1989).
26. R. Probert, O. Monkewich, The international notation for specifying tests of communications systems, Computer Networks and ISDN Systems 23 (1992).
27. B. Sarikaya, Conformance testing: architectures and test sequences, Computer Networks and ISDN Systems 17 (1989).
28. T. Henzinger, Z. Manna, A. Pnueli, Timed transition systems, Real-Time: Theory in Practice, Lecture Notes in Computer Science, 600, Springer, Berlin, 1991.
29. T. Walter, J. Grabowski, Real-time TTCN for testing real-time and multimedia systems, in: M. Kim, S. Kang, K. Hong (Eds.), Testing of Communicating Systems, 10, Chapman and Hall, London, 1997.
30. T. Walter, J. Ellsberger, F. Kristoffersen, P.v.d. Merkhof, A common semantics representation for SDL and TTCN, in: R.J. Linn, M.Ü. Uyar (Eds.), Protocol Specification, Testing and Verification XII, North-Holland, Amsterdam, 1992.
31. T. Walter, B. Plattner, An operational semantics for concurrent TTCN, in: G.v. Bochmann, R. Dssouli, A. Das (Eds.), Protocol Test Systems V, North-Holland, Amsterdam, 1992.
32. R. Keller, Formal verification of parallel programs, Communications of the ACM 19 (7) (1976).
33. R. Alur, T. Feder, T. Henzinger, The benefits of relaxing punctuality, Journal of the ACM 43 (1996).
34. S. Znaty, T. Walter, M. Brunner, J.-P. Hubaux, B. Plattner, Multimedia multipoint teleteaching over the ATM pilot, in: B. Plattner (Ed.), Broadband Communications, Lecture Notes in Computer Science, 1044, Springer, Berlin, 1996.
35. R. Steinmetz, K. Nahrstedt, Multimedia: computing, Communications and Applications, Prentice Hall, Englewood Cliffs, NJ, 1995.
36. R. Steinmetz, Synchronization properties in multimedia systems, IEEE Journal on Selected Areas in Communications 8 (3) (1990).
37. A. Vogel, B. Kerhervé, G.v. Bochmann, J. Gecsei, Distributed multimedia and QOS: a survey. In IEEE MultiMedia, 1995.
38. ITU. Data Communication Networks Open Systems Interconnection (OSI) Model and Notation, Service Definition. X.200-X.219, 1988.
39. A. Danthine, Y. Baguette, G. Leduc, L. Léonard, The OSI 95 connection-mode transport service - the enhanced QoS, in: A. Danthine, O. Spaniol (Eds.), High Performance Networking, North-Holland, Amsterdam, 1993.
40. C. Aurrecoechea, A. Campbell, L. Hauw, Review of quality of service architectures, ACM Multimedia Systems Journal November (1995).
41. G. Coulouris, J. Dollimore, T. Kindberg, Distributed Systems Concepts and Design, 2, Addison Wesley, Reading, MA, 1994.
42. B. Beizer, Black-box Testing: Techniques for Functional Testing of Software and Systems, Wiley, New York, 1995.
43. J. de Meer, V. Heymer, J. Burmeister, R. Hirr, A. Rennoch, Distributed Testing, in: Workshop on Protocol Test Systems, Participants proceedings, also available from http://www.fokus.gmd.de, 1991.
44. G. Luo, R. Dssouli, G.V. Bochmann, R. Venkatarm, A. Ghedamsi, Test generation with respect to distributed interfaces, Computer Standards & Interfaces 16 (1994).
45. W. Lewandowski, J. Azoubib, W. Klepczynski, Primary tool for time transfer, Proceedings of the IEEE 87 (1) (1999).
46. R. Jain, G. Babic, A. Durresi, ATM Forum Performance Testing Specification-Baseline Text. ATM Forum Document Number: BTD-TEST-TM-PERF.00.05 (96-0810R8), February 1998.
47. B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using time petri nets, IEEE Transactions on Software Engineering 17 (3) (1991).
48. P. Merlin, D. Faber, Recoverability of communication protocols, IEEE Transactions on Communications 24 (9) (1976).
49. R. Alur, D. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994).
50. L. Cacciari, O. Rafiq, Validation of protocols with temporal constraints, Computer Communications 19 (1996).
51. H. Bowman, L. Blair, G. Blair, A. Chetwynd, A formal description technique supporting expression of quality of service and media synchronization, Multimedia Transport and Teleservices, Lecture Notes in Computer Science, 882, Springer, Berlin, 1994.
52. D. Hogrefe, S. Leue, Specifying Real-Time Requirements for Communication Protocols, Technical Report IAM 92-015, University of Berne, 1992.
53. L. Léonard, G. Leduc, An enhanced version of timed LOTOS and its application to a case study, in: R. Tenney, P. Amer, M. Uyar (Eds.), Formal Description Techniques VI, North-Holland, Amsterdam, 1994.
54. J. Quemada, A. Fernandez, Introduction of quantitative relative time into LOTOS, in: H. Rudin, C. West (Eds.), Protocol Specification, Testing and Verification VII, North-Holland, Amsterdam, 1987.
55. S. Leue, Specifying real-time requirements for SDL specifications - a temporal logic based approach, in: P. Dembinski, M. Sredniawa (Eds.), Protocol Specification, Testing and Verification XV, Chapman and Hall, London, 1996.
56. S. Fischer, Implementation of multimedia systems based on a real-time extension of Estelle, in: R. Gotzhein, J. Bredereke (Eds.), Formal Description Techniques IX Theory, Application and Tools, Chapman and Hall, London, 1996.
57. R.W. Buchanan, The Art of Testing Network Systems, Wiley, New York, 1996.