Skip to Main content Skip to Navigation
New interface
Book sections

Modeling and Testing of Web Based Systems

Ana Rosa Cavalli 1, 2, 3 Mounir Lallali 1, 2, 3 Stephane Maag 1, 2, 3, * Gerardo Morales 2, 3 Fatiha Zaidi 4 
* Corresponding author
1 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux
SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
4 ForTesse
LRI - Laboratoire de Recherche en Informatique
Abstract : The success and the massive adoption of Web applications and services are pushing the community to increase and enhance their developments. By that way, the complexity and size of Web-based systems are definitely growing. Accordingly, the need for sophisticated and complete methods used to test the reliability and security aspects of Web systems is increasing as well. Quality and relevant test cases development can achieve up to 70% of the total cost of the project when these test cases are hand crafted. Because of this, the industry and the research community are making big efforts to automate test cases generation. That is the reason why the test generator must be supplied with a precise and unambiguous semantic description of the implementation under test (IUT), i.e. a formal model. This chapter presents two methodologies to attain automatic test cases generation: The first one applies extended finite state machines to model Web services composition described in WS-BPEL, while the other one uses UML to model Web applications. Together with the formal models of the web systems, this chapter presents methods for conformance and non-regression test generation.
Document type :
Book sections
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Mounir Lallali Connect in order to contact the contributor
Submitted on : Saturday, June 9, 2012 - 12:00:39 AM
Last modification on : Tuesday, October 18, 2022 - 3:35:30 AM


Files produced by the author(s)



Ana Rosa Cavalli, Mounir Lallali, Stephane Maag, Gerardo Morales, Fatiha Zaidi. Modeling and Testing of Web Based Systems. Springer. EMERGENT WEB INTELLIGENCE: ADVANCED SEMANTIC TECHNOLOGIES, Springer London, pp.355-394, 2010, Advanced Information and Knowledge Processing, ⟨10.1007/978-1-84996-077-9_14⟩. ⟨hal-00706157⟩



Record views


Files downloads