skip to main content
10.1145/2489300.2489338acmconferencesArticle/Chapter ViewAbstractPublication PagesisstaConference Proceedingsconference-collections
Article

Conformance testing for quality assurance of clustering architectures

Published: 15 July 2013 Publication History

Abstract

Given the scalability of load balancing based architectures, it is increasingly necessary to develop appropriate quality assurance methodologies and techniques, of which Testing is widely adopted and used one. This paper describes a distributed platform for checking the conformance between real functioning of a given load balancer and its specified requirements. Our solution is based on Timed Automata as model for testing supported load balancing algorithms. This paper also shows a novel prototype tool support, LBACT, implemented for quality assurance of load balancing based architectures. Finally, we illustrate our contribution in the context of BPEL clustering mechanisms.

References

[1]
V. Cardellini, M. Colajanni, and P. S. Yu. Dynamic load balancing on web-server systems. IEEE Internet Computing, 3(3):28–39, May 1999.
[2]
J. Tretmans. Testing concurrent systems: A formal approach. In Proceedings of the 10th International Conference on Concurrency Theory, volume 1664 of LNCS, pages 46–65. Springer, 1999.
[3]
R. Alur and D. L. Dill. A theory of timed automata. Theoretical computer science, 126(2):183–235, 1994.
[4]
M. Mikucionis, K. G. Larsen, and B. Nielsen. T-uppaal: Online model-based testing of real-time systems. In Proceedings of the 19th International Conference on Automated Software Engineering, pages 396–397, 2004.
[5]
W.E. Perry and R.W. Rice. Surviving the top ten challenges of software testing: A People-oriented approach. Dorset House Pub., 1997.
[6]
M. A. Franklin and V. Govindan. A general matrix iterative model for dynamic load balancing. Parallel Comput., 22(7):969–989, October 1996.
[7]
H. Unger, B. Dane, and J. Nutzel. Experiences simulating the load sharing system lydia with high level pn. In High Performance Computing, Boston, April 1998.
[8]
D. Grosu and A. T. Chronopoulos. A load balancing mechanism with verification. In Proceedings of the 17th IEEE Intl. Parallel and Distributed Processing Symp. Workshop on Advances in Parallel and Distributed Computational Models, pages 163–170, 2003.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
QASBA 2013: Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
July 2013
28 pages
ISBN:9781450321822
DOI:10.1145/2489300
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 July 2013

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Timed Automata
  2. conformance testing
  3. load balancing based architectures
  4. online model-based testing

Qualifiers

  • Article

Conference

ISSTA '13
Sponsor:

Upcoming Conference

ISSTA '25

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media