Abstract
Reproducible testing is one of the effective ways to perform or repeat a desired test scenario in concurrent systems. This technique can be naturally applied to distributed environments as well. However, when it is applied to distributed systems where remote calls are used as communication facilities, new deadlocks may be introduced when we incorporate the test control mechanism to the execution of the program under test. In this paper, we present our work on using static analysis technique to solve this problem.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Bates. Debugging heterogeneous distributed systems using event-based models of behavior. ACM Transactions on Computer Systems, 13(1):1–31, Feb. 1995. 145, 146
A. Bechini and K. Tai. Design of a toolset for dynamic analysis of concurrent java programs. In The 6th International Workshop on Program Comprehension, Ischia, Italy, June 1998. 146
R. Carver and K. Tai. Replay and testing for concurrent programs. IEEE Software, pages 66–74, Mar. 1991. 145, 146 162 Jessica Chen
R. Carver and K. Tai. Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Transactions on Software Engineering, 24(6):471–490, June 1998. 145, 146
C. A. R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 17(10):549–557, 1974. 151
M. Hurfin, M. Mizuno, and M. Raynal. Efficient distributed detection of conjunctions of local predicates. IEEE Transactions on Software Engineering, 24(8), Aug. 1998. 145
E. Itoh, Z. Furukawa, and K. Ushijima. A prototype of a concurrent behavior monitoring tool for testing concurrent programs. In Proc. of Asia-Pacific Software Engineering Conference (APSEC’96), pages 345–354, 1996. 145, 146
S. Kenkatesan and B. Dathan. Testing and debugging distributed programs using global predicates. IEEE Transactions on Software Engineering, 21(2):163–177, Feb. 1995. 145
T. Leblanc and J. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Transactions on Computers, 36(4):471–482, Apr. 1987. 145, 146
H. Sohn, D. Kung, and P. Hsia. State-based reproducible testing for CORBA applications. In Proc. of IEEE Internaltional Symposium on Software Engineering for Parallel and Distributed Systems (PDSE’99), pages 24–35, LA, USA, May 1999. 145, 146, 160
H. Sohn, D. Kung, P. Hsia, Y. Toyoshima, and C. Chen. Reproducible testing for distributed programs. In The 4th International Conference on Telecommunication Systems, Modeling and Analysis, pages 172–179, Nashiville, Tennessee, Mar. 1996. 145, 146
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, J. (2001). On Using Static Analysis in Distributed System Testing. In: Emmerich, W., Tai, S. (eds) Engineering Distributed Objects. Lecture Notes in Computer Science, vol 1999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45254-0_13
Download citation
DOI: https://doi.org/10.1007/3-540-45254-0_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41792-7
Online ISBN: 978-3-540-45254-6
eBook Packages: Springer Book Archive