Méthodologie de test de systèmes mobiles : Une approche basée sur les sénarios

Méthodologie de test de systèmes mobiles : Une approche basée sur les sénarios

Les avancées technologiques du monde du " sans fil " ont conduit au développement d'applications dédiées à l'informatique mobile. Leurs caractéristiques propres posent de nouveaux défis pour leur vérification. Ce mémoire traite de la technologie de test pour les systèmes mobiles....

Full description

Bibliographic Details
Main Author:	Nguyen, Minh Duc
Language:	fra
Published:	Université Paul Sabatier - Toulouse III 2009
Subjects:	[INFO] Computer Science [INFO] Informatique test systèmes informatiques mobiles approche de test basée sur les scénarios descriptions de scénarios algorithmes d'appariements de graphes analyse de traces de test
Online Access:	http://tel.archives-ouvertes.fr/tel-00459848 http://tel.archives-ouvertes.fr/docs/00/45/98/48/PDF/TheseMinhDucNguyenVersionFinale.pdf

Similar Items

Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués
by: Guduvan, Alexandru Robert Ciprian
Published: (2013)

Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux
by: Cabrera Castillos, Kalou
Published: (2013)

Approche à contraintes pour la sélection de Covering Array
by: Hervieu, Aymeric
Published: (2013)

Approche Domain-Specific Modeling pour l'opérationnalisation des scénarios pédagogiques sur les plateformes de formation à distance
by: Abedmouleh, Aymen
Published: (2013)

Contributions à l'automatisation raisonnée de différents processus du test logiciel
by: Du Bousquet, Lydie
Published: (2010)

ECOVIP : ESPACE DE COMMUNICATION VISIOPHONIQUE POUR PERSONNES AGEES - CONCEPTION, REALISATION ET EVALUATION PARTICIPATIVES
by: Ghorayeb, Abir
Published: (2007)

Filtrage et réduction de tests combinatoires
by: Triki, Taha
Published: (2013)

Méthodologie et outils pour la simulation multiagent dans des univers virtuels
by: Galland, Stéphane
Published: (2013)

Approche bioinspirée pour le contrôle des mains mécaniques
by: Touvet, François
Published: (2012)

Fusion de connaissances imparfaites pour l'appariement de données géographiques : proposition d'une approche s'appuyant sur la théorie des fonctions de croyance
by: Olteanu, Ana-Maria
Published: (2008)

Annotation et recherche contextuelle des documents multimédias socio-personnels
by: Lajmi, Sonia
Published: (2011)

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

Génération de Transformations de Modèles : une approche basée sur les treillis de Galois
by: Dolques, Xavier
Published: (2010)

Contributions à la génération de tests à base de contraintes
by: Gotlieb, Arnaud
Published: (2011)

Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire
by: Mercadal, Julien
Published: (2011)

Indexation de masses de documents graphiques : approches structurelles
by: Jouili, Salim
Published: (2011)

Modèles, outils et plate-forme d'exécution pour les applications à services dynamiques
by: Moreno, Diana
Published: (2013)

ApAM : Un environnement pour le développement et l'exécution d'applications ubiquitaires
by: Damou, Elmehdi
Published: (2013)

L'approche fonctionnelle dans la vérification des systèmes informatiques : proposition d'un ensemble de méthodologies
by: Moalla, Mohamed
Published: (1976)

Test fonctionnel de propriétés hybrides
by: Grasland, Yves
Published: (2013)

Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates
by: Stainer, Amélie
Published: (2013)

Une approche mathématique pour la forme architecturale
by: Elshafei, Ahmed
Published: (2014)

La présence en réalité virtuelle, une approche centrée utilisateur
by: Bouvier, Patrice
Published: (2009)

Modélisation et Test Fonctionnel de l'Orchestration de Services Web
by: Lallali, Mounir
Published: (2009)

Orchestration de services hétérogènes et sécurisés
by: Chollet, Stéphanie
Published: (2009)

Gestion de la variabilité et automatisation des processus de développement logiciel
by: Rouillé, Emmanuelle
Published: (2014)

Impact de la contrainte d'incompatibilité sur la complexité et l'approximation des problèmes d'ordonnancement en présence de tâches-couplées
by: Simonin, Gilles
Published: (2009)

Langages de scénarios : Utiliser des ordres partiels pour modéliser, vérifier et superviser des systèmes parallèles et répartis.
by: Gazagnaire, Thomas
Published: (2008)

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

Métrologie des graphes de terrain, application à la construction de ressources lexicales et à la recherche d'information
by: Navarro, Emmanuel
Published: (2013)

Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions
by: Saha, Suman
Published: (2013)

Vers une évaluation quantitative de la sécurité informatique
by: Dacier, Marc
Published: (1994)

Une approche matérialisée basée sur les vues pour l'intégration de documents XML
by: Ahmad, Houda
Published: (2009)

Automates d'ordres : théorie et applications
by: Hélouët, Loïc
Published: (2013)

Reconnaissance de contexte stable pour l'habitat intelligent
by: Pietropaoli, Bastien
Published: (2013)

Sécurité de l'Internet des Objets : vers une approche cognitive et systémique
by: Challal, Yacine
Published: (2012)

Vers une méthodologie de développement d'outils de réalité virtuelle pour faciliter la convergence métiers en conception de produits centrée sur l'homme
by: Bennes, Lionel
Published: (2013)

Elimination des fautes : contribution au test du logiciel
by: Waeselynck, Helene
Published: (2011)

Méthodes et outils de test pour microprocesseurs et circuits périphériques
by: Sadier, Sylvain
Published: (1983)

Extraction et reconnaissance de primitives dans les façades de Paris à l'aide de similarités de graphes.
by: Haugeard, Jean-Emmanuel
Published: (2010)