This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Temporal Approach for Testing Distributed Systems
November 2002 (vol. 28 no. 11)
pp. 1085-1103

Abstract—This paper deals with testing distributed software systems. In the past, two important problems have been determined for executing tests using a distributed test architecture: controllability and observability problems. A coordinated test method has subsequently been proposed to solve these two problems. In the present article: 1) we show that controllability and observability are indeed resolved if and only if the test system respects some timing constraints, even when the system under test is non-real-time; 2) we determine these timing constraints; 3) we determine other timing constraints which optimize the duration of test execution; 4) we show that the communication medium used by the test system has not to be necessarily FIFO; and 5) we show that the centralized test method can be considered just as a particular case of the proposed coordinated test method.

[1] D.S. Manjunath and R. Chellappa, “A Unified Approach to Boundary Perception: Edges, Textures and Illusory Contours,” IEEE Trans. Neural Networks, vol. 4, pp. 96-107, 1993.
[2] L. Cacciari and O. Rafiq, “Controllability and Observability in Distributed Testing,” Information and Software Technology, 1999.
[3] M. Benattou, L. Cacciari, R. Pasini, and O. Rafiq, “Principles an Tools for Testing Open Distributed Systems,” Proc. 12th Int'l Workshop Testing of Communicating Systems (IWTCS), pp. 77–92, Sept. 1999.
[4] A. Khoumsi, “Timing Issues in Testing Distributed Systems,” Proc. Fourth IASTED Int'l Conf. Software Eng. Applications (SEA), Nov. 2000.
[5] C. Jard, T. Jéron, H. Kahlouche, and C. Viho, “Towards Automatic Distribution of Testers for Distributed Conformance Testing,” Proc. Protocol Specification, Testing, and Verification—Formal Description Techniques Conf., Nov. 1998.
[6] C. Jard, T. Jéron, L. Tanguy, and C. Viho, “Remote Testing Can Be As Powerful As Local Testing,” Proc. Protocol Specification, Testing, and Verification—Formal Description Techniques Conf., Oct. 1999.
[7] J. Zhang, S.-C. Cheung, and S.T. Chanson, “Stress Testing of Distributed Multimedia Software Systems,” Proc. Protocol Specification, Testing, and Verification—Formal Description Techniques Conf., Oct. 1999.
[8] J. Bi and J. Wu, “A Formal Approach to Conformance Testing of Distributed Routing Protocols,” Proc. Protocol Specification, Testing, and Verification—Formal Description Techniques Conf., Oct. 1999.
[9] A.S. Gokhale and D.C. Schmidt, “Measuring and Optimizing CORBA Latency and Scalability over High-Speed Networks,” IEEE Trans. Computers, vol. 47, no. 4, pp. 391–413, 1998.
[10] J. Tretmans, “A Formal Approach to Conformance Testing,” PhD thesis, Univ. of Twente, The Netherlands, Dec. 1992.

Index Terms:
Conformance testing, distributed systems, controllability, observability, reaction time, waiting time.
Citation:
Ahmed Khoumsi, "A Temporal Approach for Testing Distributed Systems," IEEE Transactions on Software Engineering, vol. 28, no. 11, pp. 1085-1103, Nov. 2002, doi:10.1109/TSE.2002.1049406
Usage of this product signifies your acceptance of the Terms of Use.