Skip to Main content Skip to Navigation
Book sections

Modeling and Testing of Web Based Systems

Ana Cavalli 1, 2 Mounir Lallali 1, 2 Stephane Maag 1, 2, * Gerardo Morales 2 Fatiha Zaidi 3
* 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
3 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.
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download

https://hal.univ-brest.fr/hal-00706157
Contributor : Mounir Lallali <>
Submitted on : Saturday, June 9, 2012 - 12:00:39 AM
Last modification on : Wednesday, April 8, 2020 - 3:23:21 PM

File

lallali-chapter-book-2009.pdf
Files produced by the author(s)

Identifiers

Citation

Ana 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⟩

Share

Metrics

Record views

351

Files downloads

200