Skip to main content
SpringerLink
Log in

Building Test Constraints for Testing Middleware-Based Distributed Systems

  • Conference paper
  • First Online:
Software Engineering and Middleware (SEM 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2596))

Included in the following conference series:

Abstract

Reproducible testing is one of the effective ways to perform or repeat a desired test scenario in concurrent systems. When we apply it 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. A static analysis technique has been thus explored to solve this problem. Using the static analysis, we can derive a test model from a given test constraint. This test model is then used in the test control procedure to help the test controller to avoid deadlocks. The test constraint carries information of not only the constraint from the test users, but also the program structure related to the remote calls. In this paper, we present our work on the automated construction of such test constraints from user’s input and the program source code.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. C. Bates. Debugging heterogeneous distributed systems using event-based models of behavior. ACM Transactions on Computer Systems, 13(1):1–31, Feb. 1995.

    Article  Google Scholar 

  2. A. Bechini and K. C. Tai. Design of a toolset for dynamic analysis of concurrent Java programs. In Proc. of the 6th International Workshop on Program Comprehension, Ischia, Italy, June 1998.

    Google Scholar 

  3. X. Cai and J. Chen. Control of nondeterminism in testing distributed multithreaded programs. In Proc. of the First Asia-Pacific Conference on Quality Software (APAQS 2000), pages 29–38. IEEE Computer Society Press, 2000.

    Google Scholar 

  4. R. H. Carver and K. C. Tai. Replay and testing for concurrent programs. IEEE Software, pages 66–74, Mar. 1991.

    Google Scholar 

  5. R. H. Carver and K.C. Tai. Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Transactions on Software Engineering, 24(6):471–490, June 1998.

    Article  Google Scholar 

  6. J. Chen. On using static analysis in distributed system testing. In Proc. of the 2nd International Workshop on Engineering Distributed Objects (EDO’ 2000), LNCS 1999, pages 145–162, 2000.

    Google Scholar 

  7. C. A.R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 17(10):549–557, 1974.

    Article  MATH  Google Scholar 

  8. M. Hurfin, M. Mizuno, and M. Raynal. Efficient distributed detection of conjunctions of local predicates. IEEE Transactions on Software Engineering, 24(8), Aug. 1998.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. S. Kenkatesan and B. Dathan. Testing and debugging distributed programs using global predicates. IEEE Transactions on Software Engineering, 21(2):163–177, Feb. 1995.

    Article  Google Scholar 

  11. T. J. Leblanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Transactions on Computers, 36(4):471–482, Apr. 1987.

    Article  Google Scholar 

  12. 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.

    Google Scholar 

  13. H. Sohn, D. Kung, P. Hsia, Y. Toyoshima, and C. Chen. Reproducible testing for distributed programs. In Proc. of the 4th International Conference on Telecommunication Systems, Modeling and Analysis, pages 172–179, Nashiville, Tennessee, Mar. 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, University of Windsor, Windsor, Ont., Canada, N9B 3P4

    Jessica Chen

Authors
  1. Jessica Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informazione e Comunicazione, Università degli Studi dell’Insubria, via Ravasi, 2, 21100, Varese, Italy

    Alberto Coen-Porisini

  2. School of Information and Computer Science, University of California, Irvine, 444 Computer Science Building, Irvine, CA, 92697-3425, USA

    André van der Hoek

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, J. (2003). Building Test Constraints for Testing Middleware-Based Distributed Systems. In: Coen-Porisini, A., van der Hoek, A. (eds) Software Engineering and Middleware. SEM 2002. Lecture Notes in Computer Science, vol 2596. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-38093-0_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-38093-0_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07549-3

  • Online ISBN: 978-3-540-38093-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation