Skip to Main content Skip to Navigation
Theses

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

Laya Madani 1
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00250225
Contributor : Laya Madani <>
Submitted on : Monday, February 11, 2008 - 11:38:10 AM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM
Long-term archiving on: : Thursday, September 27, 2012 - 5:54:05 PM

Identifiers

  • HAL Id : tel-00250225, version 1

Collections

CNRS | LIG | UJF | UGA

Citation

Laya Madani. Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs. Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français. ⟨tel-00250225⟩

Share

Metrics

Record views

388

Files downloads

314