Conformance testing for quality assurance of clustering architectures

Authors:
Afef Jmal Maâlej;Zeineb Ben Makhlouf;Moez Krichen;Mohamed Jmaiel
Affiliations:
University of Sfax, Tunisia;University of Sfax, Tunisia;University of Sfax, Tunisia;University of Sfax, Tunisia
Venue:
Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
Year:
2013

Citing 7
Cited 0

A theory of timed automata

Theoretical Computer Science
A general matrix iterative model for dynamic load balancing

Parallel Computing
Surviving the top ten challenges of software testing: a people-oriented approach

Surviving the top ten challenges of software testing: a people-oriented approach
Dynamic Load Balancing on Web-Server Systems

IEEE Internet Computing
Testing Concurrent Systems: A Formal Approach

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Load Balancing Mechanism with Verification

IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
T-UPPAAL: Online Model-based Testing of Real-Time Systems

Proceedings of the 19th IEEE international conference on Automated software engineering

Quantified Score

Hi-index	0.00

Visualization

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.