Testabilité des services Web

Testabilité des services Web

Show other versions (1)

Cette thèse s'est attaquée sous diverses formes au test automatique des services Web : une première partie est consacrée au test fonctionnel à travers le test de robustesse. La seconde partie étend les travaux précédents pour le test de propriétés non fonctionnelles, telles que les propriétés d...

Full description

Bibliographic Details
Main Author:	Rabhi, Issam
Language:	fra
Published:	Université Blaise Pascal - Clermont-Ferrand II 2012
Subjects:	[INFO:INFO_OH] Computer Science/Other [INFO:INFO_OH] Informatique/Autre Services Web Test de robustesse Testabilité Sécurité Génération de test
Online Access:	http://tel.archives-ouvertes.fr/tel-00738936 http://tel.archives-ouvertes.fr/docs/00/73/89/36/PDF/RABHI-2012CLF22213.pdf

Similar Items

Les contre-mesures par masquage contre les attaques HO-DPA : évaluation et amélioration de la sécurité en utilisant des encodages spécifiques
by: Maghrebi, Houssem
Published: (2012)

Hybrid and Anonymous File-Sharing Environments: Architecture and Characterisation
by: Timpanaro, Juan Pablo
Published: (2013)

Protection des données privées dans les réseaux sociaux
by: Cutillo, Leucio Antonio
Published: (2012)

Une méthode d'évaluation géolocalisée de l'insertion des projets routiers dans les territoires et de choix de variantes
by: LE, Thanh Toan
Published: (2011)

Nash equilibria in concurrent games : application to timed games
by: Brenguier, Romain
Published: (2012)

Etude de la robustesse des graphes sociaux émergents
by: Lemmouchi, Slimane
Published: (2012)

Protection obligatoire des serveurs d'applications Web : application aux processus métiers
by: Fonda, Maxime
Published: (2014)

Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles
by: Konopacki, Pierre
Published: (2012)

Extraction d'informations à partir de documents<br />juridiques : application à la contrefaçon de marques
by: Renaux, Pierre
Published: (2006)

Distributed cost-optimal planning
by: Jezequel, Loïg
Published: (2012)

Towards more scalable mutual exclusion for multicore architectures
by: Lozi, Jean-Pierre
Published: (2014)

Synthesis of correct-by-design schedulers for hybrid systems
by: Soulat, Romain
Published: (2014)

Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel
by: Ouhammou, Yassine
Published: (2013)

Analyses de performance et de stabilité des réseaux de télécommunication
by: Junier, Aurore
Published: (2013)

Expressivité, satisﬁabilité et model checking d'une logique spatiale pour arbres non ordonnés
by: Boneva, Iovka
Published: (2006)

Separation logic : expressiveness, complexity, temporal extension
by: Brochenin, Rémi
Published: (2013)

Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel
by: Babau, Jean-Philippe
Published: (2005)

Intégration du déploiement de flotte et du service aux passagers dans la gestion de la planification pour compagnie aérienne
by: Duquesne, Christophe-Marie
Published: (2013)

Analyse de sécurité de logiciels système par typage statique
by: Millon, Etienne
Published: (2014)

Techniques de modélisation et d'analyse pour l'amélioration de la robustesse des systèmes distribués
by: Loti, Riccardo
Published: (2014)

Communications multi-niveaux sécurisées dans une flotte de terminaux mobiles
by: Ouoba, Jonathan
Published: (2013)

Rendu réaliste de matériaux complexes
by: De Rousiers, Charles
Published: (2011)

Conception d'un Cadre Formel d'Interaction pour la Découverte Scientifique Computationelle
by: Dartnell, Christopher
Published: (2008)

Propriétés de jeux multi-agents
by: Da Costa Lopes, Arnaud
Published: (2011)

Computational methods for de novo assembly of next-generation genome sequencing data
by: Chikhi, Rayan
Published: (2012)

Query evaluation with constant delay
by: Kazana, Wojciech
Published: (2013)

The versatility of using explanations within constraint programming
by: Jussien, Narendra
Published: (2003)

BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
by: Fortin, Jean
Published: (2013)

Adaptation et cloud computing : un besoin d'abstraction pour une gestion transverse
by: Daubert, Erwan
Published: (2013)

Sécurité et protection de la vie privée dans les systèmes RFID
by: Elkhiyaoui, Kaoutar
Published: (2012)

Wireless sensor networks in industrial environment : energy efficiency, delay and scalability
by: Soua, Ridha
Published: (2014)

Passive interoperability testing for communication protocols
by: Chen, Nanxing
Published: (2013)

Découverte des relations dans les réseaux sociaux
by: Raad, Elie
Published: (2011)

Étude de la variabilité des contributions de nutriments à un réseau métabolique : modélisation, optimisation et application en nutrition
by: Abdou Arbi, Oumarou
Published: (2013)

Testabilité des services Web
by: Rabhi, Issam
Published: (2012)

Indexation sémantique des images et des vidéos par apprentissage actif
by: Safadi, Bahjat
Published: (2012)

L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels
by: Kerkad, Amira
Published: (2013)

Modélisation des systèmes synchrones en BIP
by: Sfyrla, Vasiliki
Published: (2011)

Système d'Administration Autonome Adaptable: application au Cloud
by: Tchana, Alain
Published: (2011)

Interaction affective et expressive. Compagnon artificiel-humain
by: Riviere, Jeremy
Published: (2012)