Modeling and Testing of Web Based Systems

Ana Cavalli 1 Mounir Lallali 1 Stephane Maag 1, * Gerardo Morales 2 Fatiha Zaidi 3
* Auteur correspondant
1 METHODES
SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
2 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.
Type de document :
Chapitre d'ouvrage
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〉
Liste complète des métadonnées

Littérature citée [44 références]  Voir  Masquer  Télécharger
http://hal.univ-brest.fr/hal-00706157
Contributeur : Mounir Lallali <>
Soumis le : samedi 9 juin 2012 - 00:00:39
Dernière modification le : vendredi 13 avril 2018 - 14:14:31

Fichier

lallali-chapter-book-2009.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

UMR8623 | TELECOM-SUDPARIS | UNIV-BREST | INRIA | LRI-VALS

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

202

Téléchargements de fichiers

5

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD