A temporal approach for testing distributed systems

IEEE Transactions on Software Engineering

Volumn 28, Issue 11, 2002, Pages 1085-1103

  Khoumsi, Ahmed ^a  

^a UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

Conformance testing; Controllability; Distributed systems; Observability; Reaction time; Waiting time

Indexed keywords

COMPUTER ARCHITECTURE; CONSTRAINT THEORY; PROBLEM SOLVING; REAL TIME SYSTEMS;

CONFORMANCE TESTING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0036857201     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2002.1049406     Document Type: Article

References (10)

1. G. Luo, R. Dssouli, G.v. Bochmann, P. Venkataram, and A. Ghedamsi, "Test Generation with Respect to Distributed Interfaces," Computer Standards and Interfaces, vol. 16, pp. 119-132, 1994.
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.