Skip to Main content Skip to Navigation
Conference papers

Vers la formalisation de propriétés ergonomiques de systèmes interactifs

Résumé : Les applications interactives sont aujourd'hui présentes dans plusieurs domaines et leur utilisation au sein de systèmes critiques est de plus en plus fréquente. Leur puissance ne cesse d'augmenter ainsi que leur complexité ce qui accroît le risque que des fautes soient introduites pendant les différentes étapes de leur développement. Leur correction devient ainsi un enjeu important et leur développement requiert une validation rigoureuse. Outre le besoin de correction fonctionnelle, les exigences attendues d'une application interactive s'expriment en termes d'utilisabilité, définie au moyen de propriétés ergonomiques. La vérification de ces dernières n'est pas une tâche facile, leur définition étant souvent trop informelle ou bien difficilement exprimable en des termes exploitables par des ingénieurs de développement ou de validation. Dans cet article, nous présentons la formalisation de certaines propriétés ergonomiques qui pourront ultérieurement être validées automatiquement. Pour cela, nous nous basons sur une notation courante dans le domaine de l'interaction homme-machine, les arbres des tâches, déjà utilisée dans le cadre de nos travaux antérieurs pour la génération automatique de tests. Nous identifions les insuffisances du modèle sousjacent à cette génération en vue de la prise en compte de propriétés ergonomiques et nous exhibons une extension de ce dernier permettant d'envisager le test de certaines d'entre elles.
Complete list of metadata

https://hal.inria.fr/hal-00953600
Contributor : Catherine Oriat <>
Submitted on : Monday, April 7, 2014 - 3:51:22 PM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM
Long-term archiving on: : Monday, July 7, 2014 - 10:40:55 AM

File

AFADL-09-final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00953600, version 1

Citation

Laya Madani, Ahmed M'Hiri, Sophie Dupuy-Chessa, Ioannis Parissis. Vers la formalisation de propriétés ergonomiques de systèmes interactifs. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), 2009, Unknown, France. pp.16. ⟨hal-00953600⟩

Share

Metrics

Record views

386

Files downloads

165