Abstract
Stabilizing network infrastructures has moved the focus of software system engineering to the development of distributed applications running on top of the network. The complexity of distributed systems and their inherent concurrency pose high requirements on their design and implementation. This is also true for the validation of the systems, in particular the test. Compared to protocol testing the test of distributed systems and applications requires different methods for deriving test cases and for running the test. In this paper, we discuss architectures for testing distributed, concurrent systems. We suggest three different models: a global tester that has total control over the distributed system under test (SUT) and, more interestingly, two types of distributed testers comprising several concurrent tester components. The test architectures rely on a grey-box testing approach that allows to observe internal interactions of the SUT by the tester. In order to assure a correct assessment of the test data collected by the distributed tester components, the tester has to maintain a correct global view on the SUT. This can be achieved either by the use of redundant points of control and observation or by test coordination procedures. We outline the features of each approach and discuss their benefits and shortages. Finally, we describe possible simplifications for the architectures.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35567-2_25
Chapter PDF
Similar content being viewed by others
Keywords
References
C. T. Chou, I. Cidon, I. Gopal, S. Zaks: Synchronizing asynchronous bounded-delay networks; IEEE Transactions on Communications, vol. 38, no. 2 (Feb. 1990); pp. 144-147.
C. J. Fidge: Logical Time in Distributed Computing Systems; IEEE Computer, vol. 24, no. 8 (August 1991); pp. 28–33.
C. Jard, T. Jeron, H. Kahlouche, C. Viho: Towards Automatic Distribution of Testers for Distributed Conformance Testing; IFIP Joint Int’l Conference on Formal Description Techniques, and Protocol Specification, Testing, and Verification (FORTE/PSTV’98); Paris, France; 1998.
H. König, A. Ulrich, M. Heiner: Design for Testablility: A Step-wise Approach to Protocol Testing; Proceedings of the IFIP 10th Int’l Workshop on Testing of Communicating Systems (IWTCS’97), Seoul, Korea; 1997; pp. 125-140.
D. L. Mills: Precision Synchronization of Computer Network Clocks; ACM Computer Communication Review, vol. 24, no. 2 ( April 1994; pp. 28–42.
G. Luo, R. Dssouli, G. v. Bochmann, P. Venkataram, A. Ghedamsi: Test generation with respect to Distributed Interfaces; Computer Standards 000 Interfaces, vol. 16, no. 2 (June 1994); pp. 119–132.
A. Petrenko, A. Ulrich, V. Chapenko: Using partial-orders for detecting faults in concurrent systems; Proceedings of the IFIP 11th Int’l Workshop on Testing of Communicating Systems (IWTCS’98), Russia, 1998.
Sidhu, D. P.; Leung, T. K.: Formal methods for protocol testing: a detailed study; IEEE Trans. on Software Eng. 15 (1989) 4, 413–426.
K. C. Tai, R. H. Carver: Testing of distributed programs; in A. Zomaya (ed.): Handbook of Parallel and Distributed Computing; McGraw Hill; 1995; pp. 956–979.
K. C. Tai, R. H. Carver, E. E. Obaid: Debugging concurrent Ada programs by deterministic execution; IEEE Trans. on Software Eng., vol. 17, no. 1 (Jan. 1991); pp. 45-63.
K. C. Tai, Y. C. Young: Port-synchronizable test sequences for communication protocols; 8th Int’l Workshop on Protocol Test Systems (IWPTS’95); Paris, France; 1995; pp. 379-394.
A. Ulrich, S. T. Chanson: An approach to testing distributed software systems; 15th PSTV 1995; Warsaw, Poland; pp. 107–122; 1995.
A. Ulrich, H. König: Specification-based testing of concurrent systems; IFIP Joint Int’l Conference on Formal Description Techniques, and Protocol Specification, Testing, and Verification (FORTE/PSTV’97); Osaka, Japan; Nov. 18–21, 1997.
A. Ulrich: Testfallableitung und Testrealisierung in verteilten Systmen; Dissertation (in German ), Magdeburg University; Shaker Verlag, 1998.
T. Walter, I. Schieferdecker, J. Grabowski: Test architectures for distributed systems: state of the art and beyond; 11th Int’l Workshop on Testing of Communicating Systems (IWTCS’98), Russia, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Ulrich, A., König, H. (1999). Architectures for Testing Distributed Systems. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing, vol 21. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35567-2_7
Download citation
DOI: https://doi.org/10.1007/978-0-387-35567-2_7
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6699-8
Online ISBN: 978-0-387-35567-2
eBook Packages: Springer Book Archive