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

Laya Madani 1 Ahmed M'Hiri Sophie Dupuy-Chessa 2 Ioannis Parissis 3
2 LIG Laboratoire d'Informatique de Grenoble - SIGMA
LIG - Laboratoire d'Informatique de Grenoble
3 VASCO
LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), 2009, Toulouse, France. pp.16, 2009
Liste complète des métadonnées

https://hal.inria.fr/hal-00953689
Contributeur : Renaud Blanch <>
Soumis le : vendredi 28 février 2014 - 14:53:59
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04

Identifiants

  • HAL Id : hal-00953689, 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, Toulouse, France. pp.16, 2009. 〈hal-00953689〉

Partager

Métriques

Consultations de la notice

76