Modeling and Testing of Web Based Systems - Université de Bretagne Occidentale Access content directly
Book Sections Year : 2010

Modeling and Testing of Web Based Systems


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.
Fichier principal
Vignette du fichier
lallali-chapter-book-2009.pdf (540.15 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-00706157 , version 1 (09-06-2012)



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⟩
148 View
145 Download



Gmail Mastodon Facebook X LinkedIn More