Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs

par Laya Madani

Thèse de doctorat en Informatique

Sous la direction de Farid Ouabdesselam.

Soutenue en 2007

à l'Université Joseph Fourier (Grenoble) .


  • Résumé

    Ce travail porte sur le test automatique de systèmes interactifs. L'approche proposée est basée sur des techniques de test de systèmes réactifs synchrones. Le comportement de systèmes synchrones, qui est constitué de cycles commençant par la lecture d'une entrée et finissant par l'émission d'une sortie, est sous certaines conditions, similaire à celui de systèmes interactifs. En particulier, nous étudions l'utilisation de Lutess, un environnement de test synchrone, pour valider les systèmes interactifs. Nous montrons l'intérêt d'utiliser les techniques de test proposées par Lutess afin de générer des scénarios intéressants et nous illustrons leur utilisation sur une étude de cas (une application de réalité virtuelle mobile). Nous avons également étudié la génération de données de test à partir d'arbres de tâches, qui peuvent être enrichis d'une spécification de profils opérationnels. L'adaptation des techniques de test synchrone à la validation d'applications interactives multimodales est également étudiée, notamment en prenant en compte certaines propriétés concernant la multimodalité.

  • Titre traduit

    Using synchronous programming for specification and validation of interactive services


  • Résumé

    This work deals with the automatic testing of interactive systems. The proposed approach is based on testing techniques for synchronous reactive software. The behaviour of synchronous systems, consisting of cycles starting by reading an input and ending by issuing an output, is to a certain extent similar to the one of interactive systems. In particular, we are using Lutess, a synchronous testing environment, to validate interactive systems. We show the interest of applying the testing techniques proposed by Lutess in order to generate interesting scenarios and we illustrate their use on a case study (a mobile virtual reality application). We also study the generation of test data from task trees, which can be enriched by operational profiles specification. The adaptation of synchronous testing techniques for the validation of multimodal interactive systems is also studied, taking into account multimodality-related properties.

Autre version

Cette thèse a donné lieu à une publication en 2008 par [CCSD] à Villeurbanne

Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (159 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 151 à 159

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS07/GRE1/0177/D
  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : TS07/GRE1/0177

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2007GRE10177
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.