Abstract
It is difficult to test a distributed system because of the task of controlling concurrent events. Existing works do not propose the test sequence generation algorithm in a formal way and the amount of message is large due to synchronization. In this paper, we propose a formal test sequence generation algorithm using logical clock to control concurrent events. It can solve the control-observation problem and makes the test results reproducible. It also provides a generic solution such that the algorithm can be used for any possible communication paradigm. In distributed test, the number of channels among the testers increases non-linearly with the number of distributed objects. We propose a new remote test architecture for solving this problem. SDL Tool is used to verify the correctness of the proposed algorithm, and it is applied to the message exchange for the establishment of Q.2971 point-to-multipoint call/connection as a case study.
Chapter PDF
Similar content being viewed by others
Keywords
References
M. Benattou, L. Cacciari, R. Pasini, and O. Rafiq, “Principles and Tools for Testing Open Distributed Systems,” Int’l Workshop on Testing of Communicating Systems, pp.77–92, Budapest, Hungary, September 1999.
A. Ulrich and H. Konig, “Architectures for Testing Distributed Systems,” Int’l Workshop on Testing of Communicating Systems, pp.93–107, Budapest, Hungary, September 1999.
G. Luo, R. Dssouli, G.v. Bochmann, P. Venkataram, and A. Ghedamsi, “Test Generation With Respect To Distributed Interfaces,” Computer Standards and Interfaces, pp. 119–132, 1994.
K. Tai, R. Carver, and E. Obaid, “Debugging Concurrent Ada Programs by Deterministic Execution,” IEEE Trans. Software Engineering, Vol. 17, No. 1, pp.45–63, January 1991.
M. Kim, S. T. Chanson, S. Kang, and J. Shin, “An Enhanced Model for Testing Asynchronous Communicating Systems,” FORTE/PSTV’99, June 1999.
C. Fidge, “Logical Time in Distributed Computing Systems,” IEEE Computer, pp.28–33, August 1991.
G. Luo, G. v. Bochman, and A. Petrenko, “Test Selection Based on Communicating Nondeterministic Finite-State Machines using a Generalized Wp-Method,” IEEE Trans. Software Engineering, Vol. 20, No. 2, pp.149–162, February 1994.
Y. C. Young and K. C. Tai, “Observational Inaccuracy in Conformance Testing with Multiple Testers,” IEEE 1st Workshop on Application-specific Software Engineering and Technology, pp.80–85, 1998.
T. V. Gioles, I. Schieferdecker, M. Born, M. Winkler, and M. Li, “Configuration and Execution Support for Distributed Tests,” Int’l Workshop on Testing of Communicating Systems, pp.61–76, Budapest, Hungary, September 1999.
G. Coulouris, J. Dollimore, and T. Kindberg, “Distributed Systems, Concepts and Design,” Second Edition, Addison-Wesley, 1994.
H. Herzog and K. Sunderhaft, “General Framework for fault tolerance from ISO/ITU Reference Model for Open Distributed Processing (RM-ODP),” Object-Oriented Real-Time Dependable Systems, pp. 111–118, 1999.
Y. Jung and J. Lee, “Experiences with Generation of Conformance Test Suite for Q.2971 Network-side Testing,” Information Networking, pp. 286–289, 1998.
Telelogic SDT3.2: Getting Started, Part1: Tutorials on SDT Tools, Telelogic, September 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 IFIP International Federation for Information Processing
About this paper
Cite this paper
Choi, Y.J., Youn, H.Y., Seol, S., Yoo, S.J. (2001). Distributed Test Using Logical Clock. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds) Formal Techniques for Networked and Distributed Systems. FORTE 2001. IFIP International Federation for Information Processing, vol 69. Springer, Boston, MA. https://doi.org/10.1007/0-306-47003-9_5
Download citation
DOI: https://doi.org/10.1007/0-306-47003-9_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-7470-1
Online ISBN: 978-0-306-47003-5
eBook Packages: Springer Book Archive